我要吃瓜

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.