Online Version - Last Updated - 20 Jan 2012 |
 |
| Home |
| |
| Procedures and Resources for Authors |
|
| Information and Resources for Volume Editors |
| |
| Orders and Subscriptions |
| |
| Published Articles |
|
| Upcoming Volumes |
| |
| Contact Us |
| |
| Useful External Links |
| |
| CRPIT Site Search |
From Process Algebra to Visual Language
Cerone, A.
The syntactical constructs and the features of three well-known process algebras, CCS, CSP and Circal, are analysed and compared. The analysis is carried out from the point of view of the system designer and aims to single out which features make the modelling process easier, facilitate the verification phase, provide a better intuition of the system behaviour, and are more appropriate for the visualisation of both the functional structure of the overall system and the behaviours of the components in which it has been decomposed. The results of such an analysis are then expoloited to propose a visual framework for the design and verification of systems, which is targeted to users who are not necessarily expert in formal methods.
Cite as: Cerone, A. (2002). From Process Algebra to Visual Language. In Proc. Workshop on Software Engineering and Formal Methods 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L. M. and Billington, J., Eds. ACS. 27-36.
(from crpit.com)
(local if available)
