Software Engineering With Process Algebra: Modelling Client/Server Architectures

Download Now Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 88.48 KB