システム検証の科学技術　　コラボレーションに基づくオブジェクト指向モデルの検証

• 矢竹 健朗

  北陸先端科学技術大学院大学

• 青木 利晃

  北陸先端科学技術大学院大学 さきがけ研究21

• 片山 卓也

  北陸先端科学技術大学院大学

書誌事項

タイトル別名

• Collaboration-based verification of Object-Oriented Models
• コラボレーションに基づくオブジェクト指向モデルの検証
• コラボレーション ニ モトヅク オブジェクト シコウ モデル ノ ケンショウ

抄録

これまで多くのオブジェクト指向モデルの検証法が提案されているが，その多くは状態遷移図に基づくものである．これらの手法の問題点として，複数のオブジェクトにまたがる性質の検証が困難であることが挙げられる．これは，複数の状態遷移図の合成による状態爆発が原因である．我々は，そのような性質をコラボレーションの視点から検証する方法を提案する．コラボレーションは，クラス構造に横断する概念であり，オブジェクト間の相互作用を直接捉えることが可能な側面である．我々は，検証の土台として，オブジェクト指向理論を定理証明システムHOLに定義した．本論文では，理論の定義とHOLへの実装法，及び，その理論を用いた検証例を述べる．

収録刊行物

• コンピュータ ソフトウェア

  コンピュータ ソフトウェア 22 (1), 58-76, 2005

  日本ソフトウェア科学会

詳細情報

• CRID: 1390001204737865984
• NII論文ID: 110003744165
• NII論文ID: 10031116845
• NII書誌ID: AN10075819
• DOI: 10.11309/jssst.22.1_58
• NDL書誌ID: 7235953
• ISSN: 02896540
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I7235953
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles
  • KAKEN
• 抄録ライセンスフラグ: 使用不可