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

2008 Fiscal Year Annual Research Report

法律や規則に適合したソフトウェア要求の獲得技術の研究

Research Project

Project/Area Number 20500027
Research InstitutionTokyo Institute of Technology

Principal Investigator

佐伯 元司  Tokyo Institute of Technology, 大学院・情報理工学(系)研究科, 教授 (80162254)

Keywords要求獲得 / 法令 / 格フレーム / オントロジ / モデルチェッカ
Research Abstract

1. 法律や規則を表現するための格フレームによる意味表現手法の開発
個人情報保護法を例にとり,その意味表現となる格フレーム化を行った.法令間の参照関係を分類し,関係の種類に応じた処理を行えるように意味表現の拡張を行った.
2. 法令文と要求文のマッチングによる適合性判定
法令文と要求文を格フレーム表現の上でマッチングを行い,要求文に関連する法令文の抽出を行い,適合性を判定するためのアルゴリズムを開発し,ツールとして実装した.マッチングには,同義語などの処理を行う必要があるため,オントロジを介して行う手法となっている.この手法では,動作順序などに関する性質はチェックできないため,Prologなどの述語論理ベースの手法ではなく,4で述べるように時相論理とモデルチェッカを使用する手法とを併用する手法を開発した.
3. 要求変更の支援手法
要求文が法令文に適合していない場合の修正規則と修正の際の波及解析を行う手法を開発した.波及解析は,各要求に属性値を振っておき,グラフで表現された要求間の論理的な関係をもとに,属性値を伝播させることにより,波及効果を推論する手法と支援ツールを開発した.
4. 時相論理による法令文の表現とモデルチェッカを用いた適合性判定
分岐時間時相論理で法令文の義務,禁止,許可,免除といった様相を表現する手法を開発し,ユースケースで記述された要求仕様を状態遷移機械に変換し,モデルチェッカを用いて法令文との適合性を判定する手法を開発した.

  • Research Products

    (7 results)

All 2009 2008

All Journal Article (6 results) (of which Peer Reviewed: 6 results) Presentation (1 results)

  • [Journal Article] Extracting Conceptual Graphs from Japanese Documents for Software Requirements Modeling2009

    • Author(s)
      Ryo Hasegawa, MotohiroKitamura, Haruhiko Kaiya, Motoshi Saeki
    • Journal Title

      Proc. of 6th Asia-Pacific Conference on Conceptual Modeling CRPIT 96

      Pages: 87-96

    • Peer Reviewed
  • [Journal Article] Attributed Goal-Oriented Analysis Method for Selecting Alternatives of Software Requirements2008

    • Author(s)
      Kazuma Yamamoto, Motoshi Saeki
    • Journal Title

      電子情報通信学会英文論文誌 91-D

      Pages: 921-932

    • Peer Reviewed
  • [Journal Article] Supporting the Elicitation of Requirements Compliant with Regulations2008

    • Author(s)
      Motoshi Saeki, Haruhiko Kaiya
    • Journal Title

      Lecture Notes in Computer Science 5074

      Pages: 228-242

    • Peer Reviewed
  • [Journal Article] Process Improvement in Requirements Management : A Method Engineering Approach2008

    • Author(s)
      Sjaak Brinkkemper, Inge van deWeerd, Motoshi Saeki, Johan Versendaal
    • Journal Title

      Lecture Notes in Computer Science 5025

      Pages: 6-22

    • Peer Reviewed
  • [Journal Article] Supporting Requirements Change Management in Goal Oriented Analysis2008

    • Author(s)
      Daisuke Tanabe, Kohei Uno, Kinji Akemine, Takashi Yoshikawa, Haruhiko Kaiya, Motoshi Saeki
    • Journal Title

      Proc. of 16th IEEE Requirements Engineering Conference

      Pages: 3-12

    • Peer Reviewed
  • [Journal Article] A Supporting Tool for Requirements Elicitation Using a Domain Ontology2008

    • Author(s)
      Motohiro Kitamura, Ryo Hasegawa, Haruhiko Kaiya, Motoshi Saeki
    • Journal Title

      Software and Data Technology CCIS 22

      Pages: 128-140

    • Peer Reviewed
  • [Presentation] モデルチェツカを用いた要求仕様の法令準拠性の検査2008

    • Author(s)
      佐伯元司, 海谷治彦, 服部哲
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      高知工科大学
    • Year and Date
      2008-12-18

URL: 

Published: 2010-06-11   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi