Skip to Main content Skip to Navigation
Conference papers

Scan: A Simple Coordination Workbench

Abstract : Although many research efforts have been spent on the theory and implementation of data-based coordination languages, not much effort has been devoted to constructing programming environments to analyze and reason on programs written in these languages. This paper proposes a simple workbench for describing concurrent systems using a Linda-like language, for animating them and for reasoning on them using a fragment of linear temporal logic. In contrast to some tools developed for traditional process algebras like CCS, a key feature of our workbench is that it maintains a direct relation between what is written by the user and its internal representation in the workbench. Another feature, particularly useful for didactic purposes, is the production of trace examples, replayable, when LTL formulae are satisfied.
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-02365497
Contributor : Hal Ifip <>
Submitted on : Friday, November 15, 2019 - 2:12:55 PM
Last modification on : Thursday, September 10, 2020 - 10:46:21 AM
Long-term archiving on: : Sunday, February 16, 2020 - 5:19:25 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2022-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Jean-Marie Jacquet, Manel Barkallah. Scan: A Simple Coordination Workbench. 21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.75-91, ⟨10.1007/978-3-030-22397-7_5⟩. ⟨hal-02365497⟩

Share

Metrics

Record views

91