6 (E-)LOTOS: (Enhanced) Language Of Temporal Ordering Specification - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2006

6 (E-)LOTOS: (Enhanced) Language Of Temporal Ordering Specification

Résumé

The LOTOS and E-LOTOS Languages LOTOS (Language of Temporal Ordering Specification) is a standardised FDT (For-mal Description Technique) originally intended for the specification of communications and distributed systems. The design of LOTOS was motivated by the need for a language with a high abstraction level and a strong mathematical basis, suitable for the specification and analysis of complex sys-tems. LOTOS consists of two integrated sub-languages for specifying data types (ADT – Abstract Data Types) and behaviour (process algebra). LOTOS has been used to specify and analyse a variety of systems. Many of these have been communications standards, but LOTOS has been successfully used in a number of other fields. LOTOS is supported by tools for specification, simulation, compilation, test generation and formal verifica-tion. LOTOS toolsets include CADP (CAESAR/AL EBARAN Development Package), LITE (LOTOS Integrated Tool Environment) and LOLA (LOTOS Laboratory). Although LOTOS has proved to be widely applicable, ISO has been developing a revised version called E-LOTOS (Enhancements to LOTOS). New language features of particular relevance to the invoicing case study include modularity, functional (constructive) data types, classical programming constructs, a controlled imperative style and strongly typed gates. Since E-LOTOS standardisation is ongoing, the authors have used a snapshot of the language to deal with the INVOICE case study.
Fichier principal
Vignette du fichier
lotos.pdf (185.56 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00160467 , version 1 (25-11-2014)

Identifiants

  • HAL Id : hal-00160467 , version 1

Citer

Kenneth J. Turner, Mihaela Sighireanu. 6 (E-)LOTOS: (Enhanced) Language Of Temporal Ordering Specification. H. Habrias and M. Frappier. Software Specification Methods -- An Overview Using a Case Study, ISTE Hermes & Lavoisier, pp.233-258, 2006. ⟨hal-00160467⟩

Collections

UNIV-PARIS7 CNRS
82 Consultations
257 Téléchargements

Partager

Gmail Facebook X LinkedIn More