Skip to content
Please enter a keyword to search

  • ISO 8807:1989

    Current The latest, up-to-date edition.

    Information processing systems Open Systems Interconnection LOTOS A formal description technique based on the temporal ordering of observational behaviour

    Available format(s):  Hardcopy, PDF, PDF 3 Users, PDF 5 Users, PDF 9 Users

    Language(s):  English

    Published date:  09-02-1989

    Publisher:  International Organization for Standardization

    Add To Cart

    Abstract - (Show below) - (Hide below)

    Defines the syntax and semantics of the Formal Description Technique LOTOS used for the formal description of distributed, concurrent information processing systems. LOTOS can be used to describe formally the service definitions and protocol specifications of the layers of Open Systems Interconnection (OSI) architecture described in ISO 7498, and related standards, and conformance tests for implementations of OSI protocols and/or OSI functions. It can also be applied for the formal description of other distributed systems, such as telephone switching networks. References: ISO 7498; CCITT Recommendation Z. 100, SDL.

    General Product Information - (Show below) - (Hide below)

    Document Type Standard
    Product Note THIS STANDARD ALSO REFERS TO CCITT Recommendation Z.100
    Publisher International Organization for Standardization
    Status Current

    Standards Referenced By This Book - (Show below) - (Hide below)

    BS ISO/IEC TR 14369:1999 Information technology. Programming languages, their environments and system software interfaces. Guidelines for the preparation of Language-Independent Service Specifications (LISS)
    ISO/IEC TR 11589:1995 Information technology — Open Systems Interconnection — LOTOS description of the CCR service
    CAN/CSA-ISO/IEC 15437-02 (R2011) Information Technology - Enhancements to LOTOS (E-LOTOS) (Adopted ISO/IEC 15437:2001, first edition, 2001-08-15)
    ISO/IEC TR 9572:1989 Information technology — Open Systems Interconnection — LOTOS description of the session protocol
    ISO/IEC TR 10024:1992 Information technology — Telecommunications and information exchange between systems — Formal description of ISO 8073 (Classes 0, 1, 2, 3) in LOTOS
    I.S. EN 61508-7:2010 FUNCTIONAL SAFETY OF ELECTRICAL/ELECTRONIC/PROGRAMMABLE ELECTRONIC SAFETY-RELATED SYSTEMS - PART 7: OVERVIEW OF TECHNIQUES AND MEASURES
    CSA ISO/IEC 10746-4 : 2001 : INC : AMD 1 : 2003 : R2014 INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
    ETR 071 : 20001 METHODS FOR TESTING AND SPECIFICATIONS (MTS) - SEMANTIC RELATIONSHIP BETWEEN SDL AND TTCN - A COMMON SEMANTICS REPRESENTATION
    INCITS/ISO/IEC 10746-4 : 1998 INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
    BS ISO/IEC TR 11590:1995 Information technology. Open systems interconnection. LOTOS description of the CCR protocol
    CSA ISO/IEC 15437 : 2002 INFORMATION TECHNOLOGY - ENHANCEMENTS TO LOTOS (E-LOTOS)
    CEI EN 61508-7 : 2011 FUNCTIONAL SAFETY OF ELECTRICAL/ELECTRONIC/PROGRAMMABLE ELECTRONIC SAFETYRELATED SYSTEMS - PART 7: OVERVIEW OF TECHNIQUES AND MEASURES
    ISO/IEC 10746-4:1998 Information technology Open Distributed Processing Reference Model: Architectural semantics Part 4:
    IEC 61508-7:2010 Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 7: Overview of techniques and measures (see Functional Safety and IEC 61508)
    UNE-EN 61508-7:2011 Functional safety of electrical/electronic/programmable electronic safety-related systems -- Part 7: Overview of techniques and measures
    ISO/IEC TR 14369:2018 Information technology Programming languages, their environments and system software interfaces Guidelines for the preparation of language-independent service specifications (LISS)
    BS ISO/IEC 10746-4:1998 Information technology. Open distributed processing. Reference model Architectural semantics
    08/30193478 DC : DRAFT NOV 2008 BS EN 61508-7 - FUNCTIONAL SAFETY OF ELECTRICAL/ELECTRONIC/PROGRAMMABLE ELECTRONIC SAFETY-RELATED SYSTEMS - PART 7: OVERVIEW OF TECHNIQUES AND MEASURES
    ISO/IEC TR 10167:1991 Information technology — Open Systems Interconnection — Guidelines for the application of Estelle, LOTOS and SDL
    BS EN 61508-7:2010 Functional safety of electrical/electronic/ programmable electronic safety related systems Overview of techniques and measures
    BS ISO/IEC TR 11589:1995 Information technology. Open systems interconnection. LOTOS description of the CCR service
    BS ISO/IEC 15437:2001 Information technology. Enhancements to LOTOS (E-LOTOS)
    INCITS/ISO/IEC 10746-4 : 1998 : R2007 INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
    ISO/IEC TR 9571:1989 Information technology — Open Systems Interconnection — LOTOS description of the session service
    FIPS PUB 140 : 0001 SECURITY REQUIREMENTS FOR CRYPTOGRAPHIC MODULES
    BS ISO/IEC TR 10023:1992 Information technology. Telecommunications and information exchange between systems. Formal description of ISO 8072 in LOTOS
    ISO/IEC TR 11590:1995 Information technology — Open Systems Interconnection — LOTOS description of the CCR protocol
    ISO/IEC TR 10023:1992 Information technology — Telecommunications and information exchange between systems — Formal description of ISO 8072 in LOTOS
    CSA ISO/IEC 10746-4 : 2001 : R2014 INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
    BS ISO/IEC TR 10024:1992 Information technology. Telecommunications and information exchange between systems. Formal description of ISO 8073 (Classes 0,1,2,3) in LOTOS
    ETR 049 : 20001 ADVANCED TESTING METHODS (ATM) - STATE OF RESEARCH IN THE AREA OF FORMAL TEST SPECIFICATION METHODS
    CSA ISO/IEC 10746-4 : 2001 : INC : AMD 1 : 2003:R2009 INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
    CSA ISO/IEC 10746-4 : 2001 : FR INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
    EN 61508-7:2010 Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 7: Overview of techniques and measures
    View more information

    • Access your standards online with a subscription

      Features

      • Simple online access to standards, technical information and regulations
      • Critical updates of standards and customisable alerts and notifications
      • Multi - user online standards collection: secure, flexibile and cost effective