![]() |
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, tested considering the business process execution language for web services (BPEL) and integrated to a business process modeling tool of MEGA International.
The research in this project started in October 2005 and was funded by the German Federal Ministry of Education and Research (BMBF).
The project successfully finished in November 2008.
![]() |
Humboldt-Universität zu Berlin Department of Computer Science |
![]() |
Universität Stuttgart Institute of Architecture of Application Systems |
![]() |
MEGA International GmbH |
![]() |
Universität Rostock Department of Computer Science |