Capturing stochastic and real-time behavior in reo connectors

Abstract

Modern distributed systems are often coupled with flexible architectures, composed of heterogenous components, and deployed on different execution nodes. Under such frameworks, connectors (or middlewares) are widely used to organize the separated components and make them functioning. Apparently, reliability of such systems highly depends on the correctness of their connectors. Reo is a channel-based coordination language where complex connectors are constructed from simpler ones through a compositional approach. In this paper, we propose a stochastic and real-time extension of Reo, including a set of new primitive channels and an expressive semantics named Stochastic Timed Automata for Reo (STAr). With the support of STAr, different coordination scenarios in existing Reo extensions can be easily encoded, integrated, and analyzed.