Computer assisted manipulation of algebraic process specifications
Specifications of system behaviour tend to become large. Analysis of such specifications requires automated tools. Most attention hitherto has been invested in fully automatic tools. We however believe that in many cases human intervention is required and we therefore propose a number of computer tools to transform process specifications. The concrete manipulation tools that we describe can eliminate constants, redundant sum variables and parameters, and allow to split variables ranging over complex datatypes. These tools can transform specifications with large finite state spaces to variants with state spaces being a fraction of their original size, and transform specifications with infinite state spaces to those with finite state spaces.
|Distributed systems (msc 68M14), Specification and verification (program logics, model checking, etc.) (msc 68Q60), Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (msc 68Q85)|
|Software (theme 1), Software (theme 1)|
|Software Engineering [SEN]|
Groote, J.F, & Lisser, B. (2001). Computer assisted manipulation of algebraic process specifications. Software Engineering [SEN]. CWI.