| Dipl.-Inf. Oliver Kopp Research Associate |
![]() |
|
| Phone | +49 711 685-88483 | |
| Fax | +49 711 685-88472 | |
| Room No. | ||
| Office Hours | Please make an appointment | |
| Away | 12/29-01/08 | |
| Adress | Institute of Architecture of Application Systems Universitätsstraße 38 D-70569 Stuttgart |
|
Research Interest
My research interest is in the modeling of choreographies using WS-BPEL 2.0. I'm mainly interested in the autonomy of the participants, distributed transactions, and global fault handling.
During my research, I'm closely working together with the Humboldt Universität zu Berlin and the MEGA International GmbH. We were joining our forces in the project Tools4BPEL from November 2005 to November 2008.
Further Research Areas
Information for students
- First reading for students: Information on the Softwaretechnik studies
- Further information: StudiWiki - maintained by the Fachschaft
Presentations
- Mapping Interconnection Choreography Models to Interaction Choreography Models - presented at ZEUS 2009
Publications
My publications listed at pubzone, researchr, DBLP, CSBIB, BibTeX.Journal Papers
- Nowak, Alexander; Binz, Tobias; Fehling, Christoph; Kopp, Oliver; Leymann, Frank; Wagner, Sebastian: Pattern-driven Green Adaptation of Process-based Applications and their Runtime Infrastructure. In: Computing (accepted for publication), Springer, 2012.
- Kopp, Oliver; Görlach, Katharina; Karastoyanova, Dimka; Leymann, Frank; Reiter, Michael; Schumm, David; Sonntag, Mirko; Strauch, Steve; Unger, Tobias; Wieland, Matthias; Khalaf, Rania: A Classification of BPEL Extensions. In: Journal of Systems Integration. Vol. 2(4), Online, 2011 (
pdf). - Schumm, David; Karastoyanova, Dimka; Kopp, Oliver; Leymann, Frank; Sonntag, Mirko; Strauch, Steve: Process Fragment Libraries for Easier and Faster Development of Process-based Applications. In: Journal of Systems Integration. Vol. 2(1), Online, 2011 (
pdf). - Kopp, Oliver; Martin, Daniel; Wutke, Daniel; Leymann, Frank: The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages. In: Ulrich Frank (ed.): Enterprise Modelling and Information Systems. Vol. 4(1), Duisburg: Gesellschaft für Informatik e.V. (GI), 2009 (
pdf). - Decker, Gero; Kopp, Oliver; Leymann, Frank; Weske, Mathias: Interacting services: from specification to execution. In: Data & Knowledge Engineering. Vol. 68(10), Elsevier Science Publishers, 2009 (
pdf). - Kopp, Oliver; Leymann, Frank: Choreography Design Using WS-BPEL. In: Lohmet, David B. (ed.): Bulletin of the IEEE Computer Society Technical Committee on Data Engineering. Vol. 31(3), IEEE Computer Society Press, 2008 (
pdf). - Khalaf, Rania; Kopp, Oliver; Leymann, Frank: Maintaining Data Dependencies Across BPEL Process Fragments. In: International Journal of Cooperative Information Systems (IJCIS). Vol. 17(3), World Scientific, 2008 (
pdf). - Decker, Gero; Kopp, Oliver; Barros, Alistair: An Introduction to Service Choreographies. In: Information Technology. Vol. 50(2), 2008, Oldenbourg Verlag (
pdf).
Conference Papers
- Strauch, Steve; Kopp, Oliver; Leymann, Frank; Unger, Tobias: A Taxonomy for Cloud Data Hosting Solutions. In: Proceedings of the International Conference on Cloud and Green Computing (CGC '11), 2011 (
pdf). - Wagner, Sebastian; Kopp, Oliver; Leymann, Frank: Towards Choreography-based Process Distribution In The Cloud. In: Proceedings of the 2011 IEEE International Conference on Cloud Computing and Intelligence Systems (
pdf). - Kopp, Oliver; Engler, Lasse; van Lessen, Tammo; Leymann, Frank; Nitzsche, Jörg: Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus. In: Fleischmann, A. (ed.); Schmidt, W. (ed.); Seese, D. (ed.); Singer, R. (ed.): Subject-Orientation as Enabler for the Next Generation of BPM Tools and Methods - Second International Conference S-BPM ONE 2010, 2011 (
pdf). - Kopp, Oliver; Leymann, Frank; Wutke, Daniel: Fault Handling in the Web Service Stack. In: Service-Oriented Computing - ICSOC 2010 (
pdf). - Kopp, Oliver; Görlach, Katharina; Leymann, Frank: Extending Choreography Spheres to Improve Simulations. In: International Organization for Information Integration and Web-based Application and Services 2010 (iiWAS 2010).
- Kopp, Oliver; Eberle, Hanna; Leymann, Frank; Unger, Tobias: The Subprocess Spectrum. In: Proceedings of the Business Process and Services Computing Conference: BPSC 2010 (
pdf). - Wetzstein, Branimir; Karastoyanova, Dimka; Kopp, Oliver; Leymann, Frank; Zwink, Daniel: Cross-Organizational Process Monitoring based on Service Choreographies. In: Proceedings of the 25th Annual ACM Symposium on Applied Computing (SAC 2010); Sierre, Switzerland, 21-26 March, 2010 (
pdf). - Kopp, Oliver; Mietzner, Ralph; Leymann, Frank: The Influence of an External Transaction on a BPEL Scope. In: Meersman, R. (ed.); Dillon, T. (ed.); Herrero, P. (ed.): CoopIS 2009 (OTM 2009) (
pdf). - Bischof, Marc; Kopp, Oliver; van Lessen, Tammo; Leymann, Frank: BPELscript: A Simplified Script Syntax for WS-BPEL 2.0. In: 2009 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009) (
pdf). - Wieland, Matthias; Martin, Daniel; Kopp, Oliver; Leymann, Frank: SOEDA: A Methodology for Specification and Implementation of Applications on a Service-Oriented Event-Driven Architecture. In: Abramowicz, Witold (ed.): Proceedings of the 12th International Conference on Business Information Systems (BIS 2009). Poznan, Poland April 27-29, 2009 (
pdf). - Monakova, Ganna; Kopp, Oliver; Leymann, Frank; Moser, Simon; Schäfers, Klaus: Verifying Business Rules Using an SMT Solver for BPEL Processes. In: Proceedings of the Business Process and Services Computing Conference: BPSC'09, 2009 (
pdf). - Kopp, Oliver; Martin, Daniel; Wutke, Daniel; Leymann, Frank: On the Choice Between Graph-Based and Block-Structured Business Process Modeling Languages. In: Modellierung betrieblicher Informationssysteme (MobIS 2008). Saarbrücken, Germany, November 27 - 28, 2008 (
pdf). - Kopp, Oliver; Khalaf, Rania; Leymann, Frank: Deriving Explicit Data Links in WS-BPEL Processes. In: Proceedings of the International Conference on Services Computing, SCC 2008 (
pdf). - Decker, Gero; Kopp, Oliver; Leymann, Frank; Pfitzner, Kerstin; Weske, Mathias: Modeling Service Choreographies using BPMN and BPEL4Chor. In: Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE '08), 2008 (
pdf). - Khalaf, Rania; Kopp, Oliver; Leymann, Frank: Maintaining Data Dependencies Across BPEL Process Fragments. In: Krämer, Bernd J. (ed.); Lin, Kwei-Jay (ed.); Narasimhan, Priya (ed.): Service-Oriented Computing - ICSOC 2007 (
pdf). - Decker, Gero; Kopp, Oliver; Leymann, Frank; Weske, Matthias: BPEL4Chor: Extending BPEL for Modeling Choreographies. In: IEEE Computer Society (ed.): Proceedings of the IEEE 2007 International Conference on Web Services (ICWS 2007), Salt Lake City, Utah, USA, July 2007 (
pdf).
Workshop Papers
- Kopp, Oliver; Leymann, Frank; Wagner, Sebastian: Modeling Choreographies: BPMN 2.0 versus BPEL-based Approaches. In: Enterprise Modelling and Information Systems Architectures - EMISA 2011 (
pdf). - Kopp, Oliver; Leymann, Frank; Schumm, David; Unger, Tobias: On BPMN Process Fragment Auto-Completion. In: Eichhorn, Daniel (ed.); Koschmider, Agnes (ed.); Zhang, Huayu (ed.): Proceedings of the 3rd Central-European Workshop on Services and their Composition (ZEUS 2011) (
pdf). - Kopp, Oliver; Leymann, Frank; Unger, Tobias; Wagner, Sebastian: Towards The Essential Flow Model. In: Eichhorn, Daniel (ed.); Koschmider, Agnes (ed.); Zhang, Huayu (ed.): Proceedings of the 3rd Central-European Workshop on Services and their Composition (ZEUS 2011) (
pdf). - Kopp, Oliver; Leymann, Frank; Wu, Fei: Mapping interconnection choreography models to interaction choreography models. In: Proceedings of the 2nd Central-European Workshop on Services and their Composition, ZEUS 2010 (
pdf). - Eberle, Hanna; Kopp, Oliver; Unger, Tobias; Leymann, Frank: Retry Scopes to Enable Robust Workflow Execution in Pervasive Environments. In: Proceedings of the 2nd Workshop on Monitoring, Adaptation and Beyond (MONA+), 2009.
- Kopp, Oliver; Wieland, Matthias; Leymann, Frank: External and Internal Events in EPCs: e2EPCs. In: 2nd International Workshop on Event-Driven Business Process Management (edBPM09), 2009 (
pdf). - Monakova, Ganna; Kopp, Oliver; Leymann, Frank: Improving Control Flow Verification in a Business Process using an Extended Petri Net. In: Kopp, Oliver (ed.); Lohmann, Niels (ed.): Proceedings of the 1st Central-European Workshop on Services and their Composition (ZEUS 2009) (
pdf). - Kopp, Oliver; Leymann, Frank: Do We Need Internal Behavior in Choreography Models?. In: Kopp, Oliver (ed.); Lohmann, Niels (ed.): Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009 (
pdf). - Kopp, Oliver; Wieland, Matthias; Leymann, Frank: Towards Choreography Transactions. In: Kopp, Oliver (ed.); Lohmann, Niels (ed.): Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009 (
pdf). - Kopp, Oliver; Wetzstein, Branimir; Mietzner, Ralph; Pottinger, Stefan; Karastoyanova, Dimka; Leymann, Frank: A Model-Driven Approach to Implementing Coordination Protocols in BPEL. In: 1st International Workshop on Model-Driven Engineering for Business Process Management (MDE4BPM 2008) (
pdf). - Lohmann, Niels; Kopp, Oliver: Tools4BPEL4Chor. In: YR-SOC 2008 (
pdf). - Kopp, Oliver; van Lessen, Tammo; Nitzsche, Jörg: The Need for a Choreography-aware Service Bus. In: YR-SOC 2008 (
pdf). - Kopp, Oliver; Eberle, Hanna; Leymann, Frank; Unger, Tobias: From Process Models to Business Landscapes. In: Nüttgens, Markus (ed.); Rump, Frank J. Rump (ed.); Gadatsch, Andreas (ed.): EPK 2007: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (
pdf). - Lohmann, Niels; Kopp, Oliver; Leymann, Frank; Reisig, Wolfgang: Analyzing BPEL4Chor: Verification and Participant Synthesis. In: Dumas, Marlon (ed.); Heckel, Reiko (ed.): Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia (
pdf). - Pfitzner, Kerstin; Decker, Gero; Kopp, Oliver; Leymann, Frank: Web Service Choreography Configurations for BPMN. In: di Notto, E. (ed.); Ripeanu, M. (ed.): Proceedings of the 3rd International Workshop on Engineering Service-Oriented Application (WESOA'2007) (
pdf). - Decker, Gero; Kopp, Oliver; Puhlmann, Frank: Service Referrals in BPEL-based Choreographies. In: Gorton, Stephen (ed.); Solanki, Monika (ed.); Reiff-Marganiec, Stephen (ed.): Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2007) (
pdf). - Wieland, Matthias; Kopp, Oliver; Nicklas, Daniela; Leymann, Frank: Towards Context-Aware Workflows. In: Pernici, Barbara (ed.); Gulla, Jon Atle (ed.): CAiSE´07 Proceedings of the Workshops and Doctoral Consortium Vol.2, Trondheim, Norway, June 11-15th, 2007 (
pdf). - Kopp, Oliver; Unger, Tobias; Leymann, Frank: Nautilus Event-driven Process Chains: Syntax, Semantics, and their mapping to BPEL. In: Nüttgens, M. (ed.); Rump, F.J. (ed.); Mendling, J. (ed.): Proceedings of the 5th GI Workshop on Event-Driven Process Chains (EPK 2006) (
pdf). - Kopp, Oliver; Frenkler, Carsten; Lohmann, Niels: Korrektheit und Zuverlässigkeit zusammengesetzter Web Services am Beispiel der Geschäftsprozess-Modellierungssprache BPEL. In: DLR e.V. (ed.): Forschungsoffensive "Software Engineering 2006" Statuskonferenz 26.-28. Juni 2006 (
pdf).
Technical Reports
- Kopp, Oliver; Henke, Sebastian; Karastoyanova, Dimka; Khalaf, Rania; Leymann, Frank; Sonntag, Mirko; Steinmetz, Thomas; Unger, Tobias; Wetzstein, Branimir: An Event Model for WS-BPEL 2.0, Technical Report No. 2011/07 (
pdf). - Görlach, Katharina; Kopp, Oliver; Leymann, Frank; Schumm, David; Strauch, Steve: WS-BPEL Extension for Compliance Fragments (BPEL4CFrags), Version 1.0, Technical Report No. 2011/01 (
pdf). - Iron, Rolf; Kopp, Oliver; Leiner, Andreas; Leymann, Frank; Massuthe, Peter: Abschlussbericht des Verbundprojekts Tools4BPEL, Technical Report No. 2009/01 (
pdf). - Wieland, Matthias; Martin, Daniel; Kopp, Oliver; Leymann, Frank: Events Make Workflows Really Useful, External Technical Report, 2008 (
pdf). - Reimann, Peter; Kopp, Oliver; Decker, Gero; Leymann, Frank: Generating WS-BPEL 2.0 Processes from a Grounded BPEL4Chor Choreography, Technical Report No. 2008/07.
- Kopp, Oliver; Mietzner, Ralph; Leymann, Frank: Abstract Syntax of WS-BPEL 2.0, Technical Report No. 2008/06 (
pdf). - Kopp, Oliver; Wetzstein, Branimir; Mietzner, Ralph; Unger, Tobias; Pottinger, Stefan; Karastoyanova, Dimka; Michael, Sabine; Leymann, Frank: A Model-Driven Approach to Implementing Coordination Protocols in BPEL, Technical Report No. 2008/02 (
pdf). - Kopp, Oliver; Khalaf, Rania; Leymann, Frank: Reaching Definitions Analysis Respecting Dead Path Elimination Semantics in BPEL Processes, Technical Report No. 2007/04 (
pdf).
Other Publications
- Kopp, Oliver: Abbildung von EPKs nach BPEL anhand des Prozessmodellierungswerkzeugs Nautilus, Diploma Thesis No. 2341, 2005.
- Lösch, Felix; Kopp, Oliver; Wetzel, Matthias: Vergleich von Werkzeugen zur featurebasierten Anforderungsanalyse, Student Report Software Engineering No. 22, 2003.
Proceedings
- Kopp, Oliver (ed); Lohmann, Niels (ed): Services und ihre Komposition - erster zentraleuropäischer Workshop (ZEUS 2009), CEUR-WS.org, 2009.
Supervised Student Works
- Henke, Sebastian: Unterstützung für externe Transaktionen in Apache ODE, Diplomarbeit Nr. 3006, 2010.
- Bors, Sergej: A Runtime for BPEL4Chor Cross-Partner-Scopes, Diplomarbeit Nr. 2990, 2010.
- Li, Changhua: An Editing Environment for BPEL4Chor Cross-Partner Scopes, Diplomarbeit Nr. 2997, 2010.
- Gao, Yangyang: Implementierung einer Datenflussanalyse für WS-BPEL 2.0, Studienarbeit Nr. 2246, 2010.
- Wu, Fei: Mapping interconnection choreography models to interaction models, Diplomarbeit Nr. 2944, 2009.
- Engler, Lasse: BPELgold: Choreography on the Service Bus, Diplomarbeit Nr. 2880, 2009.
- Bischof, Marc: Modeling and Runtime Support of Faults in Interaction Choreography Models, Diplomarbeit Nr. 2885, 2009.
- Bischof, Marc: Translating WS-BPEL 2.0 to BPELscript and Vice Versa, Studienarbeit Nr. 2175, 2008.
- Varnhorn, Stefan: Bewertung der BPEL-Modellierungsmöglichkeiten im ARIS Toolset, Studienarbeit Nr. 2173, 2008.
- Steinmetz, Thomas: Ein Event-Modell für WS-BPEL 2.0 und dessen Realisierung in Apache ODE, Diplomarbeit Nr. 2729, 2008.
- Breier, Sebastian: Extended Data-flow Analysis on BPEL Processes, Diplomarbeit Nr. 2726, 2008.
- Fuentetaja Abad, Pablo: Fault Handling Across the Web Services Stack, Diplomarbeit Nr. 2728, 2008.
- May, Marcus; Krötz, Markus; Nguyen, Truong-An: Vergleich von Enterprise-Service-Repositories, Fachstudie Softwaretechnik Nr. 88, 2008.
- Löser, Moritz: Gechäftsprozesse der „Die Radler GmbH“, gegenwärtige IT-Unterstützung und Anforderungen an eine neue Softwarearchitektur, Studienarbeit Nr. 2159, 2008.
- Giesecke, Stefan: Abbildung der Geschäftsprozesse der "Die Radler GmbH" in eine neue webbasierte Softwarearchitektur auf Open-Source-Basis, Studienarbeit Nr. 2158, 2008.
- Haufler, Andreas; Staudenecker, Andreas; Wobser, Alexander: Vergleich von XML-Datenbanken, Fachstudie Softwaretechnik Nr. 87, 2008.
- Schäfer, Michael: Business Process Outsourcing, Seminararbeit, 2008.
- Colaço, Bruno: Web-based Editor for WS-BPEL Processes, Studienarbeit Nr. 2185, 2007.
- Schurr, Bastian: Analyse von XPath-Ausdrücken in BPEL-Prozessbeschreibungen, Diplomarbeit Nr. 2687, 2007.
- Pfitzner, Kerstin: Choreography Configuration for BPMN, Diplomarbeit Nr. 2618, 2007.
- Ruf, Fabian: Fault handling in BPEL-based choreographies, Diplomarbeit Nr. 2598, 2007.
- Steinmetz, Thomas: Generierung einer BPEL4Chor-Beschreibung aus BPEL-Prozessen, Studienarbeit Nr. 2101, 2007.
- Reimann, Peter: Generating BPEL Processes from a BPEL4Chor Description, Studienarbeit Nr. 2100, 2007.
- Vazquez Fernandez, Javier: BPEL with Explicit Data Flow: Model, Editor, and Partitioning Tool, Diplomarbeit Nr. 2616, 2007.
- Bischoff, Georg: Autonomie von Geschäftsprozessen: Beschreibung & Umsetzung, Diplomarbeit Nr. 2536, 2007.
- Bikmaz, Ihsan Baris: Vergleich von Technologien zur Entwicklung von Web-Anwendungen, Diplomarbeit Nr. 2504, 2006.
- Bacher, Andreas: Choreografie von Geschäftsprozessen: Beschreibung und Werkzeugunterstützung, Diplomarbeit Nr. 2486, 2006.
- Knödler, Sven: BPEL-Webservice-Koordination auf Basis einer Konfigurationsdatei, Diplomarbeit Nr. 2428, 2006.
- Petri, Benjamin: WS Interoperability, Seminararbeit, 2006.
- Ma, Zhilei: WS-Policy Editor - Ein Werkzeug zum Editieren, Normalisieren, Verschmelzen und Schneiden von Web-Services-Policies, Diplomarbeit Nr. 2405, 2006.
Reviewing (2009 and 2010)
- 2011: ECIS2011, IJCIS, Service Oriented Computing and Applications (journal), ZEUS2011
- 2010: BPMN2010, EDOC2010, ESOP2011, ICWE2010, ICWS2010, IJCIS, Information and Software Technology, Information Systems, Journal of Convergence Information Technology, Service Oriented Computing and Applications (journal), Software: Practice and Experience, WI2011, WWW2011, ZEUS2010
- 2009: BPM2009, BPMN2009, Coordination 2009, ICWS2009, IWCS2009, Journal of Systems and Software, Transactions on Services Computing



