Software (Re-)Engineering with PSF II: from architecture to implementation

TL;DR

This paper discusses the use of PSF in software engineering, detailing the development of a new simulator implementation from architectural specifications through refinement techniques.

Contribution

It introduces a new implementation approach for PSF-based simulators, bridging high-level specifications and executable models.

Findings

Successfully built a full simulator from architectural specifications

Applied refinement techniques to derive implementable specifications

Extended the PSF Toolkit with new features

Abstract

This paper presents ongoing research on the application of PSF in the field of software engineering and reengineering. We build a new implementation for the simulator of the PSF Toolkit starting from the specification in PSF of the architecture of a simple simulator and extend it with features to obtain the architecture of a full simulator. We apply refining and constraining techniques on the specification of the architecture to obtain a specification low enough to build an implementation from.