基于目标模型的协同业务流程验证
Validation of Collaborative Business Processes using Goals Model
摘要：
过程模型的有效性验证是协同过程领域的重要问题之一。本文采用BPMN2.0标准的交互视图对协同过程进行建模。然后，需求提取的目标建模技术。每个需求的不同场景显示了系统的可能路径。利用顺序图对这些路径进行建模，并利用Savara工具根据相应的需求对协同过程进行验证。
英文摘要：
Validating process model against corresponding requirements is one of the most important problems in domain of collaborative processes. In this paper collaborative processes are modeled using the interaction view of BPMN 2.0 standard. Then, requirements are extracted with a goal modeling technique. Different scenarios of each requirement show possible paths for the system. These paths are modeled by sequence diagram and collaborative processes are validated according to the corresponding requirements using Savara tool.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
