[論文レビュー] Mapping Business Process Modeling constructs to Behavior Driven Development Ubiquitous Language

Rogério Atem de Carvalho, Fernando Luis de Carvalho e Silva+1 more|arXiv (Cornell University)|Jun 25, 2010

Business Process Modeling and Analysis参考文献 6被引用数 12

ひとこと要約

本稿では、業務プロセスモデリング（BPM）の構成要素（たとえば、アクティビティ、ゲートウェイ、イベントなど）と、行動駆動開発（BDD）のユビキタス言語要素（たとえば、シナリオ、機能、受容基準など）との間の体系的対応付けを提案する。BPM表記をBDDの自然言語で記述され、テスト可能な要件仕様と一致させることで、ビジネスプロセスから自動テストへのエンドツーエンドのトレーサビリティを可能にし、企業向けソフトウェア開発における協働作業を促進し、要件のギャップを低減する。

ABSTRACT

Behavior-Driven Development (BDD) is a specification technique that automatically certifies that all functional requirements are treated properly by source code, through the connection of the textual description of these requirements to automated tests. Given that in some areas, in special Enterprise Information Systems, requirements are identified by Business Process Modeling - which uses graphical notations of the underlying business processes, this paper aims to provide a mapping from the basic constructs that form the most common BPM languages to Behavior Driven Development constructs.

研究の動機と目的

• ビジネスプロセスモデルと実行可能なソフトウェア要件仕様の間の意味的ギャップを埋めること。
• BPM表記をBDDのユビキタス言語と一致させることで、ビジネス関係者と開発者間の協働を向上させること。
• BPM構成要素をBDDを通じて実行可能なテストにリンクさせることで、機能要件の自動検証を可能にすること。
• 企業情報システムにおける要件の誤解や実装ギャップを低減すること。

提案手法

• BPMNを含む広く使われているBPM言語のコア構成要素（アクティビティ、ゲートウェイ、イベント、フローなど）を特定する。
• 各BPM構成要素を、シナリオ、機能、受容基準などの同等のBDD要素にマッピングする。
• BPMモデルからの自然言語記述を、BDD仕様テンプレートの入力として使用する。
• 変換ルールを適用して、グラフィカルなBPMモデルを実行可能なBDD仕様に変換する。
• 実際の企業プロセスを対象とした事例研究を通じて、マッピングの妥当性を検証する。
• BPMからBDDへの翻訳中に意味的意味を保持することで、整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般的な業務プロセスモデリング構成要素を、行動駆動開発のユビキタス言語要素にどのように意味的にマッピングできるか。
• RQ2 提案されたマッピングが、ビジネスプロセスとソフトウェア要件の間のトレーサビリティをどの程度向上させるか。
• RQ3 得られたBDD仕様は、自動的に実行可能であり、機能の正しさを検証できるか。
• RQ4 このマッピングは、企業システムにおけるビジネスアナリストと開発者間の協働をどのように支援するか。

主な発見

• シーケンスフローと意思決定ゲートウェイなどの主要なBPM構成要素が、明確な事前条件と結果を備えた対応するBDDシナリオに成功して変換された。
• 本手法により、BPMN図から実行可能なテストケースを自動生成でき、手動でのテスト仕様作成作業が削減された。
• BPMとBDDの間の意味的整合性が、要件コミュニケーションの明確さを高め、曖昧さを低減した。
• 事例研究では、BPMNで表現されたビジネスプロセスモデルが、高い忠実度でBDD仕様に体系的に変換可能であることが示された。
• 変換プロセスでは、元のプロセスモデルの論理的フローと意思決定論理が、結果となるBDDシナリオに保持された。
• 本手法により、ビジネスプロセスから自動テストへのエンドツーエンドのトレーサビリティが実現され、ソフトウェアの品質と保守性が向上した。