• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Semantic Similarity of Specification and its Application to Software Automatic Composition

Research Project

Project/Area Number 07458058
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionNagoya University

Principal Investigator

AGUSA Kiyoshi  Nagoya University, School of Engineering, Professor, 工学研究科, 教授 (90026360)

Co-Investigator(Kenkyū-buntansha) HAMAGUCHI Takeshi  Nagoya University, School of Engineering, Research Associate, 工学研究科, 助手 (90273284)
YAMAMOTO Shinichirou  Nagoya University, School of Engineering, Lecturer, 工学研究科, 講師 (40240098)
SAKAI Masahiko  Nagoya University, School of Engineering, Associate Professor, 工学研究科, 助教授 (50215597)
Project Period (FY) 1995 – 1997
Project Status Completed (Fiscal Year 1997)
Budget Amount *help
¥4,700,000 (Direct Cost: ¥4,700,000)
Fiscal Year 1997: ¥1,400,000 (Direct Cost: ¥1,400,000)
Fiscal Year 1996: ¥1,400,000 (Direct Cost: ¥1,400,000)
Fiscal Year 1995: ¥1,900,000 (Direct Cost: ¥1,900,000)
Keywordsformal specification / retrieval of specification / similarity of specification / software reuse / software parts database / ソフトウェアの再利用 / ソフトウェア部品 / 部品データベース / ソフトウェアリポジトリ / 依存解析 / 代数的仕様 / 類似性 / 検索
Research Abstract

There are 2 phases in the development process of high reliable softwares.
1. a phase of gaining formal specifications
2. a phase of automatic transformation from specifications to programs
About 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.

Report

(4 results)
  • 1997 Annual Research Report   Final Research Report Summary
  • 1996 Annual Research Report
  • 1995 Annual Research Report
  • Research Products

    (29 results)

All Other

All Publications (29 results)

  • [Publications] 川北 誠, 酒井 正彦, 山本 晋一郎, 阿草 清滋: "形式的仕様を用いた再利用モデル" 情報処理学会論文誌. Vol.36,No.5. 1050-1058 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] 蜂巣 吉成, 山本 晋一郎, 濱口 毅, 阿草 清滋: "Java言語のための細粒度リポジトリ" コンピュータシステムシンポジウム論文集. 147-154 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] 山本 晋一郎, 阿草 清滋: "柔らかなソフトウェア部品と新工法" ウインターワークショップ・イン・松山論文集. Vol.97No.1. 55-56 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] 岩本 奈美, 山本 晋一郎, 阿草 清滋: "関数スライサによるプログラム部品抽出手法とその応用" 情報処理学会研究報告. 97-SE-115. 25-32 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] 椴山 嘉人, 山本 晋一郎, 阿草 清滋: "Fun Gramに基づくプログラムパターンとその応用" 電子情報通信学会技術研究報告. SS97-29. 31-38 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Masahiko Sakai: "Left-Incompatible Term Rewriting Systems and Functional Strategy" IEICE Trans.on Information and System. Vol.E80-D,No.12. 1176-1182 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Kawakita, M., Sasaki, M., Yamamoto, S., Agusa, K.: "A model for reuse based on form al specifications" Trans.of Information Processing Society of Japan. Vol.36, No.5. 1050-1058 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Hachisu, Y., Yamamoto, S., Hamaguchi, T., Agusa, K.: "A fine grain source repository for Java" Proceedings of Computer System Symosium.IPSJ.147-154 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Yamamoto, S., Agusa, K.: "Soft Software Components and the New Methodology" Proceedings Winter Workshop in Matsuyama.IPSJ.55-56 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Iwamoto, N., Yamamoto, S., Agusa, K.: "Function slicing and its application" IPSJ SIG Notes 97-SE-115. 25-32 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Momiyama, Y., Y.Yamamoto, S., Agusa, K.: "FunGram-based program patterns and its application" IEICE Technical Report SS97-29. 31-38 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Sakai, M.: "Left-Incompatible Term Rewriting Systems and Functional Strategy" IEICE Trans.on Information and System. 1176-1182 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] 福安 直樹,山本 晋一郎,阿草 清滋: "細粒度ソフトウェア・リポジトリに基づいたソースプログラムの安全な変更" 日本ソフトウェア科学会 第14回大会論文集. 601-604 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 吉田 敦,山本 晋一郎,阿草 清滋: "抽象スレッドに基づいたソースプログラムの依存解析手法" 日本ソフトウェア科学会 第14回大会論文集. 157-160 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 蜂巣吉成,山本 晋一郎,濱口 毅,阿草 清滋: "An Efficient Implementation of Term Rewriting System on a Distributed Memory Architecture" IEICE Transaction on Information and Systems. Vol.E80-D No.4. 510-517 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 岩本 奈美,山本 晋一郎,阿草 清滋: "関数スライサによるプログラム部品抽出手法とその応用" 情報処理学会研究報告. 97-SE-115. 25-32 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 椴山 嘉人,山本 晋一郎,阿草 清滋: "FunGramに基づくプログラムパターンとその応用" 電子情報通信学会技術研究報告. SS97-29. 31-38 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Masahiko Sakai: "Left-Incompatible Term Rewriting Systems and Functional Strategy" IEICE Trans.on Information and System. Vol.E80-D No.12. 1176-1182 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 濱口 毅: "代数的使用記述を利用したプログラムのエラー記述変更" 第52回(平成8年前期)全国大会講演論文集(5). 165-165 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 蜂巣吉成: "Java言語のための細粒度リポジトリ" 情報処理学会コンピュータシステムシンポジウム論文集. 147-154 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 大崎博基: "プログラム理解のための依存解係表示ツール" ソフトウェア工学の基礎III日本ソフトウェア科学会FOSE'96. 34-41 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 木野和佳: "プログラム動作理解のための抽象実行系" ソフトウェア工学の基礎III日本ソフトウェア科学会FOSE'96. 98-101 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 山本晋一郎: "柔らかなソフトウェア部品と新工法" 情報処理学会ウインターワークショップ・イン・松山論文集. Vol97 No.1. 55-56 (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 粕谷英人: "項集合書換え系とその合流性" 電子情報通信学会論文誌 D-I. Vol.J80-D-I NO,4. 1-10 (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 山本 晋一郎: "細粒度リポジトリに基づいたツール・プラットフォームとその応用" 情報処理学会研究報告. 95-SS-102. 37-42 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 吉田 敦: "A Software Manipulatiing Language for a MetaCASE" Proceeding of The First International Congress on META-CASE. (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 吉田 敦: "依存関係に基づく差分抽出ツール" 電子情報通信学会技術研究報告. SS95-8. 53-60 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 内山 晃司: "依存関係が定義可能なテストベッド" 情報処理学会研究報告. 95-SE-106. 41-47 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 吉田 敦: "CASEツール開発のためのソフトウェア操作言語" 情報処理学会論文誌. Vol.36 No.10. 2433-2441 (1995)

    • Related Report
      1995 Annual Research Report

URL: 

Published: 1995-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi