Nested dynamic condition response graphs

DOI10.1007/978-3-642-29320-7_23MaRDI QIDQ2894574zbMATH OpenOpenAlexFDO

Authors Raghava Rao Mukkamala, Tijs Slaats, Thomas Hildebrandt

Publication date 29 June 2012

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29320-7_23

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Replication, refinement \& reachability: complexity in dynamic condition-response graphs
• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
• Nested Petri Nets for Adaptive Process Modeling
• Nested Nets for Adaptive Systems

Cited in

(8)

• Business process compliance using reference models of law
• Declarative event based models of concurrency and refinement in psi-calculi
• Using attribute grammars to model nested workflows with extra constraints
• 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
• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• Transforming dynamic condition response graphs to safe Petri nets

This page was built for publication: Nested dynamic condition response graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894574)