C³Pro - Enabling Change and Compliance for Collaborative Processes
Project Description
Improving the efficiency and quality of their business processes by automating them and optimizing their interactions with partners and customers have become significant success factors for any enterprise. In connection with Web service technology, the benefits of business process automation and optimization from within a single enterprise can be transferred to collaborative (i.e., cross-organizational) business processes as well.
The next step in this evolution will be the emergence of the agile enterprise being able to rapidly implement new processes and to quickly adapt existing ones to environmental changes. While flexibility issues for internal business processes and their implementation (i.e., process and service orchestrations) are well understood, the controlled change of interactions between IT-supported partner processes in a collaborative setting (i.e., process choreographies) has not been adequately addressed so far. If one partner changes its process in an uncontrolled manner, inconsistencies or errors (e.g., deadlocks) regarding these interactions might occur. This is particularly challenging if there exist running instances (i.e., cases) of these process choreographies. As a consequence, adaptations of collaborative business processes turn out to be costly and error-prone. Hence correct behavior of the collaborative processes and state consistency of corresponding process instances have to be ensured.
Additionally, compliance of the changed processes and partner interactions with imposed regulations and laws need to be guaranteed. Business process compliance has been addressed by many approaches that mostly deal with the verification of compliance rules imposed on internal business processes. Compliance of collaborative business processes, however, has not been investigated in connection with process changes or with respect to privacy constraints of partner processes.

In the C3Pro project we will analyze flexibility and adaptivity of collaborative business processes at both design time and runtime. Here, consistency and correctness will be of central interest as well as the provision of change propagation methods to business partners without violating autonomy, security, and trust constraints. Second, we will elaborate on the topic of how to model, integrate, and verify compliance rules imposed on collaborative business processes. Third, we will integrate the results on flexibility and compliance of collaborative business process settings into a comprehensive approach that enables us to control the effects of changes on the compliance of the affected collaborative scenarios.
Project Details

