A compositional semantics for stochastic Reo connectors
Presented at the International Workshop on the Foundations of Coordination Languages and Software Architecture, Paris, France
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 compositions. For this purpose, we annotate Reo channels with stochastic delay rates and explicitly model data-arrival rates at the boundary of a connector, to capture its interaction with the services that comprise its environment. We propose Stochastic Reo automata as an extension of Reo automata, in order to compositionally derive a QoS-aware semantics for Reo. We further present a translation of Stochastic Reo automata to Continuous-Time Markov Chains (CTMCs). This translation enables us to use third-party CTMC verification tools to do an end-to-end performance analysis of service compositions. As a case study, we are currently applying our method to an industrial application, the ASK system.
|Keywords||Coordination language, Reo, quality of service, Markov Chains, performance analysis|
|THEME||Software (theme 1)|
|Publisher||Electronic Proceedings in Theoretical Computer Science.|
|Editor||M.R. Mousavi , G. Salaün (Gwen)|
|Conference||International Workshop on the Foundations of Coordination Languages and Software Architecture|
Moon, Y.-J, Silva, A.M, C. (born Köhler, , C.) Krause, ,, & Arbab, F. (2010). A compositional semantics for stochastic Reo connectors. In M.R Mousavi & G Salaün (Eds.), Proceedings of the 9th International Workshop on the Foundations of Coordination Languages and Software Architecture. Electronic Proceedings in Theoretical Computer Science. .