|Appears in Collections:||Computing Science and Mathematics Conference Papers and Proceedings|
|Peer Review Status:||Refereed|
|Authors:||Turner, Kenneth J|
|Title:||Visual animation of LOTOS using SOLVE (extended version)|
|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.|
|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.|
|Status:||Post-print (author final draft post-refereeing)|
|Affiliation:||Computing Science - CSM Dept|
Philips Research Labs
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 firstname.lastname@example.org providing details and we will remove the Work from public display in STORRE and investigate your claim.