This wiki has undergone a migration to Confluence found Here
Service
Jump to navigation
Jump to search
Service
- Fundamental unit used within contracts to specify desired behavior
- explicitly identifies the responsible and commissioning roles
- Ref: SAIF-CD:Figure 8: BF Language concepts and relationships for describing cpmtract semantics
- A related set of behaviors that add value by creating, modifying, and/or consuming information, involving collaborations between a responsible agent (the service provider), who expresses some guarantees, and commissioning agent (the service user or consumer), who receives the guarantees.
- The collaborations may involve a complex series of interactions, organized along operations.
- Ref: SAIF-CD:Figure 9: BF language concepts and relationships for describing contract semantics
- provides one or more operations, grouped together into interfaces
- REF: SAIF-CD:Figure 10: BF language concepts and relationships for describing operation semantics
