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
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;
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
DOI :
10.1109/CMPSAC.1991.170157