Correctness and reliability of composed web services modeled in BPEL


Cross-company business processes are increasingly organized according to the service-paradigm. Composability, controllability, exchangeability as well as compensation in case of faults are open questions. In this project methods and tools to answer these questions are developed and tested with respect to the business process execution language for web services (BPEL) and integrated into a business process modeling tool of MEGA International GmbH.


Principal Investigators
Reisig, Wolfgang Prof. Dr. rer. nat. habil. (Details) (Software Engineering and Theory of Programming I)

Duration of Project
Start date: 10/2005
End date: 11/2008

Last updated on 2020-09-03 at 23:09