Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Describing and Analyzing Distributed Software System Designs
 

Summary: Describing and Analyzing Distributed
Software System Designs
GEORGE S. AVRUNIN and JACK C. WILEDEN
University of Massachusetts
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.
Categories and Subject Descriptors: D.1.3 [Programming Techniques]: Concurrent Programming;
D.2.2 [Software Engineering]: Tools and Techniques; D.2.4 [Software Engineering]: Program
Verification; D.3.2 [Programming Languages]: Language Classifications; F.3.1 [Logics and
Meanings of Programs]: Specifying and Verifying and Reasoning about Programs
General Terms: Design, Languages, Theory, Verification
Additional Key Words and Phrases: Analysis of software design, design notation, distributed mutual
exclusion, distributed software systems, software design tools.
1. INTRODUCTION
Motivated by the increasing demand for highly complex, yet highly reliable,
distributed computing systems, we have been investigating tools and techniques
to aid in the preimplementation stages of distributed software system develop-

  

Source: Avrunin, George S. - Department of Mathematics and Statistics, University of Massachusetts at Amherst

 

Collections: Mathematics