IIOSS におけるUMLモデルの振舞い解析

• Item type: Trans(1)
• 公開日: 2006-05-15
• タイトル: IIOSS におけるUMLモデルの振舞い解析
• タイトル / 言語: en
• タイトル: A Global Behavior Analyzer for UML Models in the IIOSS System
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 株式会社オープンテクノロジーズ 明治大学理工学研究科
• 著者所属: 明治大学理工学研究科
• 著者所属(英): en
• 著者所属(英): Open Technologies Corporation,School of Science and Technology, Meiji University
• 著者所属(英): en
• 著者所属(英): School of Science and Technology, Meiji University
• 著者名: 佐野, 元之; 疋田, 輝雄
• 著者名(英): Motoyuki, Sano; Teruo, Hikita
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: オブジェクト指向ソフトウェア開発において用いられるモデリング図式UML には，図式（ダイヤグラム）の文法チェック機能を備えた多くの編集ツールが開発されている．さらにダイヤグラムの振舞いや意味の正しさを調べるために，形式的仕様の上に行う論理的な自動検証の研究がさかんだが，それには論理的に完全な仕様記述が必要であり，モデル開発つまり設計中途における検証は行いにくい．本論文ではソフトウェア設計の中途においても使用しやすい，ダイヤグラムの振舞いチェックを行うために，以下の5 つの機能からなる方法を提案する．(i) 図式シミュレーションとして，従来のモデルシミュレーションで行われるステートチャートに対してだけではなく4 種類すべての振舞い図で実行可能である．(ii) 他種のダイヤグラムにまたがったコレスポンデンス（対応）機能を提供する．(iii) 同種の複数ダイヤグラムにまたがった，モデル要素間のメッセージ送受信機能を提供する．(iv)モデル要素とJava プログラムの間のメッセージ送受信機能を提供する．(v) ユーザインタラクティブなデバッガ機能を提供する．これらによりユーザは，複数の異なるビューのダイヤグラムを作成しシミュレーションを行うことで，設計途中でモデルの意味的な間違いを見つけることができる．ここで提案する動的な振舞いチェック機能は，オブジェクト指向統合ケースツールIIOSS（Integrated Inter-exchangeable Object-modeling and Simulation System）のモデルデバッグ機能として実現している．このシステム上でこれらの機能を用いて行った大規模な開発経験の評価についても報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Most of UML editors have a capability to check the syntax of models described, but not its semantic behaviors. In order to incorporate semantic checking into UML, we introduce a model simulation mechanism to validate UML models and analyze system specifications. The simulation utilizes information on the models interactively supplied by the modeler. This mechanism has the following five features: (i) The simulator works not only on statecharts which are mostly used to simulate models, but on all four types of behavior diagrams. (ii) A correspondence functionality between model objects in different types of diagrams. (iii) A message passing functionality between model objects. (iv) A functionality that can pass messages between a model object and a Java program during simulation. (v) An interactive debugger that can provide software designers with a functionality to control the way how the simulation ought to proceed. The semantic checking functionalities described in this paper have been realized on the IIOSS (Integrated Inter-exchangeable Object-modeling and Simulation System) project and been enhanced in the IIOSS system as its model debugging facility. The results of evaluation for large or middle-size test software developments are also reported, which confirm that the method described here can be a helpful one in UML tools.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 47, 号 SIG6(PRO29), p. 11-20, 発行日 2006-05-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会