DocumentCode
1218328
Title
EXPOSE: an animation tool for process-oriented specifications
Author
Winstanley, Adam C. ; Bustard, David W.
Author_Institution
Dept. of Comput. Sci., Queen´´s Univ., Belfast, UK
Volume
6
Issue
6
fYear
1991
fDate
11/1/1991 12:00:00 AM
Firstpage
463
Lastpage
475
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
Keywords
computer animation; formal specification; hypermedia; software tools; Apple Macintosh HyperCard system; CCS; CSP; EXPOSE; LOTOS; animation concepts; animation tool; concurrent systems; dynamic views; hypermedia facilities; process-oriented formal specifications; process-oriented languages; specification structure; static views;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
120431
Link To Document