19 citations · 92 across the 16 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2011★ 7 cited
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.…
cs.SE2010★ 14 cited
A Compositional Semantics for Stochastic Reo Connectors
Young-Joo Moon, Alexandra Silva, Christian Krause +1
In this paper we present a compositional semantics for the channel-based coordination language Reo which enables the analysis of quality of service (QoS) properties of service comp…