Negotiating Temporal Commitments in Cross-Organizational Business Processes

Authors Marco Franceschetti , Johann Eder

Thumbnail PDF


  • Filesize: 4.33 MB
  • 15 pages

Document Identifiers

Author Details

Marco Franceschetti
  • Department of Informatics Systems, Universität Klagenfurt, Austria
Johann Eder
  • Department of Informatics Systems, Universität Klagenfurt, Austria

Cite AsGet BibTex

Marco Franceschetti and Johann Eder. Negotiating Temporal Commitments in Cross-Organizational Business Processes. In 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 178, pp. 4:1-4:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)


Cross-organizational business processes emerge from the cooperation of intra-organizational business processes through exchange of messages. The involved parties agree on communication protocols, which contain in particular temporal constraints: as obligations on one hand, and as guarantees on the other hand. These constraints form also requirements for the design of the hidden implementation of the processes and are the basis for control decisions for each party. We present a comprehensive methodology for modeling the temporal aspects of cross-organizational business processes, checking dynamic controllability of such processes, and supporting the negotiation of temporal commitments. We do so by computing the consequences of temporal constraints in choreographies, and by computing the weakest preconditions for the dynamic controllability of a participating process.

Subject Classification

ACM Subject Classification
  • Applied computing → Cross-organizational business processes
  • Cross-organizational processes
  • Temporal parameters
  • Range negotiation


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Claudio Bettini, X.Sean Wang, and Sushil Jajodia. Temporal reasoning in workflow systems. Distributed and Parallel Databases, 11(3):269-306, 2002. Google Scholar
  2. Lubos Brim, Ivana Černá, and Lukás Hejtmánek. Distributed negative cycle detection algorithms. In Advances in Parallel Computing, volume 13, pages 297-304. Elsevier, 2004. Google Scholar
  3. Massimo Cairo and Romeo Rizzi. Dynamic controllability of simple temporal networks with uncertainty: Simple rules and fast real-time execution. Theor. Comput. Sci., 797:2-16, 2019. URL:
  4. Jorge Cardoso, Amit Sheth, John Miller, Jonathan Arnold, and Krys Kochut. Quality of service for workflows and web service processes. J of Web Semantics, 1(3):281-308, 2004. Google Scholar
  5. Giuseppe Castagna. Covariance and contravariance: conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3):431-447, 1995. Google Scholar
  6. Issam Chebbi, Schahram Dustdar, and Samir Tata. The view-based approach to dynamic inter-organizational workflow cooperation. Data & Knowledge Engineering, 56(2):139-173, 2006. Google Scholar
  7. Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, and Mohamed Jmaiel. The temporal perspective in business process modeling: a survey and research challenges. Service Oriented Computing and Applications, 9(1):75-85, 2015. Google Scholar
  8. Carlo Combi and Mauro Gambini. Flaws in the flow: The weakness of unstructured business process modeling languages dealing with data. In OTM Confederated International Conferences, pages 42-59. Springer, 2009. Google Scholar
  9. Carlo Combi and Giuseppe Pozzi. Temporal conceptual modelling of workflows. In Conceptual Modeling-ER 2003, pages 59-76. Springer Berlin Heidelberg, 2003. Google Scholar
  10. Rina Dechter, Itay Meiri, and Judea Pearl. Temporal constraint networks. Artificial intelligence, 49(1-3):61-95, 1991. Google Scholar
  11. Johann Eder, Marco Franceschetti, and Julius Köpke. Controllability of business processes with temporal variables. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, pages 40-47. ACM, 2019. Google Scholar
  12. Johann Eder, Marco Franceschetti, Julius Köpke, and Anja Oberrauner. Expressiveness of temporal constraints for process models. In International Conference on Conceptual Modeling, pages 119-133. Springer, 2018. Google Scholar
  13. Johann Eder, Nico Kerschbaumer, Julius Köpke, Horst Pichler, and Amirreza Tahamtan. View-based interorganizational workflows. In Proceedings of the 12th International Conference on Computer Systems and Technologies, pages 1-10. ACM, 2011. Google Scholar
  14. Johann Eder, Euthimios Panagos, and Michael Rabinovich. Workflow time management revisited. In Seminal Contributions to Information Systems Engineering, pages 207-213. Springer Berlin Heidelberg, 2013. Google Scholar
  15. Marco Franceschetti and Johann Eder. Checking temporal service level agreements for web service compositions with temporal parameters. In 2019 IEEE International Conference on Web Services (ICWS), pages 443-445. IEEE, 2019. Google Scholar
  16. Marco Franceschetti and Johann Eder. Designing decentralized business processes with temporal constraints. In CAiSE Forum (forthcoming), 2020. Google Scholar
  17. Paul Grefen and Yigal Hoffner. Crossflow-cross-organizational workflow support for virtual organizations. In Proceedings 9th Int. Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises., pages 90-91. IEEE, 1999. Google Scholar
  18. Nawal Guermouche and Claude Godart. Timed model checking based approach for web services analysis. In ICWS 2009., pages 213-221. IEEE, 2009. Google Scholar
  19. Mustafa Hashmi, Guido Governatori, Ho-Pun Lam, and Moe Thandar Wynn. Are we done with business process compliance: state of the art and challenges ahead. Knowledge and Information Systems, pages 1-55, 2018. Google Scholar
  20. Julius Köpke, Marco Franceschetti, and Johann Eder. Optimizing data-flow implementations for inter-organizational processes. Distributed and Parallel Databases, pages 1-45, 2018. Google Scholar
  21. Andreas Lanz, Roberto Posenato, Carlo Combi, and Manfred Reichert. Controlling time-awareness in modularized processes. In Enterprise, Business-Process and Information Systems Modeling, pages 157-172. Springer, 2016. Google Scholar
  22. Linh Thao Ly, Fabrizio Maria Maggi, Marco Montali, Stefanie Rinderle-Ma, and Wil M.P. van der Aalst. Compliance monitoring in business processes: Functionalities, application, and tool-support. Information systems, 54:209-234, 2015. Google Scholar
  23. Sihem Mallek, Nicolas Daclin, Vincent Chapurlat, and Bruno Vallespir. Enabling model checking for collaborative process analysis: from bpmn to `network of timed automata'. Enterprise Information Systems, 9(3):279-299, 2015. Google Scholar
  24. Olivera Marjanovic and Maria E. Orlowska. On modeling and verification of temporal constraints in production workflows. Knowledge and Information Systems, 1(2):157-192, 1999. Google Scholar
  25. Paul Morris. A structural characterization of temporal dynamic controllability. In International Conference on Principles and Practice of Constraint Programming, pages 375-389. Springer, 2006. Google Scholar
  26. Paul H Morris and Nicola Muscettola. Temporal dynamic controllability revisited. In AAAI, pages 1193-1198, 2005. Google Scholar
  27. Gabriele Oliva, Roberto Setola, Luigi Glielmo, and Christoforos N Hadjicostis. Distributed cycle detection and removal. IEEE Trans. on Control of Network Systems, 5(1):194-204, 2016. Google Scholar
  28. Irfan Ul Haq, Altaf Huqqani, and Erich Schikuta. Aggregating hierarchical service level agreements in business value networks. In International Conference on Business Process Management, pages 176-192. Springer, 2009. Google Scholar
  29. Wil M.P. van der Aalst, M.Helen Schonenberg, and Minseok Song. Time prediction based on process mining. Information Systems, 36(2):450-475, 2011. Google Scholar
  30. Wil MP van der Aalst and Mathias Weske. The p2p approach to interorganizational workflows. In International Conference on Advanced Information Systems Engineering, pages 140-156. Springer, 2001. Google Scholar
  31. Thierry Vidal. Handling contingency in temporal constraint networks: from consistency to controllabilities. Journal of Experimental & Theoretical Artificial Intelligence, 11(1):23-45, 1999. Google Scholar
  32. Matteo Zavatteri and Luca Viganò. Conditional simple temporal networks with uncertainty and decisions. Theoretical Computer Science, 797:77-101, 2019. Google Scholar
  33. Michael Zur Muehlen and Jan Recker. How much language is enough? theoretical and practical use of the business process modeling notation. In Seminal Contributions to Information Systems Engineering, pages 429-443. Springer, 2013. Google Scholar
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail