PSF Software Engineering WorkbenchThe Tools in the PSF-ToolBus SE Environment can also be ToolBus application specifications developed in a similar way. However, the refining of architecture specifications is not limited to the level of ToolBus application specifications. Other levels of design, and even several levels of refinement connected in series are possible.
We can generalize the refine step in the PSF-ToolBus software engineering environment resulting in the workbench shown below.
The PSF SE workbench
The refine and constrain tools are general enough to work on the different level of the design. The generate LevelX tool and PSF LevelX Library can only be applied at level X.