Process dependence net of distributed programs and its applications in development of distributed systems

In addition to the usual control and data dependences proposed and studied for sequential and centralized programs, this paper introduces three new types of primary program dependences in concurrent and distributed programs, named the selection dependence, synchronization dependence, and communication dependence, and a new program representation for concurrent and distributed programs, named the process dependence net (PDN), which is an arc-classified digraph to explicitly represent the five types of primary program dependences in the programs. The paper also shows some applications of the representation.<<ETX>>

[1]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1987, TOPL.

[2]  Keith Brian Gallagher,et al.  Using Program Slicing in Software Maintenance , 1991, IEEE Trans. Software Eng..

[3]  Mark Weiser,et al.  Program Slicing , 1981, IEEE Transactions on Software Engineering.

[4]  Mark Weiser,et al.  Programmers use slices when debugging , 1982, CACM.

[5]  Karl J. Ottenstein,et al.  Experience compiling Fortran to program dependence graphs , 1992, Softw. Pract. Exp..

[6]  Lori A. Clarke,et al.  A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance , 1990, IEEE Trans. Software Eng..

[7]  Karl J. Ottenstein,et al.  The program dependence graph in a software development environment , 1984 .

[8]  Jingde Cheng,et al.  Complexity metrics for distributed programs , 1993, Proceedings of 1993 IEEE International Symposium on Software Reliability Engineering.

[9]  Inmos Limited,et al.  OCCAM 2 reference manual , 1988 .

[10]  Bogdan Korel.  The Program Dependence Graph in Static Program Testing , 1987, Inf. Process. Lett..

[11]  Jingde Cheng,et al.  Slicing Concurrent Programs - A Graph-Theoretical Approach , 1993, AADEBUG.

[12]  Norman F. Schneidewind,et al.  The State of Software Maintenance , 1987, IEEE Transactions on Software Engineering.

[13]  Jingde Cheng.  Task Dependence Net as a Representation for Concurrent Ada Programs , 1992, Ada-Europe.

[14]  Jingde Cheng,et al.  Compiling programs to their dependence-based representations , 1993, Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation.

[15]  Bogdan Korel,et al.  PELAS - Program Error-Locating Assistant System , 1988, IEEE Trans. Software Eng..