Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/758
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Refereed
Authors: Turner, Kenneth J
McClenaghan, Ashley
Contact Email: kjt@cs.stir.ac.uk
Title: Visual animation of LOTOS using SOLVE (extended version)
Editors: Hogrefe, Dieter
Leue, Stefan
Citation: Turner KJ & McClenaghan A (1995) Visual animation of LOTOS using SOLVE (extended version), Hogrefe Dieter, Leue Stefan (ed.) Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII, FORTE 94: IFIP TC6/WG6.1 Seventh International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Bern, Switzerland, London: Chapman & Hall (now part of Wolter Kluwer), pp. 283-285.
Issue Date: 1995
Series/Report no.: IFIP Conference Proceedings, Vol. 6
Conference Name: FORTE 94: IFIP TC6/WG6.1 Seventh International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols
Conference Location: Bern, Switzerland
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.
Type: Conference Paper
Status: Post-print (author final draft post-refereeing)
URI: http://hdl.handle.net/1893/758
Affiliation: Computing Science - CSM Dept
Philips Research Labs

Files in This Item:
File Description SizeFormat 
anim-req.pdf176.67 kBAdobe PDFView/Open


This item is protected by original copyright



Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.