Atomic Agreement¶
Open interactive Atomic Agreement diagram
Formalization for Atomic Agreement¶
| Property | Constraint |
|---|---|
| commitsToActivity | some activity::Activity |
| disjointWith | ComplexAgreement |
| inverse hasClaim | all agent::Agent |
| inverse hasDuty | all agent::Agent |
| inverse hasNoClaim | all agent::Agent |
| inverse hasPrivilege | all agent::Agent |
| subClassOf | Agreement |
Used by classes¶
| Class | Property |
|---|---|
| Agent (Agreement) | hasClaim |
| Agent (Agreement) | hasDuty |
| Agent (Agreement) | hasNoClaim |
| Agent (Agreement) | hasPrivilege |