Dipl.-Inf. Katharina Görlach
Wissenschaftliche Mitarbeiterin
| Adresse: |
Institut
für
Architektur von
Anwendungssystemen
Universitätsstraße 38 70569 Stuttgart Deutschland |
| Telefon: | +49 (0)711 685-88 333 |
| Fax: | +49 (0)711 685-88 472 |
| Raum: | 1. Stock, Zimmer 1.360 |
| Sprechstunde: | Donnerstag, 13-14 Uhr Prüfungsausschuss B.Sc. Winfo: Donnerstag 14-15 Uhr |
| e-Mail: |
 katharina.goerlach(@)iaas.uni-stuttgart.de
|
Forschung
Ich untersuche Möglichkeiten zur unifizierten Modellierung und Ausführung von Service-Kompositionen auf Basis von formalen Grammatiken und Automatentheorie. Eine spezielle Art von formalen Grammatiken - Kompositionsgrammatiken - wird dabei verwendet, um eine Service-Komposition zu modellieren. Anschließend werden Automaten für die Ausführung solcher Kompositionsmodelle verwendet.
Im Allgemeinen werden Service-Kompositionen mit Hilfe „hoher“ Spezifikationssprachen wie z.B. BPEL, ConDec und Scufl modelliert. Diese Hochsprachen für Service-Kompositionen stehen in Relation zu den verwendeten Kompositionsgrammatiken wie hohe Programmiersprachen zu Assemblersprachen. In meiner Arbeit definiere ich Transformationen der Hochsprachen BPEL und ConDec zu Kompositionsgrammatiken, welche mit Hilfe der gleichen Automatenklassen ausgeführt werden können. Das heißt, sowohl die imperative Sprache BPEL als auch die deklarative Sprache ConDec werden vom gleichen "Prozessor" ausgeführt. Der Assembler-ähnliche Charakter von Kompositionsgrammatiken bildet dabei die Grundlage für die Unifizierung.
Die Automaten, die zur Ausführung verwendet werden, unterscheiden sich von den klassischen Automaten der Automatentheorie. Insbesondere werden generative Automaten anstelle von akzeptierenden Automaten verwendet. Darüberhinaus unterscheiden sich die verwendeten Automaten von klassischen Automaten, da die eingeführten Kompositionsgrammatiken spezielle Eigenschaften besitzen, die im zugehörigen Automaten berücksichtigt werden müssen.
Projekte
Das IAAS arbeitet im Bereich "SimTech" an der Erstellung eines Workflow Management Systems (WfMS) zum Modellieren und Ausführen von Simulationsworkflows. Das WfMS wird speziell auf die Bedürfnisse von Wissenschaftlern zugeschnitten sein. Die zugrundeliegende technische Komplexität soll Wissenschaftlern verborgen bleiben, so dass sie sich auf ihre Kernkompetenzen konzentrieren können.
In dem Projekt COMPAS werden neuartige Modelle und Sprachen sowie eine entsprechende Infrastruktur entworfen, um Compliance von Diensten in einer service-orientierten Architektur mit den gesetzlichen Vorgaben und firmeninternen Anforderungen sicherzustellen. In COMPAS kommen modellgetriebene Ansätze sowie domänenspezifische Sprachen zum Einsatz, um eine effizientere und einfachere Entwicklung von unternehmensspezifischen Lösungen für Compliance im Zusammenhang mit Web Services zu ermöglichen.
Lehre
Aktuelles Semester
Veröffentlichungen
Beiträge in Büchern
- 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).
Artikel in Zeitschriften
- 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).
- 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).
Konferenzbeiträge
- Görlach, Katharina; Leymann, Frank: Dynamic Service Provisioning for the Cloud. In: Proceedings of the 9th International Conference on Services Computing (SCC) 2012 ( pdf).
- 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).
- 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).
- 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.
- 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).
- 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).
Technische Beriche
- 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).
- Görlach, Katharina: A Generic Transformation of Existing Service Composition Models to a Unified Model., Technischer Bericht Nr. 2013/01 (pdf).
Diplomarbeit
- Ein Verfahren zur abstrakten Interpretation von XPath-Ausdrücken in WS-BPEL-Prozessen. Diplomarbeit, Humboldt-Universität zu Berlin, März 2008 (pdf).
Auszeichnungen
Best Paper Award SCC 2007
- 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.