Software Engineering with PSF
Our investigation of the application of PSF in the field in the field of software engineering and software re-engineering sofar has led to the development of several libraries for PSF. One library can be used to specify the architecture of software systems. The PSF Toolkit plays an important role here. Validation of the specifications can be done through simulation with animation. The animations are generated from the specifications. These animations represent the boxes-and-lines diagrams which can be brought to live through simulation. They are also very convenient in communication to stakeholders.

The other libraries can be used to specify the system on a lower level of design using a particular model.

To obtain a system model specification from an architecture specification, we apply horizontal implementation and vertical implementation techniques.

With this technology a new implementation of the simulator in the PSF Toolkit, and an integrated development environment (IDE) for PSF have been developed.