协同业务过程与需求的建模及一致性验证

自底向上建模方法中的业务过程由不同组织开发，无法在设计阶段就预见其潜在的所有交互可能.因此，在实际协作中，建立协同业务过程可能与参与组织期望的系统功能和特性不一致.为此，提出一种协同业务过程与需求的建模及一致性验证方法.首先，引入并发操作符，提供一种通过组合参与组织的业务过程构建协同业务过程方法；然后，扩展目标模型，提出需求依赖图来建模参与组织的需求；最后，基于模型检测技术提出协同业务过程与需求一致性检测方法.重点解决了将协同业务过程转换为表达能力相同FSP进程规约和参与组织需求转换为LTL公式这两个问题.通过对典型的协同业务过程集阐述提出方法的有效性，并对方法分析效率进行评价，结果表明：相对已有工作，提出方法能够更加有效地用于协同业务过程与需求的一致性分析.

Modeling and Consistency Verification of Collaborative Business Processes and Requirements

Business processes in the bottom-up modeling method that are developed by different organizations and all potential interactions cannot be predicted during the design phase. Thus, the established collaborative business process may be inconsistent with the system functions and features expected by participating organizations in actual collaboration. To this end, we propose an approach for modeling and consistency verification of collaborative business processes and requirements. First, we introduce the concurrency operator that provide a method of combining participating organization'' business processes to construct collaborative business processes; Then we extend the goal model to requirement dependency graph (RDG), which is used to model participating organizations'' requirements; Finally, we propose consistency detection method for collaborative business process and requirement based on model checking technology. We focus on solving the two problems of transforming collaborative business processes into the FSP processes with the same expression ability and converting the participating organizations'' requirements into LTL formulas. Our approach is validated through the modeling and consistency analysis of the typical collaborative business processes, and the analysis efficiency of our approach is also evaluated, the result shows that this approach can be more effective than existing work when is used to consistency analysis between collaborative business processes and requirements.