2010
DOI: 10.1007/978-3-642-11623-0_25
View full text |Buy / Rent full text
|
Sign up to set email alerts
|

Abstract: 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 constra… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
3
0

Year Published

2010
2010
2016
2016

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(3 citation statements)
references
References 17 publications
(18 reference statements)
0
3
0
Order By: Relevance
“…Although alternative approaches have been explored (cf. [42]), the composition of interactors is currently strictly hierarchical. The main interactor coordinates dependencies between all the other interactors.…”
Section: A Macro-structure Of the Modelmentioning
confidence: 99%
“…Although alternative approaches have been explored (cf. [42]), the composition of interactors is currently strictly hierarchical. The main interactor coordinates dependencies between all the other interactors.…”
Section: A Macro-structure Of the Modelmentioning
confidence: 99%
“…The temporal logic UCTL dedicated to the verification of service-oriented applications, again involving COWS, and its model checker UMC, are discussed in [16]. Exogenous coordination as underlying Reo is also advocated in [15], where a modal logic is proposed specific to connectors. However, at present, data and time are not supported in this approach.…”
Section: Related Workmentioning
confidence: 99%
“…The temporal logic UCTL dedicated to the verification of service-oriented applications, again involving COWS, and its model checker UMC, are discussed in [30]. Exogenous coordination as underlying Reo is also advocated in [31], where a modal logic is proposed specific to connectors. However, at present, data and time are not supported in this approach.…”
Section: Related Workmentioning
confidence: 99%