DocumentCode
1465394
Title
A pictorial approach to the animation of process-oriented formal specifications
Author
Bustard, D.W. ; Norris, M.T. ; Orr, R.A.
Author_Institution
Dept. of Comput. Sci., Queens Univ. of Belfast, UK
Volume
3
Issue
4
fYear
1988
fDate
7/1/1988 12:00:00 AM
Firstpage
114
Lastpage
118
Abstract
Considers how the meaning of process-oriented formal specifications might be made more apparent through the use of pictorial animation. The approach taken is based on techniques embodied in the software animation system PEEP. The PEEP system gives pictorial representations of the changing states of software as it is executed. It was designed for concurrent applications expressed in a modular multiprogramming language, such as Ada or Pascal Plus. Corresponding formal languages suitable for the specification of concurrent systems include CSP, CCS, SDL and LOTOS. The LOTOS language is used for illustration purposes
Keywords
computer graphics; software tools; specification languages; Ada; CCS; CSP; LOTOS; PEEP; Pascal Plus; SDL; animation; concurrent applications; formal languages; modular multiprogramming language; process-oriented formal specifications;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
9158
Link To Document