Specifications of a general user interface in LOTOS and OBJ


Wiersma, D. and Ohmaki, K. and Futatsugi, K. (1991) Specifications of a general user interface in LOTOS and OBJ. In: Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991 (pp. pp. 90-97).

open access
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
Item Type:Conference or Workshop Item
Copyright:©1991 IEEE
Link to this item:http://purl.utwente.nl/publications/56067
Official URL:https://doi.org/10.1109/CMPSAC.1991.170157
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page