Publikation: Negotiating Temporal Commitments in Cro...
Stammdaten
Titel: | Negotiating Temporal Commitments in Cross-Organizational Business Processes |
Untertitel: | |
Kurzfassung: | 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. |
Schlagworte: | Cross-organizational processes, Temporal parameters, Range negotiation |
Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
Erscheinungsdatum: | 15.09.2020 (Online) |
Erschienen in: |
27th International Symposium on Temporal Representation and Reasoning
27th International Symposium on Temporal Representation and Reasoning
(
E. Munoz- Velasco, A. Ozaki, M. Theobald
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | - |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | - |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 15.09.2020 |
ISBN (e-book): |
|
eISSN: | - |
DOI: | http://dx.doi.org/10.4230/LIPIcs.TIME.2020.4 |
Homepage: | https://drops.dagstuhl.de/opus/volltexte/2020/12972/ |
Open Access |
|
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: |
|
Vorträge: |
|