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.


Project Partners

Humboldt-Universität zu Berlin Humboldt-Universität zu Berlin
Department of Computer Science
Institut für Architektur von Anwendungssystemen Universität Stuttgart
Institute of Architecture of Application Systems
MEGA International GmbH MEGA International GmbH

Associated Project Partner

Universität Rostock Universität Rostock
Department of Computer Science


last changes: 06.07.2007