[論文レビュー] UCMExporter: Supporting Scenario Transformations from Use Case Maps

Daniel Amyot, Ali Echihabi+1 more|arXiv (Cornell University)|Dec 11, 2010

Advanced Software Engineering Methodologies参考文献 11被引用数 8

ひとこと要約

UCMExporterは、Use Case Maps（UCM）シナリオを自動的にUMLシーケンス図、Message Sequence Charts（MSC）、TTCN-3テストスケルトンに変換するツールであり、高水準の要件から詳細設計へのスムーズな移行を可能にする。並列パスの処理、メッセージのカスタマイズ、ツール間相互運用性といった課題に、構造的な変換アーキテクチャを用いて対処することで、人的作業を削減し、開発フェーズ全体にわたる一貫性を向上させる。

ABSTRACT

The Use Case Maps (UCM) scenario notation is applicable to many requirements engineering activities. However, other scenario notations, such as Message Sequence Charts (MSC) and UML Sequence Diagrams (SD), have shown to be better suited for detailed design. In order to use the notation that is best appropriate for each phase in an efficient manner, a mechanism has to be devised to automatically transfer the knowledge acquired during the requirements analysis phase (using UCM) to the design phase (using MSC or SD). This paper introduces UCMEXPORTER, a new tool that implements such a mechanism and reduces the gap between high-level requirements and detailed design. UCMEXPORTER automatically transforms individual UCM scenarios to UML Sequence Diagrams, MSC scenarios, and even TTCN-3 test skeletons. We highlight the current capabilities of the tool as well as architectural solutions addressing the main challenges faced during such transformation, including the handling of concurrent scenario paths, the generation of customized messages, and tool interoperability.

研究の動機と目的

• Use Case Maps（UCM）で表現される高水準の要件と、UMLシーケンス図やMessage Sequence Charts（MSC）といった詳細設計表記との間のギャップを縮小すること。
• 要件フェーズで得られたシナリオ知識を、設計およびテストフェーズに自動的に移管し、人的な再作業を最小限に抑えること。
• TTCN-3などの他の形式的表記との相互運用性を支援し、テストケース生成を可能にすること。
• 変換における主な課題、すなわち並列シナリオパス、メッセージのカスタマイズ、ツール統合を解決すること。

提案手法

• ツールは、UCMシナリオ構造をUMLシーケンス図、MSC、TTCN-3の対応する要素にマッピングするモデル変換アーキテクチャを採用している。
• UCMのエージェント、イベント、制御フローを、ターゲット表記におけるメッセージと相互作用に変換するルールベースの変換エンジンを用いている。
• UCMシナリオ内の並列パスは、ターゲット図における別個のライフラインと相互作用断片としてモデル化することで、並列実行フローを効果的にサポートしている。
• メッセージ名とパラメータをUCMイベントの意味論から導出する意味論ルールを用いて、カスタマイズされたメッセージ生成を実現している。
• UCM構造をUMLおよびMSCで一般的に用いられる標準的なモデル化慣習に合わせることで、相互運用性を確保している。
• テキスト形式のTTCN-3テストスケルトンへのエクスポートをサポートしており、形式的テストに直接利用可能である。

実験結果

リサーチクエスチョン

• RQ1 UCMシナリオをどのように体系的にUMLシーケンス図およびMSCに変換すれば、設計フェーズのモデル化を支援できるか？
• RQ2 UCMから詳細な相互作用表記に変換する際、意味的整合性を保つために必要な変換ルールは何か？
• RQ3 UCM内の並列実行パスを、UMLやMSCなどのターゲット表記で正確にモデル化するにはどうすればよいか？
• RQ4 UCMシナリオからTTCN-3の実行可能なテストスケルトンを生成するためのメカニズムは何か？
• RQ5 UCM、UML、MSC、TTCN-3の間で、一貫性と正しさを保ちながらツール相互運用性を実現するにはどうすればよいか？

主な発見

• UCMExporterは、意味的整合性を保ちつつ、個々のUCMシナリオをUMLシーケンス図、MSCシナリオ、TTCN-3テストスケルトンに成功して変換している。
• 並列パスは、ターゲット図における並列ライフラインと相互作用断片にマッピングすることで、効果的にモデル化されている。
• 意味論ルールを用いたカスタマイズされたメッセージ生成により、変換過程でもイベントの意味論が保持されている。
• 変換プロセスにより、UCMと他のモデル化ツールとの間で相互運用性が確保され、既存の開発パイプラインへのシームレスな統合が可能になっている。
• 高水準の要件から詳細な相互作用モデルを自動で導出することで、設計およびテストフェーズにおける人的作業が削減されている。
• このアーキテクチャは、要件および設計工学におけるさまざまなモデル化表記への変換タスクに対して、スケーラビリティと再利用性を示している。