Software Engineering With Process Algebra: Modelling Client/Server Architectures

Date Added: Aug 2009
Format: PDF

In previous work, the authors 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. They also described this software development process more formally by presenting the tools they use in this process in a CASE setting, leading to the PSF-ToolBus software engineering environment. In this paper, they 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.