License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TIME.2020.4
URN: urn:nbn:de:0030-drops-129729
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2020/12972/
Franceschetti, Marco ;
Eder, Johann
Negotiating Temporal Commitments in Cross-Organizational Business Processes
Abstract
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.
BibTeX - Entry
@InProceedings{franceschetti_et_al:LIPIcs:2020:12972,
author = {Marco Franceschetti and Johann Eder},
title = {{Negotiating Temporal Commitments in Cross-Organizational Business Processes}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {4:1--4:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Emilio Mu{\~n}oz-Velasco and Ana Ozaki and Martin Theobald},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2020/12972},
URN = {urn:nbn:de:0030-drops-129729},
doi = {10.4230/LIPIcs.TIME.2020.4},
annote = {Keywords: Cross-organizational processes, Temporal parameters, Range negotiation}
}
Keywords: |
|
Cross-organizational processes, Temporal parameters, Range negotiation |
Collection: |
|
27th International Symposium on Temporal Representation and Reasoning (TIME 2020) |
Issue Date: |
|
2020 |
Date of publication: |
|
15.09.2020 |