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.
Origine : Fichiers produits par l'(les) auteur(s)