Check out the new USENIX Web site. next up previous
Next: Parameterization Up: THE SPECIFICATION LANGUAGE Previous: Collaboration

Policy Composition

  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