Determining temporal agreements in cross-organizational business processes
From MaRDI portal
Publication:2051815
DOI10.1016/J.IC.2021.104792OpenAlexW3200769751MaRDI QIDQ2051815FDOQ2051815
Authors: Marco Franceschetti, Johann Eder 
Publication date: 25 November 2021
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2021.104792
Recommendations
- From generating process views over inter-organizational business processes to achieving their temporal consistency
- Semantics and controllability of time-aware business processes
- Contracts for cross-organizational workflows as timed dynamic condition response graphs
- Business process verification with constraint temporal answer set programming
- Verification of time-aware business processes using constrained Horn clauses
Cites Work
- Temporal constraint networks
- Handling contingency in temporal constraint networks: from consistency to controllabilities
- Conditional simple temporal networks with uncertainty and decisions
- Title not available (Why is that?)
- Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty
- Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution
- Title not available (Why is that?)
Cited In (4)
- Semantics and controllability of time-aware business processes
- From generating process views over inter-organizational business processes to achieving their temporal consistency
- Dynamic controllability of temporal networks with instantaneous reaction
- Contracts for cross-organizational workflows as timed dynamic condition response graphs
This page was built for publication: Determining temporal agreements in cross-organizational business processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2051815)
