• DocumentCode
    2613804
  • Title

    Specifications of a general user interface in LOTOS and OBJ

  • Author

    Wiersma, Deddo ; Ohmaki, Kazuhito ; Futatsugi, Kokichi

  • Author_Institution
    Dept. of Comput. Sci., Twente Univ., Netherlands
  • fYear
    1991
  • fDate
    11-13 Sep 1991
  • Firstpage
    90
  • Lastpage
    97
  • Abstract
    The authors specify an example system, XVT, using two formal specification languages, LOTOS and OBJ, in order to compare both specifications from the viewpoint of a user of specification languages. They can distinguish two parts in both specifications: a static part and a dynamic part. The authors specified the dynamic part with a CCS approach using LOTOS and with a FSM approach using OBJ. This allows them to compare both languages on how they solve specific systems
  • Keywords
    formal specification; specification languages; user interfaces; CCS; FSM; LOTOS; OBJ; XVT; dynamic part; formal specification languages; static part; user interface; Algebra; Calculus; Carbon capture and storage; Computer science; Formal specifications; LAN interconnection; Open systems; Protocols; Specification languages; User interfaces;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International
  • Conference_Location
    Tokyo
  • Print_ISBN
    0-8186-2152-4
  • Type

    conf

  • DOI
    10.1109/CMPSAC.1991.170157
  • Filename
    170157
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2613804