Software Engineering with PSF

Architecture Workbench

Development of a software system starts with the specification of the architecture for the software system. This architecture specification consists of components that communicate with each other. We make use of the PSF Architecture library that provides the primitives we use in the architecture specification. The system consists of the components put together in parallel. The system is then put in an architecture environment. Since the system and the environment are always built in the same way, we can easily generate them. So specification of an architecture is limited to specification of the components. This gives an architecture workbench as shown below.

The architecture workbench