UML設計モデル検査技術のための検証パターンの提案

• Item type: SIG Technical Reports(1)
• 公開日: 2006-05-17
• タイトル: UML設計モデル検査技術のための検証パターンの提案
• タイトル / 言語: en
• タイトル: Verification pattern for UML design utilizing model checking techniques
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 北陸先端科学技術大学院大学
• 著者所属: 北陸先端科学技術大学院大学
• 著者所属(英): en
• 著者所属(英): Japan Advanced Inttitute of Science and Technology
• 著者所属(英): en
• 著者所属(英): Japan Advanced Inttitute of Science and Technology
• 著者名: 金井, 勇人; 岸, 知二
• 著者名(英): Hayato, KANAI; Tomoji, KISHI
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿ではモデル検査技術を用いたUML設計検証のための検証パターンの提案をする。UML設計検証においては、仕様記述と論理的な記述が必要だが、論理的記述は仕様記述に依存して記述される。また、ソフトウェアの構造によって確認したい典型的な性質があり、またその確認方法にはいくつかの定石がある。そこで本稿では、ソフトウェア構造と性質とを合わせて体系づけたパターンを提案する。また、提案されたパターンを用いて設計検証を行った事例をあわせて紹介する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we propose verification pattern for UML design verificstion utilizing model checking techniques. In verifying UML model, we have to develop target model and define properties depending on the target model. Furthermore, typical software structures have their own listing of important properties. Hence, it is useful to define verification patterns as a set of software structures, their important properties, and verification techniques. We introduce verification pattern based on the idea, and demonstrate its usefulness based on a case study.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 2006, 号 48(2006-SE-152), p. 17-24, 発行日 2006-05-17
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会