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

DOI10.1016/j.jlap.2013.05.005zbMath1283.68245OpenAlexW2110279509MaRDI 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

livenesssafetycontractstimecross-organizational workflowdeclarative process models

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70)

Related Items (5)

Business Process Compliance Using Reference Models of Law ⋮ Replication, refinement \& reachability: complexity in dynamic condition-response graphs ⋮ Declarative choreographies and liveness ⋮ Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes ⋮ 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

This page was built for publication: Contracts for cross-organizational workflows as timed dynamic condition response graphs