A Process Algebra Software Engineering Environment
B. Diertens

TL;DR
This paper presents a formal process algebra-based software engineering environment using PSF and ToolBus, detailing tools and methods for formal development and environment composition.
Contribution
It introduces a formalized process algebra environment for software engineering, including tools and methods for environment composition and refinement.
Findings
Development of a PSF-ToolBus environment for software engineering
Formalization of the software development process using process algebra
Multiple environment instances can be combined for flexible software engineering workflows
Abstract
In previous work we described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra, as implementation model. In this article we summarize that work and describe the software development process more formally by presenting the tools we use in this process in a CASE setting, leading to the PSF-ToolBus software engineering environment. We generalize the refine step in this environment towards a process algebra based software engineering workbench of which several instances can be combined to form an environment.
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
TopicsAdvanced Software Engineering Methodologies · Formal Methods in Verification · Logic, programming, and type systems
