Downloads

 

Chronological Fault Based Mutation Processes for WS-BPEL 2.0 Programs:

• Travel Process BPEL Program
• Purchase Order BPEL Program
• A Workflow Approach to Identifying BPEL4WS Chronological Fault Models Supplementary Material

Using p-calculus for Formal Modeling and Verification of WS-CDL Choreographies Programs:

• Chor-calculus to WS-CDL Translator