Vienna University of Technology
In order to address the issue of complexity and changeability of business processes, as well as of the information technology used to implement these processes, business process models are used. Validating the functional correctness of such models is essential. Many approaches exist, that deal with validating the functional correctness of business process models in an intra-organizational context (i.e., the process is controlled and maintained by one business entity). However, today, business processes are usually carried out by several business partners, each providing its own services to accomplish more complex inter-organizational business processes.