Integrated Environment to Support Development of Concurrent Programs Based on Software Dependence Theory

在研究项目之前，我们提出了过程依赖网（PDN）模型来表示并发程序中的软件依赖。实现了依赖分析器、执行监视器、执行历史分析器和死锁检测器等编程工具。本课题的研究成果如下：（1）对这些工具进行了改进，使其能够更有效地应用于实际的大规模项目中。我们将这些工具集成到一个环境中，以支持高可靠性并发程序的开发。(2)提出了一种从并发程序中获取精确静态切片的方法，并实现了一个工具。(3)我们使用PDN作为程序的统一表示来设计工具之间的公共接口。(4)使用这种统一的表示，我们的环境可以处理C，Pascal，Occam 2，Ada 95。(5)并发系统的执行很难探测，因为探测本身改变了它们的行为。Ada 95是第一个国际标准的并发面向对象程序设计语言。该标准称Ada 95遵循应配备语法/语义查询接口即ASIS。(1)提出了一种利用ASIS从Ada 95程序中获取PDN的方法，实现了一个工具，并将其纳入到我们的开发环境中。(2)ASIS专用于Ada 95，但它有许多适用于许多其他过程语言的功能。我们研究了一种适用于它们的新接口。

Before the research project, we proposed Process Dependence Net (PDN) model which represents software dependences in concurrent programs. And, we implemented programming tools such as dependence analyzer, execution watcher, execution history analyzer and deadlock detector. They are based on PDN model.Our research project results in as follows :(1) We improved these tools to be effective in practical and large-scale programs. We integrated these tools into one environment to support development of highly reliable concurrent programs. (2) We proposed a technique to obtain accurate static slices from concurrent programs and implemented a tool. (3) We designed common interfaces among our tools using PDN as a unified representation of programs. (4) Using this unified representation, our environment can deal with C, Pascal, Occam2, Ada95. (5) It is difficult to probe execution of concurrent systems, because they change their behavior by the probe itself. To cope with this problem, we proposed the wholeness and self-measurement principles.Ada95 is the first international standard programming language as a concurrent object oriented language. The standard says that Ada95 complies should equip syntax/semantics query interfaces namely ASIS.(1) We proposed a technique to obtain PDN from Ada95 programs Using ASIS, implemented a tool and included it into our developing environment. (2) ASIS is specific to Ada95, but it has many features applicable to many other procedural languages. We investigated a new interface applicable to them.