Task dependence nets for concurrent systems with Ada 95 and its applications
Jingde Cheng · 1997
There are various dependence relationships holding between statements in a program as well as between components in a software system. In general, the dependence relationships are implicitly determined by control and data flows in the program and/or system. Determining various dependences in programs and/or systems and then representing them in some explicit forms are indispensable and crucial to many software development, maintenance, evolution, and reengineering activities. This paper presents a dependencebased representation, named task dependence net, for concurrent systems with Ada 95 and shows its various important applications in Ada software development, maintenance, evolution, and reengineering. Two arcclassified digraph representations, named nondeterministic parallel control-flow net and nondeterministic parallel definition-use net, are introduced to represent multiple threads of control flow and multiple threads of data flow in concurrent Ada programs. The five types of pri...