Dipl.-Inf. Katharina Görlach

Research Associate


Unified Service Composition

I investigate in a unified modeling and execution of service compositions based on formal grammars and automata theory. In particular, a special kind of grammars - Composition Grammars - is used to model service compositions whereas automata are used to execute these compositions.

In general service compositions are modeled by “high” specifications languages, e.g. BPEL, ConDec, and Scufl. Similar to high programming languages in comparison to assembler languages high composition languages like BPEL are related to the composition grammars. I define transformations from the high composition languages BPPEL and ConDec to composition grammars that are executed by the same automata class. That means, imperative languages like BPEL can be executed by the same processor as declarative languages like ConDec. Hence, the assembler conformable character of composition grammars allows them to be a base for unification.

Automata that are used for the execution of composition grammars distinguish from conventional automata in automata theory. In particular, generating automata are used instead of accepting automata. Furthermore, utilized automata need to cover the special requirements created by composition grammars.


Stuttgart Research Centre for Simulation Technologie

In SimTech the IAAS is working on the creation of a workflow management system (WfMS) for modeling and executing simulation workflows. The WfMS will be especially tailored to requirements of scientists. The underlying technical complexity ought to be hidden for scientists to enable them to concentrate on their core competencies.

Compliance-driven Models, Languages, and Architectures for Services

The COMPAS project is designing and implementing novel models, languages, and an architectural framework to ensure compliance of services to design rules and regulations. COMPAS is using model-driven techniques, domain-specific languages, and service-oriented infrastructure software to enable organizations to develop business compliance solutions easier and faster. Compliance refers to the entirety of all measures that need to be taken in order to adhere to laws, regulations, guidelines, and internal policies.


Current Semester

Exercise Programmierung und Software-Entwicklung
  • Monday, 11:30 pm - 1 pm, room 0.124
  • Monday, 2 pm - 3:30 pm, room 0.108

Student Works


Book Chapters

  1. Görlach, Katharina; Sonntag, Mirko; Karastoyanova, Dimka; Leymann, Frank; Reiter, Michael: Conventional Workflow Technology for Scientific Simulation. In: Yang, Xiaoyu (Hrsg); Wang, Lizhe (Hrsg); Jie, Wei (Hrsg): Guide to e-Science, Springer-Verlag, 2011 ( pdf).

Journal Papers

  1. Görlach, Katharina; Leymann, Frank: Orthogonal Meta-Modeling. In: Journal of Systems Integration. Vol. 5(2), Online, 2014 (pdf).
  2. 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).
  3. Sonntag, Mirko; Görlach, Katharina; Karastoyanova, Dimka; Leymann, Frank; Reiter, Michael: Process Space-based Scientific Workflow Enactment. In: International Journal of Business Process Integration and Management (IJBPIM) Special Issue on Scientific Workflows, Vol 5, No. 1, pp. 32-44, Inderscience Publishers, 2010 ( pdf).

Conference Papers

  1. Görlach, Katharina; Leymann, Frank: A Flexible Engine for the Unified Execution of Service Compositions. In: Proceedings of the 10th IEEE International Symposium on Service Oriented System Engineering (SOSE 2015) (to appear)
  1. Görlach, Katharina; Leymann, Frank; Claus, Volker: Unified Execution of Service Compositions. In: Proceedings of the 6th IEEE International Conference on Service Oriented Computing & Applications (SOCA 2013) (pdf).
  2. Görlach, Katharina; Leymann, Frank: Dynamic Service Provisioning for the Cloud. In: Proceedings of the 9th International Conference on Services Computing (SCC) 2012 ( pdf).
  3. Sonntag, Mirko; Görlach, Katharina; Karastoyanova, Dimka; Leymann, Frank; Malets, Polina; Schumm, David: Views on Scientific Workflows. In: Proceedings of the 10th International Conference on Perspectives in Business Informatics Research (BIR 2011), 2011 ( pdf).
  4. 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) ( pdf).
  5. Sonntag, Mirko; Currle-Linde, Natalia; Görlach, Katharina; Karastoyanova, Dimka: Towards Simulation Workflows With BPEL: Deriving Missing Features From GriCoL. In: Alhajj, R.S. (Hrsg); Leung, V.C.M. (Hrsg); Saif, M. (Hrsg); Thring, R. (Hrsg): Proceedings of the 21st IASTED International Conference on Modelling and Simulation (MS 2010), 2010.
  6. Zor, Sema; Görlach, Katharina; Leymann, Frank: Using BPMN for Modeling Manufacturing Processes. In: Sihn, Wilfried (Hrsg); Kuhlang, Peter (Hrsg): Sustainable Production and Logistics in Global Networks - Proceedings of 43rd CIRP International Conference on Manufacturing Systems, 2010 ( pdf).
  7. Wieland, Matthias; Görlach, Katharina; Schumm, David; Leymann, Frank: Towards Reference Passing in Web Service and Workflow-based Applications. In: Proceedings of the 13th IEEE Enterprise Distributed Object Conference (EDOC 2009) ( pdf).

Workshop Papers

  1. Wettinger, Johannes; Görlach, Katharina; Leymann, Frank: Deployment Aggregates - A Generic Deployment Automation Approach for Applications Operated in the Cloud. In: Proceedings of the 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (International Workshop on Engineering Cloud Applications & Services, EnCASE 2014) ( pdf).

Technical Reports

  1. Görlach, Katharina: A Generic Transformation of Existing Service Composition Models to a Unified Model, Technischer Bericht Nr. 2013/01 (pdf).
  2. Görlach, Katharina; Kopp, Oliver; Leymann, Frank; Schumm, David; Strauch, Steve: WS-BPEL Extension for Compliance Fragments (BPEL4CFrags), Version 1.0, Technischer Bericht Nr. 2011/01 (pdf).


  1. Ein Verfahren zur abstrakten Interpretation von XPath-Ausdrücken in WS-BPEL-Prozessen. Diplomarbeit, Humboldt-Universität zu Berlin, März 2008 (pdf).


Best Paper Award SCC 2007

  1. Moser, Simon; Martens, Axel; Görlach, Katharina; Amme, Wolfram; Godlinski, Artur: Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. In IEEE International Conference on Services Computing (SCC 2007), Seite 98-105.

Other Activities

  • Contact person at the examination board of degree program B.Sc. Wirtschaftsinformatik
  • IBM Technology Partnership Center (ITPC)
  • Probiert die Uni aus!