Event-based Composition of Concurrent Programs

This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suitably de ned operators. In this model of programming, called Composition bY Event Speci cation (C-YES), a composition of programs speci es that all events (individual occurrences of named operations, called actions) of component programs can execute in parallel, except for a set of events that interact with each other. Interactions among such events can be specied by establishing execution orderings among them. This paper presents a mechanism, where such interactions are speci ed by constructing algebraic expressions from a set of primitive interaction expressions and interaction operators. The primitive expressions model interactions at the fundamental level of computations, namely, events. The interaction operators model nondeterministic interactions and interaction over sets of events. A mechanism for the re...

• Type: Conference
• Year: 1993
• Where: LCPC
• Authors: Raju Pandey, James C. Browne
• Keywords: Component Programs, Concurrent Programs, LCPC 1993, Model, System Software