Software (Re-)Engineering with PSF III: an IDE for PSF
Bob Diertens
TL;DR
This paper presents the design and implementation of an IDE for PSF, utilizing process algebra for specification and ToolBus for integration, demonstrating a formal approach to software engineering.
Contribution
It introduces a formal specification of an IDE for PSF using process algebra and details its implementation as a ToolBus application, showcasing a rigorous engineering process.
Findings
Successful formal specification of IDE architecture using PSF
Implementation of IDE tools connected via ToolBus script
Demonstration of process algebra in practical software engineering
Abstract
We describe the design of an integrated development environment (IDE) for PSF. In the software engineering process we used process algebra in the form of PSF for the specification of the architecture of the IDE. This specification is refined to a PSF specification of the IDE system as a ToolBus application, by applying vertical and horizontal implementation techniques. We implemented the various tools as specified and connected them with a ToolBus script extracted from the system specification.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Advanced Software Engineering Methodologies · Business Process Modeling and Analysis