Specifications of a general user interface in LOTOS and OBJ

D. Wiersma, K. Ohmaki, K. Futatsugi

Research output: Contribution to conferencePaper

1 Citation (Scopus)

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
Original languageUndefined
Pages90-97
DOIs
Publication statusPublished - 1991
Externally publishedYes
EventFifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991 -
Duration: 1 Jan 19911 Jan 1991

Other

OtherFifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991
Period1/01/911/01/91

Keywords

  • IR-56067

Cite this