Ultra-flexible process support is crucial and challenging in Process-Aware Information Systems (PAIS) design and development. For example, mass customization requires that a customized process instance is created and executed for each product. Hence, a plethora of diverse instances might exist. As instances share human, computer, and physical resources, challenges such as synchronization, batching, queuing, and enforcement of security requirements arise. Instance-spanning constraints (ISC) shall define and enforce restrictions and conditions that must hold across several instances of one or several process (versions), even for ad hoc instances that evolve during runtime. ISC have a life cycle, i.e., are defined, implemented, enacted, and monitored. A hard problem is adaptation of ISC and processes forced by environmental changes. Changes to ISC may result in adaptations of the processes and vice versa. Moreover, the visualization of ISC, ISC violation, ISC change and change effects becomes indispensable for adequate user support. There is no comprehensive support for the ISC life cycle. Approaches for ISC change and visualization are entirely missing. CRISP aims at filling these gaps by providing solutions to the following questions:
- How to define, enact, and monitor ISC for instances of different process (versions)? For ad hoc instances?
- How to effectively control the effects of changes to ISC and instances?
- How to model and visualize ISC in a user-friendly way?