Validation of Collaborative Business Processes using Goals Model

TL;DR

This paper presents a method for validating collaborative business processes by modeling them with BPMN 2.0, extracting requirements via goal modeling, and verifying process paths with Savara.

Contribution

It introduces a comprehensive approach combining BPMN, goal modeling, and Savara for validating collaborative processes against requirements.

Findings

Effective validation of collaborative processes demonstrated

Scenario-based analysis improves requirement coverage

Integration of goal modeling enhances validation accuracy

Abstract

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.