Conference Paper (published)
Details
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.
Status | Published |
---|---|
Publication date | 31/12/2001 |
Publication date online | 31/03/2001 |
Related URLs | |
Publisher | ACM |
Publisher URL | |
Place of publication | New York |
Conference | SAC 2001: 16th ACM Symposium on Applied Computing |
Conference location | Las Vegas, USA |
Dates | – |