CSP as a Coordination Language

Abstract : Coordination languages allow us to separate interaction behavior from the sequential functional aspects of the components of concurrent systems. This helps us to reduce the complexities of such systems making them easier to design and to understand. However, there is still a gap between formal approaches to coordination and their implementation in programming languages. For example, CSP is often used as a coordination model but only subsets of CSP are supported by programming languages (e.g., occam) or frameworks (e.g., JCSP). In this paper, we present our approach to using a more complete CSP as a coordination language. Our approach allows us to use standard CSP tools for verifying the coordination processes of a system and to use these processes at runtime to coordinate the systems’ components.
Type de document :
Communication dans un congrès
Wolfgang Meuter; Gruia-Catalin Roman. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6721, pp.65-79, 2011, Coordination Models and Languages. 〈10.1007/978-3-642-21464-6_5〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01582993
Contributeur : Hal Ifip <>
Soumis le : mercredi 6 septembre 2017 - 14:55:03
Dernière modification le : samedi 16 décembre 2017 - 07:18:04

Fichier

978-3-642-21464-6_5_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Moritz Kleine. CSP as a Coordination Language. Wolfgang Meuter; Gruia-Catalin Roman. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6721, pp.65-79, 2011, Coordination Models and Languages. 〈10.1007/978-3-642-21464-6_5〉. 〈hal-01582993〉

Partager

Métriques

Consultations de la notice

46

Téléchargements de fichiers

14