Skip to Main content Skip to Navigation
Conference papers

Compositional Construction of Real-Time Dataflow Networks

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-01054621
Contributor : Hal Ifip <>
Submitted on : Thursday, August 7, 2014 - 4:30:13 PM
Last modification on : Wednesday, December 20, 2017 - 5:42:07 PM
Long-term archiving on: : Wednesday, November 26, 2014 - 1:52:01 AM

File

RT_networks.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Stephanie Kemper. Compositional Construction of Real-Time Dataflow Networks. 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.92-106, ⟨10.1007/978-3-642-13414-2_7⟩. ⟨hal-01054621⟩

Share

Metrics

Record views

363

Files downloads

595