Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT

Keyphrases

• Rewriting Modulo 100%
• Business Process Model and Notation (BPMN) 100%
• Data-aware Business Processes 100%
• Maude 20%
• Business Process 20%
• Expressiveness 20%
• Rewriting Logic Semantics 20%
• Deadlock Freedom 20%
• Decision Procedure 20%
• Reachability Properties 20%
• Complex Data 20%
• Semantic Framework 20%
• Complex Behavior 20%
• Reachable States 20%
• Behavior Description 20%
• Symbolic Simulation 20%
• Challenging Questions 20%
• Deadlock Detection 20%
• Control Flow Graph 20%
• Simulation Validation 20%
• Data Description 20%

INIS

• data 100%
• business 100%
• verification 100%
• specifications 100%
• modeling 33%
• levels 16%
• detection 16%
• values 16%
• simulation 16%
• validation 16%
• control 16%
• graphs 16%

Computer Science

• Business Process Model and Notation 100%
• Rewriting Logic 20%
• Deadlock Freedom 20%
• Presented Approach 20%
• Process Model 20%
• Data Description 20%
• Modeling Business Process 20%
• Control-Flow Graph 20%
• Decision Procedure 20%
• Correctness 20%