A Formal Model For Declarative Workflows: Dynamic Condition Response Graphs

Computer Science

• Business Process 100%
• Healthcare Service 50%
• Workflow Management System 50%
• Concurrency 50%
• Operational Semantics 50%
• Case Study 50%
• Event Structure 50%
• Control Flow 50%
• model checker 50%
• Dynamic Environment 50%
• Regular Language 50%
• Management Domain 50%
• Current Business Process 50%
• Workflow Engine 50%
• Liveness Property 50%
• Complex Environment 50%
• Execution State 50%
• Synchronous Communication 50%
• Unexpected Behavior 50%

Keyphrases

• Declarative Workflow 100%
• Distributed Execution 33%
• SPIN Model Checker 16%
• Process Modeling 16%
• Unexpected Behavior 16%
• Synchronous Communication 16%
• Inter-organizational Workflow 16%
• Workflow Engine 16%
• Graph-based 16%