Determining temporal agreements in cross-organizational business processes
From MaRDI portal
Publication:2051815
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
- scientific article; zbMATH DE number 1708020 (Why is no real title available?)
- scientific article; zbMATH DE number 1747796 (Why is no real title available?)
- Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty
- Conditional simple temporal networks with uncertainty and decisions
- Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution
- Handling contingency in temporal constraint networks: from consistency to controllabilities
- Temporal constraint networks
Cited in
(4)- Contracts for cross-organizational workflows as timed dynamic condition response graphs
- Dynamic controllability of temporal networks with instantaneous reaction
- Semantics and controllability of time-aware business processes
- From generating process views over inter-organizational business processes to achieving their temporal consistency
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)