Title :
The implementation of a specification language for OSI systems
Author :
Manas, José A. ; de Miguel, T. ; Van Thienen, Huub
Author_Institution :
ETSI Telecommun., Madrid, Spain
Abstract :
During the years 1981-7, experts from the ISO/TC97/SC21/WG1 ad hoc group on FDT (formal description techniques) subgroup C developed a very-high-level specification language for open distributed systems, called the LOTOS (language of temporal ordering specification). Its high level of abstractness precludes a direct compilation. An architectural overview is presented of a set of tools, named LIW (LOTOS implementation workbench), to assist the implementor during the implementation process. The extra information required to derive actual implementations from formal specifications is carefully integrated in a semantically consistent framework using a mechanism of annotations
Keywords :
computer networks; protocols; specification languages; standards; ISO/TC97/SC21/WG1; LOTOS; LOTOS implementation workbench; annotations; architectural overview; formal description techniques; formal specifications; implementation process; language of temporal ordering specification; open distributed systems; semantically consistent framework; subgroup C; very-high-level specification language; Algebra; Equations; Formal specifications; Hardware; ISO standards; Open systems; Protocols; Specification languages; Synchronization; Writing;
Conference_Titel :
Digital Communications, 1988. Mapping New Applications onto New Technologies, 1988 International Zurich Seminar on
Conference_Location :
Zurich
Print_ISBN :
3-908265-01-0
DOI :
10.1109/DIGCOM.1988.4693
