Next: Parameterization
Up: THE SPECIFICATION LANGUAGE
Previous: Collaboration
To better capture and specify coordination policies, we often need to
decompose a complex collaboration into smaller pieces, and compose
existing pieces to form a larger one.
Here we introduce some constructs for policy composition.
These constructs provide a basis for defining a library of reusable
coordination policies and predicates.
Du Li
8/25/1999