Title :
An integrated environment for specification of OSI systems
Author :
V. Glavinic;Z. Zilic
Author_Institution :
Fac. of Electr. Eng., Zagreb Univ., Yugoslavia
fDate :
6/13/1905 12:00:00 AM
Abstract :
An integrated environment for protocol specification, based on the LOTOS language, is given. The environment consists of a syntax-driven editor, a user-friendly command shell, and an assisted C++ code compiler. An overview of the underlying LOTOS-based language is presented. A nontrivial example illustrates the protocol specification style forced by the language.
Keywords :
"Open systems","Specification languages","Protocols","ISO standards","Carbon capture and storage","Libraries","Writing","Standards development","Databases"
Conference_Titel :
Electrotechnical Conference, 1991. Proceedings., 6th Mediterranean
Print_ISBN :
0-87942-655-1
DOI :
10.1109/MELCON.1991.162013
