Increasing sizes of present-day distributed software systems call for coordination models which are both \emph{modular} and \emph{scalable}. Precise modelling of real-life applications further requires the notion of \emph{real-time}. In this paper, we present a modular formal development of a compositional model for real-time coordination in dataflow networks. While real-time dataflow networks are typically asynchronous, our approach includes coordination patterns which combine, but are not limited to, synchrony and asynchrony. We define a constraint- and SAT-based encoding, which allows us to benefit from high-end constraint solving techniques when inspecting valid interactions of the system.

Real-Time Dataflow Networks, Component-Based Software Construction, Coordination, Constraint Solving, SAT
Software (theme 1)
D.G. Clarke (David) , G.A. Agha
Lecture Notes in Computer Science
Components and Component Connectors
International Conference on Coordination Models and Languages
Computer Security

Kemper, S. (2010). Compositional Construction of Real-Time Dataflow Networks. In D.G Clarke & G.A Agha (Eds.), Proceedings of International Conference on Coordination Models and Languages 2010 (12) (pp. 92–106). Springer.