A pictorial approach to the animation of process-oriented formal specifications
作者:
D.W.Bustard,
M.T.Norris,
R.A.Orr,
期刊:
Software Engineering Journal
(IET Available online 1988)
卷期:
Volume 3,
issue 4
页码: 114-118
年代: 1988
DOI:10.1049/sej.1988.0013
出版商: IEE
数据来源: IET
摘要:
This paper 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 in this paper, but the techniques discussed are equally applicable to the other languages.
点击下载:
PDF
(433KB)
返 回