[论文解读] 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的可执行测试链接，实现功能需求的自动验证。
• 减少企业信息系统中需求误解与实现差距。

提出的方法

• 识别广泛使用的BPM语言（如BPMN）中的核心构件，包括活动、网关、事件和流程。
• 将每个BPM构件映射到相应的BDD元素，如场景、特性及验收标准。
• 使用BPM模型中的自然语言描述作为BDD规格模板的输入。
• 应用转换规则，将图形化BPM模型转换为可执行的BDD规格。
• 通过一个涉及真实企业流程的案例研究验证该映射。
• 通过在从BPM到BDD的转换过程中保持语义一致性，确保对齐。

实验结果

研究问题

• RQ1 如何将常见的业务流程建模构件语义地映射到行为驱动开发通用语言元素？
• RQ2 所提出的映射在多大程度上改善了业务流程与软件需求之间的可追溯性？
• RQ3 生成的BDD规格是否可以自动执行以验证功能正确性？
• RQ4 该映射如何支持企业系统中业务分析师与开发人员之间的协作？

主要发现

• 该映射成功地将关键BPM构件（如顺序流和决策网关）转换为具有明确前置条件和结果的相应BDD场景。
• 该方法能够从BPMN图自动生成功能测试用例，从而减少手动编写测试规格的工作量。
• BPM与BDD之间的语义对齐提高了需求沟通的清晰度，减少了歧义。
• 案例研究表明，使用BPMN表达的业务流程模型可以系统性地转换为高保真度的BDD规格。
• 转换过程在生成的BDD场景中保留了原始流程模型的逻辑流程与决策逻辑。
• 该方法支持从业务流程到自动化测试的端到端可追溯性，从而提升了软件质量和可维护性。