Introduction to the ISO specification language LOTOS

https://doi.org/10.1016/0169-7552(87)90085-7Get rights and content

Abstract

LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS a system is seen as a set of processes which interact and exchange data with each other and with their environment. LOTOS is expected to become an ISO international standard by 1988.

References (47)

  • E. Brinksma

    On the Existence of Canonical Testers

  • E. Brinksma et al.

    Formal Notions of Implementation and Conformance in LOTOS

  • E. Brinksma et al.

    LOTOS specifications, their implementations, and their tests

  • S.D. Brookes et al.

    A Theory of Communicating Sequential Processes

    Journal of ACM

    (1984)
  • V. Carchiolo et al.

    A LOTOS Specification of the PROWAY Highway Service

    IEEE Trans. on Computers

    (November 1986)
  • W.F. Chan et al.

    The Daemon Game in LOTOS

  • R. De Nicola

    Extensional Equivalences for Transition Systems

    Acta Informatica

    (1987)
  • H. Ehrig et al.
  • ESPRIT/PANGLOSS, Parallel Architectures Networking Gateways Linking OSI Systems. ESPRIT Project...
  • ESPRIT/SEDOS, Software Environment for the Design of Open Distributed Systems. ESPRIT Project...
  • J.A. Goguen et al.

    An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types

    IBM Research Report RC 6487

    (1976)
    J.A. Goguen et al.
  • J. Guttag

    Abstract Data Types and the Development of Data Structures

    Communications of the ACM

    (June 1977)
  • M. Hennessy et al.

    Algebraic Laws for Nondeterminism and Concurrency

    Journal of ACM

    (1985)

    • Cited by (0)

    View full text
    Copyright © 1987 Published by Elsevier B.V.