Scan: A simple coordination workbench

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationCoordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings
EditorsEmilio Tuosto, Emilio Tuosto, Hanne Riis Nielson
PublisherSpringer Verlag
Pages75-91
Number of pages17
ISBN (Print)9783030223960
DOIs
Publication statusPublished - 5 Jun 2019
Event21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019 - Kongens Lyngby, Denmark
Duration: 17 Jun 201921 Jun 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11533 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019
Country/TerritoryDenmark
CityKongens Lyngby
Period17/06/1921/06/19

Keywords

  • Animation
  • Bach
  • Coordination
  • Verification

Fingerprint

Dive into the research topics of 'Scan: A simple coordination workbench'. Together they form a unique fingerprint.

Cite this