A Language for Deterministic Coordination across Multiple Timelines

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Abstract

We discuss a novel approach for constructing deterministic reactive systems that evolves around a temporal model which incorporates a multiplicity of timelines. This model is central to LINGUA FRANCA (LF), a polyglot coordination language and compiler toolchain we are developing for the definition and composition of concurrent components called Reactors, which are objects that react to and emit discrete events. What sets LF apart from other languages that treat time as a first-class citizen is that it confronts the issue that in any reactive system there are at least two distinct timelines involved; a logical one and a physical one-and possibly multiple of each kind. LF provides a mechanism for relating events across timelines, and guarantees deterministic program behavior under quantifiable assumptions.

Details

OriginalspracheEnglisch
Titel2020 Forum for Specification and Design Languages (FDL)
Seitenumfang8
ISBN (elektronisch)978-1-7281-8928-4
PublikationsstatusVeröffentlicht - 15 Sept. 2020
Peer-Review-StatusJa

Publikationsreihe

ReiheForum on Specification, Verification and Design Languages, FDL
ISSN1636-9874

Konferenz

Titel2020 Forum on Specification and Design Languages, FDL 2020
Dauer15 - 17 September 2020
StadtKiel
LandDeutschland

Externe IDs

ORCID /0000-0002-5007-445X/work/141545617

Schlagworte

Forschungsprofillinien der TU Dresden

Schlagwörter

  • concurrency control, distributed computing, programming, software testing