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

Research on Verification of Models in Object-oriented Analysis

Research Project

Project/Area Number 06680318
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionRitsumeikan University

Principal Investigator

OHNISHI Atsushi  Ritsumeikan University, Computer Science, Professor, 理工学部, 教授 (50160560)

Project Period (FY) 1994 – 1995
Project Status Completed (Fiscal Year 1995)
Budget Amount *help
¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 1995: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 1994: ¥1,500,000 (Direct Cost: ¥1,500,000)
KeywordsObject-oriented Analysis / Requirements Analysis / Requirements Definition / Software Development
Research Abstract

A supporting method of both verifying the correctness of models in the object-oriented analysis (OOA) and verifying the consistency among the three models of OOA is proposed.
The correctness of an object model is verified by checking whether the model has attributes, methods, and relations. The correctness of an functional model is verified by checking whether the model has input/output. The correctness of an dynamic model is verified by checking whether the model has states and attributes and by checking the consistency between pre-states and post-states in state transitions.
The consistency between an object model and an dynamic model is verified by checking whether no contradictions between attributes and methods of the object model and attributes which define states of the dynamic model and activities of the dynamic model. The consistency between an object model and a functional model is verified by checking whether no contradictions between relationships and methods of the object model and dataflows of the functional model. We provide a way of making a scenario of data transformation from a dynamic model and developed a visual language to express a functional model. With a scenario and a visual specification, we can show an animation of data transformations. The consistency between an dynamic model and a functional model is verified by checking the animation.
We have developed prototypes and validated our method with some examples.

Report

(3 results)
  • 1995 Annual Research Report   Final Research Report Summary
  • 1994 Annual Research Report
  • Research Products

    (25 results)

All Other

All Publications (25 results)

  • [Publications] 大西 淳: "要求フレームモデルに基づくオブジェクト指向分析支援手法" 情報処理学会研究報告(ソフトウェア工学研究会). SE102. 47-52 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 大西 淳: "ビジュアルなソフトウェア要求使用化技法" 情報処理学会論文誌. 36. 1183-1191 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 大西 淳他: "オブジェクト指向分析におけるモデルの検証支援" 情報処理学会オブジェクト指向'95シンポジウム論文集. 189-196 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 宇野 勝他: "オブジェクト指向分析におけるモデル間整合性検証支援システムの開発" 情報処理学会全国大会講演論文集. 5. 113-114 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Atsushi Ohnishi: "CARD: an Environment for Software Requirements Definition" Proc. Asia-Pacific Software Engineering Conference. 420-429 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 大西 淳: "要求仕様データベースシステムの開発" ソフトウェア工学基礎(FOSE)ワークショップ論文集. 2. 1-10 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Atsushi OHNISHI: "A Visual Software Requirements Definition Method" Proc.IEEE first International Conference on Requirements Engineering (ICRE). 194-201 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Atsushi OHNISHI: "Customizable Software Requirements Languages" Proc.IEEE 18th International Computer Software and Applications Conference (COMPSAC). 5-10 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Atsushi OHNISHI,Kazuhito NORO,Masaru UNO: "A Supporting Method for Object-0riented Analysis based on Requirements Frame Model (in Japanese)" The Special Interest Group of Software Engineering (SIGSE) Notes, IPS Japan. 95-11. 47-52 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Atsushi OHNISHI: "A Visual Software Requirements Specification Technique (in Japanese)" Trans.IPS Japan. 36-5. 1183-1191 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Atsushi OHNISHI,Jiro IWAKURA,Kazuhito NORO,and Masaru UNO: "A Verification Method of three Models of Object-oriented Analysis (in Japanese)" Proc.Symp.Object-oriented, IPS Japan. 189-196 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Masaru UNO and Atsushi OHNISHI: "A Supporting Method for Verification of Models of Object-oriented Analysis (in Japanese)" Proc.51st Annual Convention IPS Japan. 51-5. 113-144 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Atsushi OHNISHI: "CARD : an Environment for Software Requirements Definition" Proc.Asia-Pacific Software Engineering Oonference (APSEC'95). 420-429 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Atsushi OHNISHI: "Development of Software Requirements Database System (in Japanese)" Proc.2nd Foundation of Software Engineering (FOSE) Workshop. Vol.2. 1-10 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 大西 淳: "ビジュアルなソフトウェア要求仕様化技法" 情報処理学会論文誌. 36. 1183-1191 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 大西 淳 他: "オブジェクト指向分析におけるモデルの検証支援" 情報処理学会オブジェクト指向'95シンポジウム論文集. 189-196 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 大西 淳: "コミュニケーションモデルに基づいたビジュアルな要求定義技法" 情報処理学会サマーワークショップ・イン・立山論文集. 57-64 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 宇野 勝 他: "オブジェクト指向分析におけるモデル間整合性検証支援システムの開発" 情報処理学会全国大会講演論文集. 5. 113-114 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Atsushi Ohnishi: "CARD: an Environment for Software Requirements Definition" Proc. Asia-Pacific Software Engineering Conference. 420-429 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 大西 淳: "要求仕様データベースシステムの開発" ソフトウェア工学基礎(FOSE)ワークショップ論文集. 2. 1-10 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Atsushi Ohnishi: "A Visual Software Requiremenhts Definition Method" Proc.IEEE Int'l Conf.Requirements Engineering(ICRE)'94. 194-201 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 大西 淳: "要求仕様データベースシステムの開発" 情報処理学会研究報告(ソフトウェア工学研究会). SE100. 1-8 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 大西 淳: "要求フレームモデルに基づくオブジェクト指向分析支援" 情報処理学会全国大会. 49. 187-188 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Atsushi Ohnishi: "Customizable Software Requirements Languages" Proc.IEEE 18th COMPSAC. 5-10 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 大西 淳: "要求フレームモデルに基づくオブジェクト指向分析支援手法" 情報処理学会研究報告(ソフトウェア工学研究会). SE102. 47-52 (1995)

    • Related Report
      1994 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi