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

Available format(s)

Hardcopy , PDF 1 User , PDF 3 Users , PDF 5 Users , PDF 9 Users

Language(s)

English

Published date

09-02-1989

Publisher

International Organization for Standardization

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
CAN/CSA-Z243.101-89 (R2018)	Identical
NEN ISO 8807 : 1989	Identical
UNI ISO 8807 : 1993	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