2026-07-20T05:08:28Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:12972 2024-03-06T10:51:28Z ddc:004 open_access

Negotiating Temporal Commitments in Cross-Organizational Business Processes Franceschetti, Marco Eder, Johann Cross-organizational processes Temporal parameters Range negotiation 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Marco Franceschetti and Johann Eder 2020 Is Part Of LIPIcs, Volume 178, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.TIME.2020.4 urn:nbn:de:0030-drops-129729 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.4 eng https://creativecommons.org/licenses/by/3.0/legalcode