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

Semantic Similarity of Specification and its Application to Software Automatic Composition

规范语义相似度及其在软件自动组合中的应用

基本信息

批准号：
07458058
负责人：
AGUSA Kiyoshi
金额：
$ 3.01万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
1995
资助国家：
日本
起止时间：
1995 至 1997
项目状态：
已结题

项目摘要

There are 2 phases in the development process of high reliable softwares.1. a phase of gaining formal specifications2. a phase of automatic transformation from specifications to programsAbout 2.. there are rigorous methods using mathematical specifications and a kind of programs transformation methods for improving execution efficiency. However their objects still remain toy programs. There is scarcely any research about 1.On the other hand, reuse of software is a key of efficiency of software development. For reuse in high abstract level, it need to retrieve flexibly specifications stored in the parts database which is similar to a given specification.So, we have made the following researches. First of all, as research of gaining formal specifications, we research about software reuse based on similarity of algebraic specifications. We propose a reuse model based on specification, define similarity of algebraic specification and propose a method of retrieving specification based on similarity. Moreover, we propose a method of abstraction of difference of specifications.As research on automatic transformation from specifications to programs, we propose a method of reuse program corresponded to specifications and implement its prototype. We study on patterns of correspondence between specifications and programs and made research on a method of program generation using their patterns. As research on software parts, we made a method of abstraction of program parts and application of program patterns.Term Writing Systems for efficient verification of algebraic specifications and repository based on fine grain software parts are investigated as related work.

高可靠性软件的开发过程分为两个阶段.获得正式规格的阶段2.从规范到程序的自动转换阶段关于2..存在使用数学规范的严格方法和一种用于提高执行效率的程序转换方法。然而，他们的对象仍然是玩具程序。另一方面，软件复用是软件开发效率的关键。为了实现高抽象层次的重用，需要灵活地检索零件数据库中与给定规格相似的规格。首先，作为形式规格说明获取的研究，我们研究了基于代数规格说明相似性的软件复用。提出了一种基于规格说明的重用模型，定义了代数规格说明的相似性，提出了一种基于相似性的规格说明检索方法。在规范到程序的自动转换研究中，提出了一种规范对应的程序重用方法，并实现了原型系统。研究了规格说明与程序之间的对应模式，并研究了利用它们的对应模式生成程序的方法。作为对软件部件的研究，我们提出了一种程序部件的抽象方法和程序模式的应用，并研究了基于细粒度软件部件的有效验证代数规格说明的术语书写系统和知识库。