Sciweavers

COORDINATION
2010
Springer

Compositional Construction of Real-Time Dataflow Networks

13 years 7 months ago
Compositional Construction of Real-Time Dataflow Networks
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further requires the notion of 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.
Stephanie Kemper
Added 02 Sep 2010
Updated 02 Sep 2010
Type Conference
Year 2010
Where COORDINATION
Authors Stephanie Kemper
Comments (0)