Title :
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
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;
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
DOI :
10.1109/ICAPP.1995.472182
