Describing and analyzing distributed software system designs

1 July 1985

journal article
research article
Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems

Vol. 7 (3) , 380-403
https://doi.org/10.1145/3916.3989

Abstract

In this paper we outline an approach to describing and analyzing designs for distributed software systems. A descriptive notation is introduced, and analysis techniques applicable to designs expressed in that notation are presented. The usefulness of the approach is illustrated by applying it to a realistic distributed software-system design problem involving mutual exclusion in a computer network.

Keywords

This publication has 23 references indexed in Scilit:

High-level debugging of distributed systems: The behavioral abstraction approach
Journal of Systems and Software, 1983
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM, 1983
An optimal algorithm for mutual exclusion in computer networks
Communications of the ACM, 1981
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems, 1980
An approach to software system modelling and analysis
Computer Languages, 1979
High level programming for distributed computing
Communications of the ACM, 1979
A New Approach to Proving the Correctness of Multiprocess Programs
ACM Transactions on Programming Languages and Systems, 1979
Verifying properties of parallel programs
Communications of the ACM, 1976
A new solution of Dijkstra's concurrent programming problem
Communications of the ACM, 1974
Synchronization of communicating processes
Communications of the ACM, 1972