The following three catagories are used for classifying CASE technology.
- support individual process tasks.
- support process phases or activities and normally consist of a
set of tools with some degree of integration.
- support at least a substantial part of the software process and
normally include several integrated workbenches.
In the representation of our workbenches and environments we use the following scheme. Objects to be specified are presented as bold boxes, workbench tools as ellipses, and generated objects as slanted boxes.
So far, we used PSF as process algebra language with the workbenches. However, similar workbenches can be set up for variants of PSF or process algebra based languages similar to PSF. By generalizing from PSF we obtain a Process Algebra Software Engineering Workbench.