Scan: A Simple Coordination Workbench - IFIP Open Digital Library Access content directly
Conference Papers Year : 2019

Scan: A Simple Coordination Workbench

Jean-Marie Jacquet
  • Function : Author
  • PersonId : 1024631
Manel Barkallah
  • Function : Author
  • PersonId : 1058362

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.
Fichier principal
Vignette du fichier
478673_1_En_5_Chapter.pdf (1.41 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02365497 , version 1 (15-11-2019)

Licence

Attribution

Identifiers

Cite

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⟩
66 View
25 Download

Altmetric

Share

Gmail Facebook X LinkedIn More