ISO5087-1:AtomicAgreement

Pattern

This class has been associated with the following pattern:

Pattern:Agreement Pattern

Subclass Of

Agreement

Description

An English description of the definition (what distinguishes this sense of the term?).

AtomicAgreement is a subclass of Agreement and specifies the “essence” of an agreement. In particular it identifies how agents participating in the agreement are involved:

• forActivity: identifies the activity that the atomic agreement is for.
• inverse hasClaim: links the agreement to any agent that has a claim.
• inverse hasNoClaim: links the agreement to any agent that does not have a claim.
• inverse hasDuty: links the agreement to any agent that has a duty to perform the activity.
• inverse hasPrivilege: links the agreement to any agent that has the privilege to perform the activity.

Class Diagram Description

Figure 1 illustrates the use of the Agreement Ontology to represent agreements at different levels of detail. The example shown captures a complex, disjunctive agreement that can be decomposed into two simple agreements. One option (“agr0012”) describes “alice”’s right to have lawn maintenance be performed by “bob”, (also read “bob”’s duty to perform lawn maintenance for “alice”).

Required by Use Case(s)

(why is this specialized definition needed?)

CDM References

What other classes or properties reference this term?

• AtomicAgreement (redirect page) ‎ (← links)
  • Pattern:Agreement Pattern ‎ (← links)
• 5087-1:AtomicAgreement (redirect page) ‎ (← links)
• Iso5087-1:AtomicAgreement (redirect page) ‎ (← links)

Interface Specification References

This class has been associated with the following interface specification items:

Sources

Sources considered when developing the class:

Status

Pending Approval

Annotations

Annotation	Value

Manchester Syntax Specification

Property	Restriction	Value
HasSubAgreement	exactly 0	Agreement
ForActivity	some	5087-1:Activity
disjointWith		ComplexAgreement
inverse hasDuty	only	Agent
inverse hasPrivilege	only	Agent
inverse hasClaim	only	Agent
inverse hasNoClaim	only	Agent

Supplementary Figures

Figure	Caption
	Figure 1: Example use of the Agreement Ontology.