Coordinating interaction patterns
Andrea Bracciali, Antonio Brogi, Franco Turini · 2001
The ability to describe and verify the concurrent behaviour of interacting components is a key aspect in the development of large component-based software systems. We propose a simple interface description language which allows software designers to easily specify the interaction pattern of a component that will have to interact with other components. A set of interaction patterns forms a context which may evolve either because of interactions occurring within the context, or because a new component joins the context. The main interest of the overall setting is that it supports the efficient verification - both statically and dynamically - of interesting properties of open interacting systems. Keywords Interaction, interface description languages, open systems 1.