• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

FM-ISEE:形式的手法と知的ソフトウェア工学環境

研究課題

研究課題/領域番号 08044167
研究種目

国際学術研究

配分区分補助金
応募区分共同研究
研究分野 計算機科学
研究機関広島市立大学

研究代表者

劉 少英  広島市立大学, 情報科学部, 助教授 (90264960)

研究分担者 HINCHEY Mich  New Jersey Institute of Technology, 情報科学部, 教授
HOーSTUART Ch  Queensland University of Technology, 情報科学, 講師
SUN Yong  The Queen's University of Belfast, 情報科学部,, 講師
OFFUTT A Jef  George Mason University, 情報科学部,USA, 助教授
荒木 啓二郎  九州大学, 大学院・システム情報科学研究科, 教授 (40117057)
MICHAEL Hinc  New Jersey Institute of Technology, 情報科学部, 教授
CHRIS HoーStu  Queensland University of Technology, 情報科学, 講師
YONG Sun  The Queen's University of Belfast, 情報科学部, 講師
A Jeff Offut  George Mason University, 情報科学部, 助教授
GLENN Evans  The Queen's University of Belfast, 情報科学部, 助手
JIAN Chen  Monash University, 情報科学部, 講師
新井 紀子  広島市立大学, 情報科学部, 助手 (40264931)
大場 充  広島市立大学, 情報科学部, 教授 (50264966)
研究期間 (年度) 1996 – 1997
研究課題ステータス 完了 (1997年度)
配分額 *注記
12,000千円 (直接経費: 12,000千円)
1997年度: 5,600千円 (直接経費: 5,600千円)
1996年度: 6,400千円 (直接経費: 6,400千円)
キーワード形式的手法 / 形式的仕様 / ソフトウェア支援環境 / ソフトウェア検証 / ソフトウェアテスト / 厳密なレビュー / 形式的意味 / SOFL / 形式手法 / 形式仕様 / 支援環境 / 形式意味
研究概要

本プロジェクトは,信頼性の高いソフトウェアシステムを開発するための形式手法で、既存のものより強力でユーザ親和性の高い実用的なものを開発し、さらに形式的手法を支援するための知的ソフトウェア工学環境の構築に関する研究を平成9年度にも著しく進展して、素晴らしい成果を獲得したと思います。具体的に重要な結果は以下のものである。
1.階層的なデータフロー図を基にした構造化方法論とオブジェクト指向方法論、モデル指向形式言語VDL-SLとの適切な統合を研究しており、ユーザ親和性の高い実用的な形式的手法SOFL(Structured-Object-based-formal Language)を設計と改良した。
2.既存の形式的手法Zと提案したSOFLを複雑な情報シスタムの開発に応用して、その結果を評価した。
3.形式的手法よりも実用的な「形式的工学手法」を初めて提案した。形式的手法を比べて、以下の三つの発展がある。(1)数学のみを用いた安全な要求仕様を記述ではなく、図や自然言語や数学を統合させた言語を用いて主要な要求仕様を記述している。(2)形式的詳細化(Refinement)ではなく、進化させて行く方法(Evolution)で開発して行くという点である。(3)形式的証明(Formal Proofs)ではなく、厳密なレビューを行なうと言うことになる。
4.構造化形式的手法SOFLを基にしたソフトウェアテスト技法に関する研究を通して,形式的仕様のテスト及び形式的仕様を基に開発されたソフトウェアのテストの両者を行うための、具体的なテスト生成のルールを作成した。この二つは,密接に関係しているが,従来のテスト生成の技法とは目的が異なる。前者は仕様の整合性を検証するため,形式的仕様を実行せずに,仕様テストする手法である。後者は,形式的仕様を基に作成されたソフトウェアの正しさを保証するテスト手法である。
5.SOFLの支援環境を構築するため,SOFLの形式的意味を研究し,公理的意味と操作的意味モデルを確立した。
6.SOFLの支援環境を構築するための技術を研究し,SOFLのグラフィカル・ユーザインタフェイスとテストシスタムのプロトタイプを構築した。
以上の研究に基づいてIEEE Transactions on Software EngineeringやIEEE国際会議等様々のジャナルと国際会議で8篇論文を発表した。

報告書

(3件)
  • 1997 実績報告書   研究成果報告書概要
  • 1996 実績報告書
  • 研究成果

    (28件)

すべて その他

