Anemone: A workbench for the Multi-Bach coordination language

Jean Marie Jacquet; Manel Barkallah

doi:10.1016/j.scico.2020.102579

Anemone: A workbench for the Multi-Bach coordination language

Jean Marie Jacquet, Manel Barkallah

Faculty of Computer Science

Research output: Contribution to journal › Article › peer-review

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 over programs written in these languages. This paper proposes a workbench for describing concurrent systems using a Linda-like language, for animating them and for reasoning over them using a reachability logic.

Original language	English
Article number	102579
Journal	Science of Computer Programming
Volume	202
DOIs	https://doi.org/10.1016/j.scico.2020.102579
Publication status	Published - 1 Feb 2021

Keywords

Animation
Bach
Coordination languages
Verification

Access to Document

10.1016/j.scico.2020.102579

Cite this

@article{62e3b72496654de1a22c84b660bbb19c,

title = "Anemone: A workbench for the Multi-Bach coordination language",

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 over programs written in these languages. This paper proposes a workbench for describing concurrent systems using a Linda-like language, for animating them and for reasoning over them using a reachability logic.",

keywords = "Animation, Bach, Coordination languages, Verification",

author = "Jacquet, {Jean Marie} and Manel Barkallah",

note = "Publisher Copyright: {\textcopyright} 2020 Elsevier B.V.",

year = "2021",

month = feb,

day = "1",

doi = "10.1016/j.scico.2020.102579",

language = "English",

volume = "202",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

}

TY - JOUR

T1 - Anemone

T2 - A workbench for the Multi-Bach coordination language

AU - Jacquet, Jean Marie

AU - Barkallah, Manel

PY - 2021/2/1

Y1 - 2021/2/1

N2 - 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 over programs written in these languages. This paper proposes a workbench for describing concurrent systems using a Linda-like language, for animating them and for reasoning over them using a reachability logic.

AB - 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 over programs written in these languages. This paper proposes a workbench for describing concurrent systems using a Linda-like language, for animating them and for reasoning over them using a reachability logic.

KW - Animation

KW - Bach

KW - Coordination languages

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=85096177213&partnerID=8YFLogxK

U2 - 10.1016/j.scico.2020.102579

DO - 10.1016/j.scico.2020.102579

M3 - Article

AN - SCOPUS:85096177213

SN - 0167-6423

VL - 202

JO - Science of Computer Programming

JF - Science of Computer Programming

M1 - 102579

ER -

Anemone: A workbench for the Multi-Bach coordination language

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this