An extension of the coordination specification language Paradigm is presented. In this set-up Paradigm models cater for multiple managers sharing the coordination of a set of common employees. A transition system semantics for the language is provided, that allows for reasoning about such constructions as delegation and self-management in matrix and general network organizations. An elaborated example illustrates the expressiveness of the proposed version of Paradigm.
Key words: Paradigm, coordination, operational semantics, delegation, software architecture
|Name||Computer science reports|