Contracts for cross-organizational workflows as timed dynamic condition response graphs
From MaRDI portal
Publication:2436452
DOI10.1016/j.jlap.2013.05.005zbMath1283.68245MaRDI QIDQ2436452
Thomas Troels Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats, Francesco Zanitti
Publication date: 25 February 2014
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2013.05.005
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
90B70: Theory of organizations, manpower planning in operations research
Related Items
Business Process Compliance Using Reference Models of Law, Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes, Declarative choreographies and liveness, Replication, refinement \& reachability: complexity in dynamic condition-response graphs, Event-based functional decomposition
Uses Software
Cites Work
- Specification and verification of declarative open interaction models. A logic-based approach
- Nested Dynamic Condition Response Graphs
- Contract Based Multi-party Service Composition
- A theory of contracts for strong service compliance
- Notes on finite asynchronous automata
- Fundamental Approaches to Software Engineering
- Structured Communication-Centred Programming for Web Services
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item