A Process Algebra Software Engineering Environment

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.