Evaluation of inter-organizational business process solutions: A conceptual model-based approach
Information Systems Frontiers
Direct Verification of BPMN Processes through an Optimized Unfolding Technique
QSIC '12 Proceedings of the 2012 12th International Conference on Quality Software
Hi-index | 0.00 |
In this paper we propose a collaborative Business Process modeling approach where multiple stakeholders can be coordinate considering global and local views on Business Processes. In the modeling phase we use a standard language such as BPMN 2.0 that provides both local view, via collaboration specification, and global view, via choreography models specification. The approach provides support also for analysis activities aiming at reconciling local and global views to effectively and efficiently derive inter-organizational Business Processes. For the analysis phase we adapted well known verification approaches in order to check behavioral constraints.