E-LOTOS

LOTOS (англ. Language Of Temporal Ordering Specification — «язык спецификации временного упорядочивания») — стандартизованный язык спецификации, первоначально предназначавшийся для описания коммуникационных и распределённых систем. LOTOS состоит из двух взаимодополняющих языков: язык описания абстрактных типов данных ACT ONE и язык описания поведения в виде алгебры процессов^[1]^[2].

Хотя LOTOS оказался широко применимым, Международная организация по стандартизации занялась разработкой усовершенствованной версии — E-LOTOS (ISO/IEC 15437:2001)^[3]^[1].

ОписаниеПравить

В LOTOS и E-LOTOS система, подлежащая спецификации, моделируется набором процессов, взаимодействующих между собой и их окружением^[1].

Коммуникационные порты процесса называются каналами событий (event gates). Процессы параметризируются своими каналами и состоянием. Ввод и вывод соответствуют событиям, то есть взаимодействию на каналах между двумя процессами или системой и её окружением. Событие происходит, когда две стороны синхронизируются на совпадающих предложениях событий, то есть, при наличии необходимости коммуникации с обеих сторон. В случае нескольких одновременных предложений, делается выбор, который может повлиять на дальнейшее поведение системы^[1].

ИнструментыПравить

LOTOS поддерживается инструментами для спецификации, имитационного моделирования, компиляции, генерации тестов и формальной верификации. Примеры инструментов: CADP (CÆSAR/ALDÉBARAN Development Package)^[4], LITE, LOLA^[1].

ПримечанияПравить

↑ ¹ ² ³ ⁴ ⁵ Habrias, Frappier, 2006.
↑ Research @ RUN / LOTOS (неопр.). Дата обращения: 30 ноября 2014. Архивировано 16 февраля 2015 года.
↑ Enhanced LOTOS − A Formal Description Technique based on the Temporal Ordering of Observational Behaviour, ISO/IEC 15437, International Organization for Standardization, 2001
↑ Construction and Analysis of Distributed Processes (неопр.). Дата обращения: 29 ноября 2014. Архивировано 9 ноября 2014 года.

ЛитератураПравить

Henri Habrias, Marc Frappier. 13. E-LOTOS // Software Specification Methods. — John Wiley & Sons, 2006. — 418 p. — ISBN 978-1-905-20934-7.
L. Logrippo, M. Faci and M. Haj-Hussein. An Introduction to LOTOS: Learning by Examples. Computer Networks and ISDN Systems 23, 1992, P.325-342.

СсылкиПравить

Turner K. J., World-wide Environment for Learning LOTOS, 2000
Construction and Analysis of Distributed Processes
Lotos Bibliography - библиография по LOTOS

[_dd3a03fd7a414810-1] ¹ ² ³ ⁴ ⁵ Habrias, Frappier, 2006.

[2] Research @ RUN / LOTOS (неопр.). Дата обращения: 30 ноября 2014. Архивировано 16 февраля 2015 года.

[3] Enhanced LOTOS − A Formal Description Technique based on the Temporal Ordering of Observational Behaviour, ISO/IEC 15437, International Organization for Standardization, 2001

[4] Construction and Analysis of Distributed Processes (неопр.). Дата обращения: 29 ноября 2014. Архивировано 9 ноября 2014 года.

[1]

[2]

[3]

[4]