Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis
- Simon Moser
- Axel Martens
- et al.
- 2007
- SCC 2007
Publications
Date
Featured collections
Popular topics
3 results for Simon Moser
Analyzing compatibility of BPEL processes
- Axel Martens
- Simon Moser
- et al.
- 2006
- AICT/ICIW 2006
Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis
- Wolfram Amme
- Axel Martens
- et al.
- 2009
- International Journal of Business Process Integration and Management