• DocumentCode
    3621764
  • Title

    An integrated environment for specification of OSI systems

  • Author

    V. Glavinic;Z. Zilic

  • Author_Institution
    Fac. of Electr. Eng., Zagreb Univ., Yugoslavia
  • fYear
    1991
  • fDate
    6/13/1905 12:00:00 AM
  • Firstpage
    1011
  • 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"
  • Publisher
    ieee
  • Conference_Titel
    Electrotechnical Conference, 1991. Proceedings., 6th Mediterranean
  • Print_ISBN
    0-87942-655-1
  • Type

    conf

  • DOI
    10.1109/MELCON.1991.162013
  • Filename
    162013
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3621764