Visual animation of LOTOS using SOLVE (extended version)

Citation

Turner KJ & McClenaghan A (1995) Visual animation of LOTOS using SOLVE (extended version). In: Hogrefe D & Leue S (eds.) Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII. IFIP Conference Proceedings, Vol. 6. FORTE 94: IFIP TC6/WG6.1 Seventh International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Bern, Switzerland, 04.10.1994-07.10.1994. London: Chapman & Hall (now part of Wolter Kluwer), pp. 283-285.

Abstract
SOLVE (Specification using an Object-based, LOTOS-defined, Visual language) is designed to allow formal requirements capture, particularly for interactive systems. The SOLVE language is object-based, and formally defined using LOTOS (Language Of Temporal Ordering Specification). SOLVE is also a set of software tools that allow direct visual animation of systems specified in this language. Communicating objects control onscreen icons that can be manipulated directly by the user. Animation is supported by translating a SOLVE specification automatically into a LOTOS specification, and then simulating this using standard LOTOS tools. A VCR (Video Cassette Recorder) clock controller is used to illustrate the SOLVE approach. A further application is embodied in the XDILL tool that supports requirements specification and animation of digital logic circuits. The architecture of the SOLVE toolset is described.

Keywords
; LOTOS (Computer program language); Computer architecture; Computer animation; Object-oriented databases

• anim-req.pdf