ISO 8807:1989
Current
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
Important note : Users cannot be edited or removed once added to your Multi user PDF.
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.
| DocumentType |
Standard
|
| Pages |
142
|
| ProductNote |
THIS STANDARD ALSO REFERS TO CCITT Recommendation Z.100
|
| PublisherName |
International Organization for Standardization
|
| Status |
Current
|
| Standards | Relationship |
| AS/NZS 4199:1994 | Identical |
| NEN ISO 8807 : 1989 | Identical |
| UNI ISO 8807 : 1993 | Identical |
| CAN/CSA-Z243.101-89 (R2018) | Identical |
| BS ISO 8807:1989 | Identical |
| 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 |
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, flexible and cost effective.