A Co-ordination Model and Algebra of Domain Polymorphism
Farhad Mavaddat, Univ. of Waterloo, Ontario, Canada
mavaddat@eecs.berkeley.edu

The architectural view of any reasonable size software is a collection of computational "components" together with a collection of "connectors" which describe the interaction between the components.

In most conventional programming environments, connectors are hidden and often their role is absorbed by the components. In a component re-use environment, where the components are developed independently, connector roles must and are made explicit.

In this work we propose a number of co-ordination events required for invisible co-ordination of application processes. We use this model to specify and reason about a number of ptolemy domains.