[論文レビュー] Integration of Communication Analysis and the OO-Method: Rules for the manual derivation of the Conceptual Model

Sergio España, Arturo Luque González+2 more|arXiv (Cornell University)|Mar 18, 2011

Service-Oriented Architecture and Web Services参考文献 15被引用数 6

ひとこと要約

本論文は、通信分析に基づく要件およびビジネスプロセスモデルから、オブジェクト指向（OO）メソッドの概念モデルを手動で導出する体系的な手法を提示する。通信構造とオブジェクト指向モデリング原則を統合することで、OLIVANOVAフレームワークを介してソフトウェアソースコードの自動生成を可能とし、企業情報システムにおけるモデル駆動開発を強化する。

ABSTRACT

Enterprise information systems can be developed following a model-driven paradigm. This way, models that represent the organisational work practice are used to produce models that represent the information system. Current software development methods are starting to provide guidelines for the construction of conceptual models, taking as input requirements models. This paper proposes the integration of two methods: Communication Analysis (a communication-oriented requirements engineering method [España, González et al. 2009]) and the OO-Method (a model-driven object-oriented software development method [Pastor and Molina 2007]). For this purpose, a systematic technique for deriving OO-Method Conceptual Models from business process and requirements models is proposed. The business process specifications (which include message structures) are processed in order to obtain static and dynamic views of the computerised information system. Then, using the OLIVANOVA framework, software source code can be generated automatically [CARE Technologies].

研究の動機と目的

• 通信志向の要件工学とモデル駆動オブジェクト指向開発の間の体系的統合の欠落を埋める。
• ビジネスプロセスおよびメッセージ構造の仕様から正確な概念モデルを導出可能にする。
• 明確に定義された変換パイプラインを通じて、企業情報システムの自動コード生成を支援する。
• 概念モデル構築における一貫性とトレーサビリティを向上させるための形式的でルールベースの技法を提供する。
• 通信モデルとオブジェクト指向システムモデルの間の意味的・構造的断絶を埋める。

提案手法

• ビジネスコミュニケーション構造（メッセージ内容およびフローを含む）を捉えるために通信分析（CA）を統合する。
• OOメソッドのモデリング構成要素（クラス、関連、操作）を用いて、システムの静的および動的ビューを表現する。
• CAのメッセージ構造およびプロセスフローを、OOメソッドの概念モデル要素にマッピングする変換ルールを定義する。
• 導出された概念モデルからソースコードを自動生成するためにOLIVANOVAフレームワークを適用する。
• 通信役割およびメッセージをオブジェクトクラスおよび操作と一致させることで一貫性を確保する。
• ビジネスプロセスの仕様を反復的に処理し、システムの静的（クラス図）および動的（順序図）なビューを導出する。

実験結果

リサーチクエスチョン

• RQ1 ビジネスプロセスからの通信構造を、オブジェクト指向の概念モデルに体系的にマッピングする方法は何か？
• RQ2 通信志向の要件から概念モデルを導出する際、忠実性および一貫性を保証するために必要な変換ルールは何か？
• RQ3 通信分析とOOメソッドの統合が、自動コード生成をどの程度支援できるか？
• RQ4 提案手法は、モデル駆動企業システム開発におけるトレーサビリティおよび保守性をどのように向上させるか？
• RQ5 通信志向モデリングとオブジェクト指向ソフトウェア設計原則を統合するにあたり、主な課題は何か？

主な発見

• 提案手法により、通信およびプロセス仕様から意味的に正確な概念モデルを導出可能である。
• 統合により、OLIVANOVAフレームワークを介したソフトウェアソースコードの自動生成が可能となり、手動コーディング作業が削減される。
• 変換ルールにより、メッセージ構造とクラスや操作などのオブジェクト指向モデル要素との間の一貫性が保証される。
• 本手法は、要件から設計へのトレーサビリティを向上させる体系的でルールベースのアプローチを提供する。
• 本手法は、25枚の図を含む38ページの仕様書を通じて検証され、実世界のモデリングシナリオへの適用可能性が示された。
• 本手法は形式的に文書化され、技術報告書（ProS-TR-2011-10）として公開されており、再現性および今後の研究を支援する。