STORRE
STORRE: Stirling Online Research Repository
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1893/614| Appears in Collections: | Computing Science and Mathematics Conference Papers and Proceedings |
| Peer Review Status: | Refereed |
| Author(s): | Turner, Kenneth J McClenaghan, Ashley Chan, Colin |
| Contact Email: | kjt@cs.stir.ac.uk |
| Title: | Specification and Animation of Reactive Systems |
| Editor(s): | Atalay, Volkan Halici, Ugur Inan, Kemal Yalabik, Nese Yazici, Adnan |
| 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. |
| Issue Date: | 1996 |
| Date Deposited: | 15-Dec-2008 |
| Conference Name: | ISCIS-XI - The Eleventh International Symposium on Computer and Information Sciences |
| Conference Dates: | 1996-11-06 - 1996-11-08 |
| Conference Location: | Antalya, Turkey |
| 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. |
| Status: | AM - Accepted Manuscript |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| anim-react.pdf | Fulltext - Accepted Version | 102.86 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
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.