权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Research on Process Programming and its Environment

过程编程及其环境研究

基本信息

批准号：
02044052
负责人：
KATAYAMA Takuya
金额：
$ 1.28万
依托单位：
Tokyo Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for international Scientific Research
财政年份：
1990
资助国家：
日本
起止时间：
1990 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-02044052/
关键词：
Process Programming Software Database Software Process Software Process Enaction Software Process Environment Software Process Dynamics

项目摘要

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.

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