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
Paper
Publications
3 results for Simon Moser
Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis
- Simon Moser
- Axel Martens
- et al.
- 2007
- SCC 2007
Conference paperAnalyzing compatibility of BPEL processes
- Axel Martens
- Simon Moser
- et al.
- 2006
- AICT/ICIW 2006
Conference paper