M.A. Barbosa, L.S. Barbosa and J.C. Campos
A coordination model for interactive components
In Fundamentals of Software Engineering, volume 5961 of Lecture Notes in Computer Science, pages 416-430. Springer-Verlag. 2010. (ISBN: 978-3-642-11622-3)
Abstract

Although presented with a variety of 'flavours', the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal modelling techniques for interactive systems. This paper replaces traditional, hierarchical, 'tree-like' composition of interactors in the specification of complex interactive systems, by their exogenous coordination through general-purpose software connectors which assure the flow of data and the meet of synchronisation constraints. The paper's technical contribution is twofold. First a modal logic is defined to express behavioural properties of both interactors and connectors. The logic is new in the sense that its modalities are indexed by sets of actions to cater for action co-occurrence. Then, this logic is used in the specification of both interactors and coordination layers which orchestrate their interconnection.

visit publisher   

@InProceedings{BarbosaBC:2010,
 author = {M.A. Barbosa and L.S. Barbosa and J.C. Campos},
 title = {A coordination model for interactive components},
 booktitle = {Fundamentals of Software Engineering},
 series = {Lecture Notes in Computer Science},
 publisher = {Springer-Verlag},
 volume = {5961},
 year = {2010},
 pages = {416-430},
 note = {ISBN: 978-3-642-11622-3},
 hdl = {1822/20278},
 abstract = {Although presented with a variety of 'flavours', the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal modelling techniques for interactive systems. This paper replaces traditional, hierarchical, 'tree-like' composition of interactors in the specification of complex interactive systems, by their exogenous coordination through general-purpose software connectors which assure the flow of data and the meet of synchronisation constraints. The paper's technical contribution is twofold. First a modal logic is defined to express behavioural properties of both interactors and connectors. The logic is new in the sense that its modalities are indexed by sets of actions to cater for action co-occurrence. Then, this logic is used in the specification of both interactors and coordination layers which orchestrate their interconnection.}
}

Generated by mkBiblio 2.6.26