Research on Process Programming and its Environment

软件过程概念是科学合理地构造复杂、先进软件系统的关键技术，本项目的目的是开发软件过程的技术和环境支持。日本和美国的研究人员对过程编程语言和描述软件对象库的形式化方法进行了研究，并取得了一些有益的成果：在过程编程语言方面，美国的研究人员开发了基于ADA的过程化语言，而日本的研究人员则使用了HFSP、PDL和Prolog。结果发现，美国的方法比日本的方法更具有描述力，而日本的方法比美国的方法更具可读性。说到编程环境，美国的研究人员已经证明了他们的环境是很好实现的，特别是在用户界面问题和集成度上。对于对象库，美国研究人员使用可编程关系数据库，这是一个关系数据库，扩展了声明性条件，这些条件必须在数据库操作过程中得到满足。另一方面，日本研究人员提出了一种基于属性文法形式化的软件对象库模型，它使用增量计算f属性值来维护软件对象之间的关系和条件。

Concept of software processes is considered as a key technology for scientific and rational way of creating complex and advanced softwares systems.The purpose of the project was to exploit the technologies and the environmental support for the software processes. Both Japanese and American Researchers have studied process programming languages and formal method for describing software object bases, and have came to some useful insights as follows.For the process programming language, American researchers have developed a procedural language based on ADA, while Japanese researchers have used HFSP, PDL and Prolog. It was found out that the American approach has more descriptive power than the Japanese approaches, while Japanese approaches are more readable than the american approach. Speaking of the programming environment, American researchers have demonstrated their environment which is well implemented, especially on the user interface issues and degree of integration. For the object bases, American researchers used the programmable relational database, which is a relational database extended with declarative conditions which must be satisfied during database operations. On the other hand, Japanese researchers have proposed a software objectbase model based on the attribute grammar formalisms, which uses incremental computation f attribute values to maintain relations and conditions among software objects.