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

User-language processing system based on diagrammatical representations

基于图解表示的用户语言处理系统

基本信息

批准号：
61460137
负责人：
TERADA Hiroaki
金额：
$ 4.35万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (B)
财政年份：
1986
资助国家：
日本
起止时间：
1986 至 1988
项目状态：
已结题

项目摘要

The main cbjectives of this project is to establish software development evironment through diagrammatical representation to tremendously improve understandability as well as validation capability of programs. In order to improve the validation capability of software:1. data-driven intermediate language incorporating history sensitivity was proposed as its foundation of language system to provide strict validation capability. (See references 1,2,4, and 7) using this intermediate language as the kernel, extremaly understandable software description ecvironment was achieved by:2. attempting to formulize the diagrammatical language processing system which automatically generates executable intermediate program mentioned above by automatically transforming the diagrammatical specification. As a result, the establishment of diagrammatical language system based upon the side-effect free intermediate language was determined to be vital to overcome the software crisis. (See references 1,2,3,4,5, and 6)The following results were obtained through continuing research while investigating for a truly user-friendly language processing system:3. Extraction of data dependency was found to be possible from generalized block diagrams as well as from sequence charts even when they were not necessarily strictly defined and interpreted, to enable the user to directly and naturally comprehend problems.4. It was also found that a multilingual enviromnent was essential to enable the specification of the target problem to be seen from various viewpoints. (See reference 7)From herafter, research is desired to further progress the results obtained in order to achieve a truly user-friendly software environment free from conventional approach.

该项目的主要目标是通过图表表示建立软件开发环境，以极大地提高程序的可理解性和验证能力。为了提高软件的验证能力：提出了结合历史敏感性的数据驱动中间语言作为语言系统的基础，以提供严格的验证能力。（参见参考文献1、2、4和7）使用这种中间语言作为内核，通过以下方式实现了极度可理解的软件描述环境：试图通过对图形规范的自动转换，实现上述可执行中间程序自动生成的图形语言处理系统的公式化。因此，建立基于无副作用中间语言的图解语言系统是克服软件危机的关键。（参见参考文献1、2、3、4、5、6）通过对真正用户友好的语言处理系统的不断研究，得到了以下结果：从广义的方框图和序列图中提取数据依赖关系是可能的，即使它们不一定是严格定义和解释的，也可以使用户直接和自然地理解问题。会议还发现，多语文环境对于能够从不同的角度详细说明目标问题是必不可少的。（见参考文献7）从她之后，希望研究进一步发展所获得的结果，以实现一个真正的用户友好的软件环境，而不是传统的方法。