Share and Export
Share and Export
Winstanley, Adam C. and Bustard, D.W. (1991) EXPOSE: an Animation Tool for Process-Oriented Specifications. Software Engineering Journal, 6 (6). pp. 463-475. ISSN 0268-6961
Preview
AW-Expose_1991.pdf
Download (1MB) | Preview
Abstract
EXPOSE is an animation tool for process-oriented formal specifications of concurrent systems. EXPOSE takes an input the text of a formal specification and, from it, generates static views (interpretations) of the specification structure and dynamic views of the behaviour of the system specified. The views are constructed and explored using the hypermedia facilities of the Apple Macintosh HyperCard system. EXPOSE has been implemented experimentally for LOTOS, but most of the animation concepts and techniques described are relevant to other process-oriented languages, such as CCS and CSP.
| Item Type: | Article |
|---|---|
| Keywords: | Animation; Software requirements and specifications; Hypertext systems; Software tools; |
| Academic Unit: | Faculty of Science and Engineering > Computer Science |
| Item ID: | 8082 |
| Identification Number: | 10.1049/sej.1991.0045 |
| Depositing User: | Dr. Adam Winstanley |
| Date Deposited: | 28 Mar 2017 15:39 |
| Journal or Publication Title: | Software Engineering Journal |
| Publisher: | IET |
| Refereed: | Yes |
| Related URLs: | |
| URI: | https://mural.maynoothuniversity.ie/id/eprint/8082 |
| Use Licence: | This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here |
Repository Staff Only (login required)
- Item control page
Downloads
Downloads per month over past year
