Coordinating Interaction Patterns

Citation

Bracciali A, Brogi A & Turini F (2001) Coordinating Interaction Patterns. In: SAC '01 Proceedings of the 2001 ACM symposium on Applied computing. SAC 2001: 16th ACM Symposium on Applied Computing, Las Vegas, USA, 11.03.2001-14.03.2001. New York: ACM, pp. 159-165. http://dl.acm.org/citation.cfm?id=372305

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.