HawkEye: a tool for collaborative business process modelling and verification

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.