Project Team
Ulm University | |
![]() | ![]() Ulm University, Institute of Databases and Information Systems |
University of Vienna | |
![]() | ![]() University of Vienna, Research Group Workflow Systems and Technology |
![]() | ![]() University of Vienna, Research Group Workflow Systems and Technology |
Project Partners
Ulm University, Institute of Databases and Information Systems
University of Vienna, Workflow Systems and Technology Group
Duration
November 2011 - October 2014
Additional Information
Publications
2020
Fdhila, Walid and Rinderle-Ma, Stefanie and Knuplesch, David and Reichert, Manfred (2020) Decomposition-based Verification of Global Compliance in Process Choreographies. In: 24th Int'l Enterprise Distributed Object Computing Conference (EDOC 2020), Eindhoven, The Netherlands, 5 - 8 October 2020, IEEE Computer Society Press. (Accepted for Publication) | ![]() |
2019
Knuplesch, David (2019) Enabling Multi-Perspective Business Process Compliance. Phd thesis, Ulm University. | ![]() |
2017
Knuplesch, David and Reichert, Manfred (2017) A Visual Language for Modeling Business Process Compliance Rules. Software & Systems Modeling, Springer, Vol. 16, pp. 715-736. | ![]() |
Knuplesch, David and Reichert, Manfred and Kumar, Akhil (2017) A framework for visually monitoring business process compliance. Information Systems, Elsevier, Vol. 64, pp. 381-409. |
Knuplesch, David and Reichert, Manfred and Kumar, Akhil (2017) A Framework for Visually Monitoring Business Process Compliance (Extended Abstract). In: 8th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA 2017), Essen, Germany, June 12-13, 2017. | ![]() |
2016
Gong, Ping and Knuplesch, David and Reichert, Manfred (2016) Rule-based Monitoring Framework for Business Process Compliance. Technical Report UIB-2016-3, Ulm University. | ![]() |
Knuplesch, David and Reichert, Manfred (2016) A Visual Language for Modeling Multiple Perspectives of Business Process Compliance Rules (Extended Abstract). In: 7th International Workshop on Enterprise Modeling and Information Systems Architectures, EMISA 2016, Vienna, CEUR Workshop Proceedings 1701, CEUR-WS. | ![]() |
Nguyen, Dac Mai Trang and Knuplesch, David (2016) Projekt-Bericht: eCRG Evaluation. Technical Report Institute of Databases and Information Systems. | ![]() |
2015
Cabanillas, Cristina and Knuplesch, David and Resinas, Manuel and Reichert, Manfred and Mendling, Jan and Ruiz-Cortes, Antonio (2015) RALph: A Graphical Notation for Resource Assignments in Business Processes. In: 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), Stockholm, Sweden, 8-12 June 2015, LNCS 9097, Springer, pp. 53-68. | ![]() |
Fdhila, Walid and Indiono, Conrad and Rinderle-Ma, Stefanie and Reichert, Manfred (2015) Dealing with change in process choreographies: Design and implementation of propagation algorithms. Information Systems, Elsevier, Vol. 49, pp. 1-24. | ![]() |
Fdhila, Walid and Rinderle-Ma, Stefanie and Knuplesch, David and Reichert, Manfred (2015) Change and Compliance in Collaborative Processes. In: 12th IEEE International Conference on Services Computing (SCC 2015), New York, USA, June 27 - July 2, 2015, IEEE Computer Society Press, pp. 162-169. | ![]() |
Knuplesch, David and Reichert, Manfred and Kumar, Akhil (2015) Towards Visually Monitoring Multiple Perspectives of Business Process Compliance. In: CAiSE Forum 2015, Stockholm, Sweden, 10 June 2015, CEUR Workshop Proceedings 1367, ceur-ws.org, pp. 41-48. | ![]() |
Knuplesch, David and Fdhila, Walid and Reichert, Manfred and Rinderle-Ma, Stefanie (2015) Detecting the Effects of Changes on the Compliance of Cross-organizational Business Processes. In: 34th International Conference on Conceptual Modeling (ER 2015), Stockholm, Sweden, 19-22 October 2015, LNCS 9381, Springer, pp. 94-107. | ![]() |
Knuplesch, David and Reichert, Manfred and Kumar, Akhil (2015) Visually Monitoring Multiple Perspectives of Business Process Compliance. In: 13th Int'l Conference on Business Process Management (BPM 2015), Innsbruck, Austria, 1-3 September 2015, LNCS 9253, Springer, pp. 263-279. | ![]() |
2014
Knuplesch, David and Reichert, Manfred (2014) An Operational Semantics for the Extended Compliance Rule Graph Language. Technical Report UIB-2014-6, Ulm University. | ![]() |
Semmelrodt, Franziska and Knuplesch, David and Reichert, Manfred (2014) Modeling the Resource Perspective of Business Process Compliance Rules with the Extended Compliance Rule Graph. In: 15th Int Working Conference on Business Process Modeling, Development, and Support (BPMDS 2014), Thessaloniki, Greece, 16-17 June 2014, LNBIP 175, Springer, pp. 48-63. | ![]() |
2013
Catalkaya, Semra and Knuplesch, David and Chiao, Carolina Ming and Reichert, Manfred (2013) Enriching Business Process Models with Decision Rules. In: BPM 2013 International Workshops, Int'l Workshop on Decision Mining & Modeling for Business Processes (DeMiMoP13), Beijing, China, August 26, 2013, LNBIP 171, Springer, pp. 198-211. | ![]() |
Knuplesch, David and Reichert, Manfred and Fdhila, Walid and Rinderle-Ma, Stefanie (2013) On Enabling Compliance of Cross-Organizational Business Processes. In: 11th Int'l Conference Business Process Management (BPM'13), Beijing, China, August 26-30, 2013, LNCS 8094, Springer, pp. 146-154. | ![]() |
Knuplesch, David and Reichert, Manfred and Ly, Linh Thao and Kumar, Akhil and Rinderle-Ma, Stefanie (2013) Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives. In: 32nd Int'l Conference on Conceptual Modeling (ER 2013), Hong Kong, November 11-13, 2013, LNCS 8217, Springer, pp. 106-120. | ![]() |
Knuplesch, David and Reichert, Manfred and Pryss, Rüdiger and Fdhila, Walid and Rinderle-Ma, Stefanie (2013) Ensuring Compliance of Distributed and Collaborative Workflows. In: 9th IEEE Int'l Conference on Collaborative Computing: Networking, Applications and Worksharing (CollborateCom'13), Austin, Texas, United States, October 2023, 2013, IEEE Computer Society Press, pp. 133-142. | ![]() |
Knuplesch, David and Reichert, Manfred and Ly, Linh Thao and Kumar, Akhil and Rinderle-Ma, Stefanie (2013) On the Formal Semantics of the Extended Compliance Rule Graph. Technical Report UIB-2013 - 05, Ulm University. | ![]() |
Reichert, Manfred (2013) Collaboration and Interoperability Support for Agile Enterprises in a Networked World: Emerging Scenarios, Research Challenges, Enabling Technologies. In: Int'l IFIP Working Conference on Enterprise Interoperability (IWEI'13), Keynote, Enschede, The Netherlands, March 2013, LNBIP 144, Springer, pp. 4-5. | ![]() |
2012
Fdhila, Walid and Rinderle-Ma, Stefanie and Reichert, Manfred (2012) Change Propagation in Collaborative Processes Scenarios. In: 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom'12), Pittsburgh, Pennsylvania, United States, October 2012, IEEE Computer Society Press, pp. 452-461. | ![]() |
Knuplesch, David and Reichert, Manfred and Mangler, Jürgen and Rinderle-Ma, Stefanie and Fdhila, Walid (2012) Towards Compliance of Cross-Organizational Processes and their Changes. In: 1st Int Workshop on Security in Business Processes (SBP12), BPM'12 Workshops, Tallinn, Estonia, 2 September 2012, LNBIP 132, Springer, pp. 649-661. | ![]() |
Knuplesch, David and Pryss, Rüdiger and Reichert, Manfred (2012) A Formal Framework for Data-Aware Process Interaction Models. Technical Report UIB-2012-06, University of Ulm. | ![]() |
Knuplesch, David and Pryss, Rüdiger and Reichert, Manfred (2012) Data-Aware Interaction in Distributed and Collaborative Workflows: Modeling, Semantics, Correctness. In: 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom'12), Pittsburgh, Pennsylvania, United States, October 1417, 2012, IEEE Computer Society Press, pp. 223-232. | ![]() |
Master & Bachelor Theses
2016
Herfort, Raphael (2016) Entwicklung eines generischen Ansatzes zur visuellen Spezifikation der operationalen Semantik graphischer Modellierungssprachen. Master thesis, Ulm University. | ![]() |
2014
Beck, Hannes (2014) Automatisierte Überwachung von Business Process Compliance Regeln mit Daten-, Zeit-, Ressourcen- und Interaktions-Aspekten. Master thesis, University of Ulm. | ![]() |
2013
Herfort, Raphael (2013) Implementierung einer generischen und web-basierten Entwicklungsumgebung von Prozessmodellen. Bachelor thesis, University of Ulm. | ![]() |
Semmelrodt, Franziska (2013) Modellierung klinischer Prozesse und Compliance Regeln mittels BPMN 2.0 und eCRG. Master thesis, University of Ulm. | ![]() |
2012
Catalkaya, Semra (2012) Entscheidungstechniken in blockstrukturierten Prozessmodellen. Diploma thesis, University of Ulm. | ![]() |