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.
Coordinating Interaction Patterns
BROGI, ANTONIO;TURINI, FRANCO
2001-01-01
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.