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

fYear

1988

Firstpage

103

Lastpage

107

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/DIGCOM.1988.4693

Filename

4693