Contracts for cross-organizational workflows as timed dynamic condition response graphs

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

zbMATH Keywords

liveness; safety; contracts; time; cross-organizational workflow; declarative process models

Mathematics Subject Classification ID

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

• SPIN

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