参照整合性の検証のためのUML Activity解析方法

• 井上, 拓

• 本位田真一

Bibliographic Information

Other Title

• サンショウ セイゴウセイ ノ ケンショウ ノ タメ ノ UML Activity カイセキ ホウホウ
• UML Activity Analysis for Verifying Referential Integrity

Abstract

情報システムのコンポーネントベース開発において，データコンポーネント間にまたがる参照整合性が定義され，UMLのActivity図で記述されたサービスコンポーネントの振舞いによって実現される．参照整合性を保つためにActivityの検証が必要であるが，多数のActivityの組合せを人手で網羅的に確認することは困難である．本論文では，Activityの静的解析による，参照整合性の自動検証手法を提案する．この手法は，Field-sensitiveなデータフロー解析を行い，データアクセスを行うAction記述の順序を解析する点が特徴である．本手法を用いて，仕様定義段階でActivityの欠陥を検出することが可能になる．これにより，データの一貫性が保たれた安全な情報システムを構築するための足がかりが得られる．

In component-based IS (information systems), the referential integrities across data-components are realized by the behaviors of service-components described in UML activities, and it is a hard task to verify numerous combinations of activities by hand. This paper presents a static analysis method of UML Activities for automated verification of referential integrities, which employs a field-sensitive data-flow analysis and a sequence analysis of actions accessing data. With the method we can detect the defects in activities, which gives us a foothold to construct the consistent IS.

Journal

• 情報処理学会論文誌

  情報処理学会論文誌 54 (2), 774-786, 2013-02-15

  東京 : 情報処理学会

Keywords

• [特集：ソフトウェア工学] コンポーネント，参照整合性，UML Activity，データフロー解析

Details

• CRID: 1050282812879835264
• NII Article ID: 110009537076
• NII Book ID: AN00116647
• ISSN: 18827764
• ISSN: 18827837
• ISSN: 03875806
• NDL BIB ID: 024292437
• Web Site: http://id.nii.ac.jp/1001/00090285/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I024292437
• Text Lang: ja
• Article Type: journal article
• Data Source:
  • IRDB
  • NDL
  • CiNii Articles
  • KAKEN