Logo der Universität Wien



Many paradigms for modelling and executing of behaviour models (such as process models or UML behaviour models) are highly prescriptive, which makes them difficult to apply when ad hoc changes are required. An emerging trend in supporting semi-structured and unstructured processes is to shift the focus from a prescriptive paradigm to a non-prescriptive paradigm where business users have a freedom to define what can be done in order to reach a business goal in a declarative manner. Adaptive Case Management (ACM) is a prominent example of a realization of the non-prescriptive paradigm. While a non-prescriptive paradigm provides additional freedom in changing or adapting the processes as they run, it also brings along several challenges. In particular, so far there is no approach to ensure the consistency of the ad hoc changes in particular cases with the required actions and rules that must be performed or checked during the case. As a result, there is a reluctance of enterprises to enable their knowledge workers to perform ad hoc changes in the cases that they work on. CACAO will provide novel support for automated consistency checking and recommendations for ad hoc changes in ACM cases so that knowledge workers are better enabled to perform these changes. An important additional challenge in this context is that knowledge workers are usually not technical or formal methods experts. Hence, CACAO will provide easy-to-understand visual modeling concepts for knowledge workers and map them automatically to technical concepts and the underlying computer science formalisms. CACAO's tools will be tested and evaluated in two case studies and a series of performance and scalability evaluations.


CACAO is funded by the FFG (Die Österreichische Forschungsförderungsgesellschaft), project no. 843461.

Further details
R&D projects, public funding
2014 - 2017
Research Group Software Architecture
Contact us
Faculty of Computer Science
University of Vienna

Währinger Straße 29
A-1090 Vienna