すべて 文献書誌 (28件)

  • [文献書誌] Shaoying Liu et al: "SOFL:A Formal Engineering Methodology for Industrial Applications" IEEE Transactions on Software Engineering. 24・No.1. (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Shaoying Liu: "Evolution:A More Practical Approach than Refinement for Software Development" Proceedings of Third IEEE International Conference on Engineering of Complex Computer Systems. Sept.142-151 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Shaoying Liu: "A Formal Definition of FRSM and Applications" International Journal of Software Engineering and Knowledge Engineering. 8・3. (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Shaoying Liu and John A.McDermid: "A Formal Specification of Fault Trees for SAM" Transactions of Information Processing Society of Japan. 38・10. 2014-2030 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Chris Ho-Stuart,Shaoying Liu: "A Formal Operational Semantics for SOFL" Proceedings of 1997 Asia-Pacific Software Engineering Conference. 12月. 52-61 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Shaoying Liu: "Formal Methods and Intelligent Software Engineering Environments" Information-An International Journal. 1・1(予定). (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Yong Sun,Shaoying Liu: "Self-independent Petri Nets for Distributed Systems" Proceedings of FORTE/PSTV'97. 487-502 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Jeff A.Offutt, Shaoying Liu: "Generating Test Data from SOFL Specifications(予定)" The Journal of Systems and Software,Elservier Science Inc.

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Shaoying Liu, Jeff.Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba: ""SOFL : A Formal Engineering Methodology for Industrial Applications"" IEEE Transactions on Software Engineering, Special issue on Formal Methods, IEEE Computer Society Press, January. (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Shaoying Liu: ""Evolution : A More Practical Approach than Refinement for Software Development"" Proceedings of Third IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Villa Olmo, Como, Italy, September 8-12. 142-151 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Shaoying Liu: ""A Formal Definition of FRSM and Applications"" International Journal of Software Engineering and Knowledge Engineering. Vol.8, No.3. (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Shoying Liu and John A.McDermid: ""A Formal Specification of Fault Trees for SAM"" Transactions of Information Processing Society of Japan. Vol.38, No.10. 2014-2030 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Chris Ho-Stuart and Shaoying Liu: ""A Formal Operational Semantics for SOFL"" Proceedings of 1997 Asia-pacific Software Engineering Conference, IEEE Computer Society Press, Hong Kong, December 2-5. 52-61 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Shaoying Liu: ""Formal Methods and Intelligent Software Engineering Environments"" Information-An International Journal. Vol.1, No.1 (accepted). (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Yong Sun, Shaoying Liu, Mitsuru Ohba: ""Self-independent Petri Nets for Distributed Systems"" Proceedings of the 1997 IFIP TC6/WG6.1 Joint International Conference on Formal Descriptions for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'97), Chapman & Hall, Osaka, Japan, November 18-21. 487-502 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Jeff A.Offutt and Shaoying Liu: ""Generating Test Data from SOFL Specifications"" The Journal of Systems and Software, Elsevier Science Inc.(accepted).

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Saoying Liu et al: "SOFL:A Formal Engineering Methodology for Industrial Applications" IEEE Transactions on Software Engineering. 24・No.1. (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Saoying Liu: "Evolution:A More Practical Approach than Refinement for Software Development" Proceedings of Third IEEE International Conference on Engineering of Complex Computer Systems. Sept.142-151 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Saoying Liu: "A Formal Definition of FRSM and Applicatios" International Journal of Software Engineering and Knowledge Engineering. 8・3. (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Saoying Liu and John A.McDermid: "A Formal Specification of Fault Trees for SAM" Transactions of Information Processing Society of Japan. 38・10. 2014-2030 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Chris Ho-Stuart Shaoying Liu: "A Formal Operational Semantics for SOFL" Proceedigs of 1997 Asia-Pacific Software Engineering Conference. 12月. 52-61 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Saoying Liu: "Formal Methods and Intelligent Software Engineering Environments" Information-An International Journal. 1・1(予定). (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Yong Sun, Shaoying Liu: "Self-independent Petri Nets for Distributed Systems" Proceedings of FORTE/RSTV'97. 487-502 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Jeff A.Offutt Shaoying Liu: "Generating Test Data from SOFL Specifications(予定)" The Journal of Systems and Software,Elsevier Science Inc.

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Shaoying Liu and John A McDermid: "A Model-Oriented Approach to Safety Analysis Using Fault Tress and a Support Systems" Journal of Systems and Software. 35. 151-164 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] John A McDermid and Shaoying Liu: "A Case Study Using SAM-Safety Analysis of PES" Proceedings of Asia-PAcific Software Engineering Conference. 217-224 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] Shaoying Liu and Chris Ho-Stuart: "Semi-automatic Transfromation from Formal Specifications to Programs" Proceedings of Second IEEE International Conference on Engineering of Complex Computer Systems. 1996. 506-513

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] Jian Chen and Shaoying Liu: "An Approach to Testing Object-Oriented Formal Specifications" Proceedings of TOOLS Pacific 96. 225-238 (1996)

    • 関連する報告書
      1996 実績報告書

URL: 

公開日: 1996-04-01   更新日: 2021-10-08  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi