[論文レビュー] Integration of Communication Analysis and the OO Method: Manual derivation of the Conceptual Model. The SuperStationery Co. lab demo

Sergio España, Arturo Luque González+2 more|arXiv (Cornell University)|Dec 30, 2010

Business Process Modeling and Analysis被引用数 18

ひとこと要約

本論文では、フィクションの中小企業（SuperStationery Co.）がサプライヤー・クライントの仲介モデルを通じて文房具を販売するビジネスプロセスを対象として、通信分析（CA）要件モデルからオブジェクト指向（OO）概念モデルを手動で導出する手法を提示している。CAとOO手法の統合により、通信に基づく要件を構造化された概念モデルに体系的かつ一貫して変換可能であることが示され、OLIVANOVA Modelerを用いたラボデモを通じて、実世界のソフトウェア工学文脈における実現可能性と実用的適用性が検証された。

ABSTRACT

This document presents a lab demo that exemplifies the manual derivation of an OO Method conceptual model, taking as input a Communication Analysis requirements model. In addition, it is described how the conceptual model is created in the OLIVANOVA Modeler tool. The lab demo corresponds to part of the business processes of a fictional small and medium enterprise named SuperStationery Co. This company provides stationery and office material to its clients. The company acts as a as intermediary: the company has a catalogue of products that are bought from suppliers and sold to clients. This lab demo, besides illustrating the derivation technique, demonstrates that the technique is feasible in practice. Also, the results of this lab demo provide a valuable feedback in order to improve the derivation technique.

研究の動機と目的

• ソフトウェア工学における通信ベースの要件モデリングとオブジェクト指向分析の間のギャップを埋めること。
• 通信分析モデルからオブジェクト指向概念モデルへの、実現可能で手動による導出プロセスを示すこと。
• 中小企業（SuperStationery Co.）の実世界の事例研究を通じて、統合手法の検証を行うこと。
• 実証的なラボデモンストレーションを通じて、導出手法の改善に役立つ実用的フィードバックを提供すること。
• 導出された概念モデルの実装を支援するツール支援モデリングを支援すること、特にOLIVANOVA Modelerがそのモデルをどのように実装できるかを示すこと。

提案手法

• 本手法は、SuperStationery Co.のビジネスプロセスにおけるステークホルダー間の対話と情報交換を捉える通信分析（CA）モデルの作成から始まる。
• 主要な通信イベントと役割を分析し、コアとなるエンティティ、属性、関係を特定する。
• これらの要素を、確立されたオブジェクト指向モデリング原則に従って、体系的にオブジェクト指向概念モデルにマッピングする。
• 変換プロセスでは、CAモデルと得られたOOモデルの間での一貫性、完全性、意味的整合性を重視する。
• 概念モデルは、検証およびツールフィードバックの目的で、OLIVANOVA Modelerツールを用いて実装および可視化される。
• 全プロセスは100ページにわたり、82枚の図を含む形で文書化され、統合プロセスの各ステップが明確に示されている。

実験結果

リサーチクエスチョン

• RQ1 通信分析要件モデルを、形式的なオブジェクト指向概念モデルに体系的に変換することは可能か？
• RQ2 CAとOOモデリングの統合において、意味的整合性を保証するための主要な変換ルールと原則は何か？
• RQ3 SuperStationery Co.のような実世界の中小企業環境において、手動による導出プロセスはどの程度実現可能か？
• RQ4 統合プロセスで生じる実用的課題は何か、そしてそれらはどのように解決できるか？
• RQ5 OLIVANOVA Modelerは、導出された概念モデルの実装をどの程度サポートできるか？

主な発見

• 通信分析（CA）とオブジェクト指向（OO）手法の統合により、通信ベースの要件から構造的かつトレーサブルな概念モデルの導出が可能である。
• 100ページにわたる包括的なラボデモンストレーションと82枚の図を用いた実証により、手動による導出プロセスが実現可能で実用的であることが示された。
• CAモデルからOO概念モデルへの変換プロセスは意味的整合性を維持しており、SuperStationery Co.の業務における本質的なビジネスロジックを的確に捉えている。
• OLIVANOVA Modelerは、導出された概念モデルの実装および可視化を成功裏にサポートしており、ツールとの互換性が検証された。
• ラボデモンストレーションは、仲介ビジネスロールや製品カタログ管理の処理において、導出手法の改善に役立つ具体的なフィードバックを提供している。
• 本アプローチは、仲介ビジネスモデルを採用する中小企業にとって有効であり、要件から設計への変換を繰り返し可能にする手法を提供している。