Title: Automata for context-dependent connectors
Authors: Bonsangue, Marcello * ×
Clarke, Dave *
Silva, Alexandra * #
Issue Date: Jun-2009
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:5521 pages:184-203
Conference: COORDINATION edition:11 location:Lisbon, Portugal date:9-12 June 2009
Abstract: Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, such connectors can themselves be composed, resulting in an expressive calculus of connectors whose semantics encompasses complex combinations of synchronisation, mutual exclusion, non-deterministic choice and state-dependent behaviour. A more expressive notion of connector includes also context-dependent behaviour, namely, whenever the choices the connector can take change non-monotonically as the context, given by the pending activity on its ports, changes. Context dependency can express notions of priority and inhibition. Capturing context-dependent behaviour in formal models is non-trivial, as it is unclear how to propagate context information through composition. In this paper we present an intuitive automata-based formal model of context-dependent connectors, and argue that it is superior to previous attempts at such a model for the coordination language Reo.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
* (joint) first author
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
AUTOMATA.pdfMain article Published 640KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science