CSP as a Coordination Language
International audience 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 g...
Main Author: | |
---|---|
Other Authors: | , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2011
|
Subjects: | |
Online Access: | https://inria.hal.science/hal-01582993 https://inria.hal.science/hal-01582993/document https://inria.hal.science/hal-01582993/file/978-3-642-21464-6_5_Chapter.pdf https://doi.org/10.1007/978-3-642-21464-6_5 |
id |
ftifiphal:oai:HAL:hal-01582993v1 |
---|---|
record_format |
openpolar |
spelling |
ftifiphal:oai:HAL:hal-01582993v1 2024-06-23T07:54:00+00:00 CSP as a Coordination Language Kleine, Moritz Technical University of Berlin / Technische Universität Berlin (TUB) Wolfgang Meuter Gruia-Catalin Roman TC 6 WG 6.1 Reykjavik, Iceland 2011-06-06 https://inria.hal.science/hal-01582993 https://inria.hal.science/hal-01582993/document https://inria.hal.science/hal-01582993/file/978-3-642-21464-6_5_Chapter.pdf https://doi.org/10.1007/978-3-642-21464-6_5 en eng HAL CCSD Springer info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21464-6_5 hal-01582993 https://inria.hal.science/hal-01582993 https://inria.hal.science/hal-01582993/document https://inria.hal.science/hal-01582993/file/978-3-642-21464-6_5_Chapter.pdf doi:10.1007/978-3-642-21464-6_5 http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess Lecture Notes in Computer Science 13th Conference on Coordination Models and Languages (COORDINATION) https://inria.hal.science/hal-01582993 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.65-79, ⟨10.1007/978-3-642-21464-6_5⟩ [INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] info:eu-repo/semantics/conferenceObject Conference papers 2011 ftifiphal https://doi.org/10.1007/978-3-642-21464-6_5 2024-05-29T23:33:44Z International audience 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. Conference Object Iceland IFIP Open Digital Library (International Federation for Information Processing) 65 79 |
institution |
Open Polar |
collection |
IFIP Open Digital Library (International Federation for Information Processing) |
op_collection_id |
ftifiphal |
language |
English |
topic |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] |
spellingShingle |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] Kleine, Moritz CSP as a Coordination Language |
topic_facet |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] |
description |
International audience 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. |
author2 |
Technical University of Berlin / Technische Universität Berlin (TUB) Wolfgang Meuter Gruia-Catalin Roman TC 6 WG 6.1 |
format |
Conference Object |
author |
Kleine, Moritz |
author_facet |
Kleine, Moritz |
author_sort |
Kleine, Moritz |
title |
CSP as a Coordination Language |
title_short |
CSP as a Coordination Language |
title_full |
CSP as a Coordination Language |
title_fullStr |
CSP as a Coordination Language |
title_full_unstemmed |
CSP as a Coordination Language |
title_sort |
csp as a coordination language |
publisher |
HAL CCSD |
publishDate |
2011 |
url |
https://inria.hal.science/hal-01582993 https://inria.hal.science/hal-01582993/document https://inria.hal.science/hal-01582993/file/978-3-642-21464-6_5_Chapter.pdf https://doi.org/10.1007/978-3-642-21464-6_5 |
op_coverage |
Reykjavik, Iceland |
genre |
Iceland |
genre_facet |
Iceland |
op_source |
Lecture Notes in Computer Science 13th Conference on Coordination Models and Languages (COORDINATION) https://inria.hal.science/hal-01582993 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.65-79, ⟨10.1007/978-3-642-21464-6_5⟩ |
op_relation |
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21464-6_5 hal-01582993 https://inria.hal.science/hal-01582993 https://inria.hal.science/hal-01582993/document https://inria.hal.science/hal-01582993/file/978-3-642-21464-6_5_Chapter.pdf doi:10.1007/978-3-642-21464-6_5 |
op_rights |
http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess |
op_doi |
https://doi.org/10.1007/978-3-642-21464-6_5 |
container_start_page |
65 |
op_container_end_page |
79 |
_version_ |
1802645934312521728 |