Verifying BPEL-Like Programs with Hoare Logic

Keyphrases

• BPEL Models 50%
• Business Process 100%
• Compensation Handling 50%
• Compensation Mechanism 50%
• Core Languages 50%
• Data Compensation 50%
• Data Faults 50%
• Data State 50%
• De-facto 50%
• Fault Handling 50%
• Formal Semantics 50%
• Fully Programmable 50%
• Hoare Logic 100%
• Logic Styles 50%
• One Step Forward 50%
• Operational Semantics 50%
• Proof Rules 50%
• Proof Search 50%
• Search Process 50%
• Semantic Model 50%
• Verification Problem 50%
• Verification Rules 100%
• Verification System 50%
• Web-based Business 50%
• WS-BPEL 100%

Computer Science

• Business Process 40%
• Business Process Execution Language 100%
• Compensation Mechanism 20%
• De Facto Standard 20%
• Essential Feature 20%
• Formal Semantics 20%
• Operational Semantics 20%
• Proof 40%
• Verification System 20%