Our investigation of the application of PSF in the field
in the field of
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
With this technology a new implementation of the simulator in the PSF Toolkit,
and an integrated development environment (IDE) for PSF have been developed.