CSP as a Coordination Language - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

CSP as a Coordination Language

(1)
1
Moritz Kleine
  • Function : Author
  • PersonId : 1015679

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.
Fichier principal
Vignette du fichier
978-3-642-21464-6_5_Chapter.pdf (176.23 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01582993 , version 1 (06-09-2017)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Moritz Kleine. CSP as a Coordination Language. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.65-79, ⟨10.1007/978-3-642-21464-6_5⟩. ⟨hal-01582993⟩
153 View
149 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More