Skip header navigation

University of Stirling

×

Conference Proceeding

Interaction Patterns for Open Systems

Citation
Bracciali A, Brogi A & Turini F (2001) Interaction Patterns for Open Systems. In: Roja F, Monge J & Sanchez Y (eds.) IDEAS 2001 Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software. IDEAS 2001 Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software, 2001, San Jose, Costa Rica, pp. 398-407.

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 present 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 new components dynamically join the context. We show how interaction patterns provide an effective means to efficiently reason on the (partial) correctness of open interacting systems.

StatusPublished
Author(s)Bracciali, Andrea; Brogi, Antonio; Turini, Franco
Publication date31/12/2001
ConferenceIDEAS 2001 Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software
Conference location2001, San Jose, Costa Rica
Scroll back to the top