Conference Proceeding

Specification and Animation of Reactive Systems

Details

Citation

Turner KJ, McClenaghan A & Chan C (1996) Specification and Animation of Reactive Systems. In: Atalay V, Halici U, Inan K, Yalabik N & Yazici A (eds.) Proceedings of the eleventh international symposium on computer and information sciences. ISCIS-XI - The Eleventh International Symposium on Computer and Information Sciences, Antalya, Turkey, 06.11.1996-08.11.1996. Ankara, Turkey: Middle East Technical University, pp. 355-364.

Abstract
SOLVE (Specification using an Object-based, LOTOS-defined, Visual language) is designed to allow formal requirements capture, particularly for reactive systems. The SOLVE language is object-based, and formally defined using LOTOS (Language Of Temporal Ordering Specification). SOLVE is supported by tools that allow direct visual animation of systems specified in this language. Animation is supported by translating a SOLVE specification automatically into a LOTOS specification, and then graphically simulating this. A further application is embodied in the XDILL tool that supports requirements specification and visual animation of digital logic circuits. Several illustrative SOLVE examples are given.

StatusPublished
Publication date31/12/1996
URLhttp://hdl.handle.net/1893/614
PublisherMiddle East Technical University
Place of publicationAnkara, Turkey
ISBN9754291039
ConferenceISCIS-XI - The Eleventh International Symposium on Computer and Information Sciences
Conference locationAntalya, Turkey
Dates

People (1)

Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science