Data Specifications in Modular Lotos

Roth, Rudolph; Meer, Jan de; Storp, Silke

doi:10.1007/978-1-4615-2203-4_23

Cited by 1 publication

(1 citation statement)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Published three years later, a deliverable (edited by Ed Brinksma) of the LO-TOSphere project [13] adopts a point of view orthogonal to that of Extended LOTOS: leaving aside all ideas for improving the behaviour part of LOTOS, this deliverable focuses on enhancements to the data part of LOTOS, in which usability problems have been identified as most crucial, and proposes a new language called "Modular LOTOS", two synthetic presentations of which can also be found in [9] and [90]. Modular LOTOS suggests the following enhancements:…”

Section: Modular Lotosmentioning

confidence: 99%

From LOTOS to LNT

Garavel

Lang

Serwe

2017

Lecture Notes in Computer Science

View full text Add to dashboard Cite

International audienceWe revisit the early publications of Ed Brinksma devoted, on the one hand, to the definition of the formal description technique LOTOS (ISO International Standard 8807:1989) for specifying communication protocols and distributed systems, and, on the other hand, to two proposals (Extended LOTOS and Modular LOTOS) for making LOTOS a simpler and more expressive language. We examine how this scientific agenda has been dealt with during the last decades. We review the successive enhancements of LOTOS that led to the definition of three languages: E-LOTOS (ISO International Standard 15437:2001), then LOTOS NT, and finally LNT. We present the software implementations (compilers and translators) developed for these new languages and report about their use in various application domains

show abstract

Section: Modular Lotosmentioning

confidence: 99%