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 fragments of 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.
Exogenous coordination as underlying Reo is also advocated in REF , where a modal logic is proposed specific to connectors.
A coordination model for interactive components
in Proc. FSEN 2009, F. Arbab and M. Sirjani, Eds. LNCS 5961, 2010
Computer Science