Software Engineering with Process Algebra: Modelling Client / Server Architectures

TL;DR

This paper presents a formal process algebra-based approach for modeling and implementing client/server architectures in software engineering, utilizing the PSF language and ToolBus coordination architecture.

Contribution

It extends previous work by applying process algebra modeling to client/server systems within a CASE environment, providing a formal development process.

Findings

Formal modeling of client/server architectures using process algebra

Implementation of software systems with PSF and ToolBus

Enhanced software engineering methodology for distributed systems

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. We also described this 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. In this article we summarize that work and describe a similar software development process for implementation of software systems using a client / server model and present this in a CASE setting as well.