19 citations · 92 across the 16 of their papers we have counts for
3 papers · 1 filter
Input-output Conformance Testing for Channel-based Service Connectors
Natallia Kokash, Farhad Arbab, Behnaz Changizi +1
Service-based systems are software systems composed of autonomous components or services provided by different vendors, deployed on remote machines and accessible through the web.…
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
Sung-Shik T. Q. Jongmans, Farhad Arbab
Over the past decades, coordination languages have emerged for the specification and implementation of interaction protocols for communicating software components. This class of la…
Decoupled execution of synchronous coordination models via behavioural automata
José Proença, Dave Clarke, Erik de Vink +1
Synchronous coordination systems allow the exchange of data by logically indivisible actions involving all coordinated entities. This paper introduces behavioural automata, a logic…