ISO/IEC 15437:2001 PDF
Information technology — Enhancements to LOTOS (E-LOTOS)
Information technology — Enhancements to LOTOS (E-LOTOS)
- Статус документа:
- Действующий
- Формат:
- Электронный (PDF)
- Количество страниц:
- 187
- Дата публикации:
- 6 сентября 2001 г.
- Издание:
- ISO/IEC IS 15437 edition 1 version 1
- ICS:
- 35.060
This International Standard defines the syntax and semantics of the enhanced LOTOS language (ISO 8807), named E-LOTOS. E-LOTOS is used for the formal description of the behavioural aspects of distributed and concurrent systems in general and in the area of open distributed processing in particular.
Abstract
Overview
ISO/IEC 15437:2001 - - defines the of the enhanced LOTOS language (E-LOTOS, built on ). The standard formalizes the language used to describe the , with particular emphasis on . It covers concrete grammar, abstract syntax, and both untimed and timed semantic models so that specifications are unambiguous and suitable for formal analysis.
Похожие стандарты
Упомянутые в описании и другие стандарты ISO