|
|
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 project is funded by the German Federal Ministry of Education and Research (BMBF).
 |
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 |