Representation of client-server behaviour within parallel software designs

Author

Jelly, I.E. ; Croll, P.R. ; Gorton, I. ; Birkinshaw, C.I.

Author_Institution

Comput. Res. Centre, Sheffield Hallam Univ., UK

Volume

1

fYear

1995

fDate

19-21 Apr 1995

Firstpage

173

Abstract

Parallel software design techniques based on client-server process models have been proposed to support the development of deadlock free systems. Deadlock freedom can be guaranteed where no client-server cycles occur in process graphs. Hierarchical composition rules are presented which allow the designer more freedom, including the use of cycles at a higher level. The incorporation of these design rules into a software development methodology, PARSE, is described. When PARSE is used in this manner, it provides the parallel software engineer with a powerful software development framework and permits direct design verification

Keywords

client-server systems; parallel programming; software fault tolerance; PARSE; client-server behaviour representation; client-server process models; deadlock free systems; direct design verification; hierarchical composition rules; parallel software design techniques; process graphs; software development methodology; Australia; Computer science; Design engineering; Message passing; Object oriented modeling; Petri nets; Reliability engineering; Software design; Software engineering; System recovery;

fLanguage

English

Publisher

ieee

Conference_Titel

Algorithms and Architectures for Parallel Processing, 1995. ICAPP 95. IEEE First ICA/sup 3/PP., IEEE First International Conference on

Conference_Location

Brisbane, Qld.

Print_ISBN

0-7803-2018-2

Type

conf

DOI

10.1109/ICAPP.1995.472182

Filename

472182