Compositional Construction of Real-Time Dataflow Networks

Stephanie Kemper 1
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.
Type de document :
Communication dans un congrès
Dave Clarke; Gul Agha. 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. Springer, Lecture Notes in Computer Science, LNCS-6116, pp.92-106, 2010, Coordination Models and Languages. 〈10.1007/978-3-642-13414-2_7〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01054621
Contributeur : Hal Ifip <>
Soumis le : jeudi 7 août 2014 - 16:30:13
Dernière modification le : mercredi 20 décembre 2017 - 17:42:07
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 01:52:01

Fichier

RT_networks.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Stephanie Kemper. Compositional Construction of Real-Time Dataflow Networks. Dave Clarke; Gul Agha. 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. Springer, Lecture Notes in Computer Science, LNCS-6116, pp.92-106, 2010, Coordination Models and Languages. 〈10.1007/978-3-642-13414-2_7〉. 〈hal-01054621〉

Partager

Métriques

Consultations de la notice

67

Téléchargements de fichiers

121