Designing dependable process-oriented software : a CSP-based approach

摘要

This thesis advocates dependability as a crucial aspect of software quality. Process orientation, as it is defined in this thesis, concentrates on the notion of a process as a basic building component of a dataflow-centred software architecture. The dependability approach in the proposed variant of process orientation builds on a few specific strengths of the particular dataflowcentred architecture which is based on the principles of the CSP process algebra.