Package io.github.contractautomata.catlib.requirements
This package groups the invariant requirements that can be enforced in a contract automaton.
The
must not be a request: only offers and matches are allowed. This means that all
requests actions are matched, and an agreement is reached.
The
This means that all requests and offers actions of principals are matched.
Class diagram of this package:
The
Agreement requirement is an invariant requiring that each transition must not be a request: only offers and matches are allowed. This means that all
requests actions are matched, and an agreement is reached.
The
StrongAgreement requirement is an invariant allowing only matches. This means that all requests and offers actions of principals are matched.
Class diagram of this package:
-
Class Summary Class Description Agreement The predicate of Agreement over CALabels.StrongAgreement The predicate of Strong Agreement over CALabels.