Berufliche Tätigkeiten

Ausbildung

Publikationen

Zeitschriftenbeiträge (8)

Christian Gerth, Jochen Küster, Markus Luckey, Gregor Engels:  Detection and Resolution of Conflicting Change Operations in Version Management of Process Models.  In Software and Systems Modeling, vol. 12, no. 3, pp. 517-535. Springer-Verlag (Berlin/Heidelberg) (2013) 

Rainer Hauser, Michael Friess, Jochen Küster, Jussi Vanhatalo:  An Incremental Approach to the Analysis and Transformation of Workflows Using Region Trees.  In Transactions on Systems, Men, and Cybernetics, vol. 38, no. 3, pp. 347-359. IEEE Computer Society (Washington, DC, USA) (2008) 

Karsten Ehrig, Jochen Küster, Gabriele Taentzer:  Generating Instance Models from Meta Models.  In Software and Systems Modeling, vol. 8, no. 4, pp. 479-500. Springer (Berlin/Heidelberg) (2008) 

Jochen Küster:  Definition and Validation of Model Transformations.  In Software and Systems Modeling, vol. 5, no. 3, pp. 233-259. Springer (Berlin/Heidelberg) (2006) 

Gregor Engels, Jochen Küster, Luuk Groenewegen:  Consistent Interaction of Software Components.  In Transactions of the SDPS: Journal of Integrated Design & Process Science, vol. 6, no. 4, pp. 2-22. IOS Press (2002) 

Ralph Depke, Reiko Heckel, Jochen Küster:  Formal Agent-Oriented Modeling with Graph Transformation.  In Science of Computer Programming, vol. 44, pp. 229-252. Elsevier (2002) 

Ralph Depke, Reiko Heckel, Jochen Küster:  Roles in Agent-Oriented Modeling.  In International Journal of Software Engineering and Knowledge Engineering, vol. 11, no. 3, pp. 281-302. World Scientific Publishing (2001) 

Ralph Depke, Reiko Heckel, Jochen Küster, Matthew Langham:  Agenten im Auftrag des Bankkunden.  In Geldinstitute, vol. 31, no. 1-2, pp. 32-33. Hans Holzmann Verlag (2000) 

Rezensierte Konferenzbeiträge (32)

Christian Gerth, Markus Luckey, Jochen Küster, Gregor Engels:  Precise Mappings between Business Process Models in Versioning Scenarios.  In Proceedings of the IEEE 8th International Conference on Services Computing (SCC'11). IEEE Computer Society, pp. 218-225(2011) 

Christian Gerth, Markus Luckey, Jochen Küster, Gregor Engels:  Detection of Semantically Equivalent Fragments for Business Process Model Change Management. In Proceedings of the IEEE 7th International Conference on Services Computing (SCC'10). IEEE Computer Society, pp. 57-64 (2010) 

Jochen Küster, Christian Gerth, Gregor Engels:  Dynamic Computation of Change Operations in Version Management of Business Process Models. In T. Kühne, B. Selic (eds.): Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA'10). Springer (Berlin/Heidelberg), LNCS, vol. 6138, pp. 201-216 (2010) 

Christian Gerth, Jochen Küster, Markus Luckey, Gregor Engels:  Precise Detection of Conflicting Change Operations using Process Model Terms.  In D.C. Petriu, N. Rouquette, and Ø. Haugen (eds.): Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10). Springer (Berlin/Heidelberg), LNCS, vol. 6395, no. Part II, pp. 93-107 (2010) 

Jochen Küster, Christian Gerth, Gregor Engels:  Dependent and Conflicting Change Operations of Process Models.  In Proceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA'09). Springer (Berlin/Heidelberg), LNCS, vol. 5562, pp. 158-173 (2009) 

Christian Gerth, Jochen Küster, Gregor Engels:  Language-Independent Change Management of Process Models.  In A. Schürr, B. Selic (eds.): Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09). Denver (CO, USA). Springer (Berlin/Heidelberg), LNCS, vol. 5795 , pp. 152-166 (2009) 

Jana Koehler, Thomas Gschwind, Jochen Küster, Cesare Pautasso, Ksenia Ryndina, Jussi Vanhatalo, Hagen Völzer:  Combining Quality Assurance and Model Transformations in Business-Driven Development.  In Proceedings of the 3rd International Symposium on Applications of Graph Transformations with Industrial Relevance 2007 (AGTIVE '07), Kassel (Germany). Springer (Berlin/Heidelberg), LNCS, vol. 5088, pp. 1-16 (2008) 

Jochen Küster, Christian Gerth, Alexander Förster, Gregor Engels:  Detecting and Resolving Process Model Differences in the Absence of a Change Log.  In M. Dumas, M. Reichert, M.-C. Shan (eds.): Proceedings of the 6th International Conference on Business Process Management (BPM'08). Springer (Berlin/Heidelberg), LNCS, vol. 5240, pp. 244-260 (2008) 

Michael Wahler, Jochen Küster:  Predicting Coupling of Object-Centric Business Process Implementations.  In Proceedings of the 6th International Conference on Business Process Management. Springer (Berlin/Heidelberg), LNCS, vol. 5240, pp. 148-163 (2008) 

Ksenia Ryndina, Jochen Küster, Harald Gall:  Generation of Business Process Models for Object Life Cycle Compliance.  In G. Alonso, P. Dadam, M. Rosemann (eds.): Proceedings of the BPM Demonstration Program (satellite event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia). Springer (Berlin/Heidelberg), LNCS, vol. 4714/2007, pp. 165-181 (2007) 

Jochen Küster, Ksenia Ryndina, Harald Gall:  Generation of Business Process Models for Object Life Cycle Compliance.  In G. Alonso, P. Dadam, M. Rosemann (eds.): Proceedings of the conference on Business Process Management (BPM 2007), Brisbane (Australia). Springer (Berlin/Heidelberg), LNCS, vol. 4714, pp. 165-181 (2007) 

Jochen Küster, Ksenia Ryndina, Harald Gall:  Improving Inconsistency Resolution with Side-effect Evaluation and Costs.   In G. Engels, B. Opdyke, D. C. Schmidt, F. Weil (eds.): Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA). Springer (Berlin/Heidelberg), vol. 4735, pp. 136-150 (2007) 

Olaf Zimmermann, Thomas Gschwind, Jochen Küster, Frank Leymann, Nelly Schuster:  Reusable Architectural Decision Models for Enterprise Application Development.  In Proceedings the conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA). Springer (Berlin/Heidelberg), pp. 15-32 (2007) 

Rainer Hauser, Michael Friess, Jochen Küster, Jussi Vanhatalo:  Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows.  In Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006). IEEE Computer Society (Washington, DC, USA), pp. 129-140 (2006) 

Karsten Ehrig, Gabriele Taentzer, Jochen Küster, Jessica Winkelmann:  Generating Instance Models from Meta Models.  In Proceedings of the conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy). Springer (Berlin/Heidelberg), LNCS, vol. 4037/2006, pp. 156-170 (2006) 

Jonas Eden, Matthias Weber, Mark-Oliver Reiser, Thomas Wierczoch, Ulrich Freund, Orazio Gurrieri, Jochen Küster, Henrik Lönn, Jörn Migge:  An Architecture Description Language for Developing Automotive ECU-Software.  In Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France). , pp. 101-112 (2004) 

Jochen Küster, Gregor Engels:  Consistency Management within Model-Based Object-Oriented Development of Components.  In F. S. de Boer and M. M. Bonsangue and S. Graf and W. P. de Roever (eds.): Proceedings of the conference on Formal Methods for Components and Objects (FMCO 2003), Leiden (Netherlands). Springer (Berlin/Heidelberg), LNCS, vol. 3188, pp. 157-176 (2003) 

Jochen Küster, Reiko Heckel, Gregor Engels:  Defining and Validating Transformations of UML Models.  In Proceedings of the conference on Human Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand). IEEE Computer Society (Washington, DC, USA), pp. 145-152 (2003) 

Gregor Engels, Jochen Küster, Reiko Heckel, Marc Lohmann:  Model Based Verification and Validation of Properties.  In R. Bardohl, H. Ehrig (eds.): Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland). Elsevier, Electronic Notes in Theoretical Computer Science, vol. 82, no. 7, pp. 1-18 (2003) 

Gregor Engels, Reiko Heckel, Jochen Küster:  The Consistency Workbench: A Tool for Consistency Management in UML-based Development.   In P. Stevens, J. Whittle, G. Booch (eds.): Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA). Springer (Berlin/Heidelberg), LNCS, vol. 2863, pp. 356-359 (2003) 

Reiko Heckel, Jochen Küster, Sebastian Thöne, Hendrik Voigt:  Towards Consistency of Web Service Architectures.   In Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA). (2003) 

Reiko Heckel, Jochen Küster, Gabriele Taentzer:  Confluence of Typed Attributed Graph Transformation Systems.   In A. Corradini, H.-J. Kreowski (eds.): Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain). Springer (Berlin/Heidelberg), pp. 161-176 (2002) 

Gregor Engels, Reiko Heckel, Jochen Küster, Luuk Groenewegen:  Consistency-Preserving Model Evolution through Transformations.   In J.-M. Jézéquel, H. Hussmann, S. Cook (eds.): Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany). Springer (Berlin/Heidelberg), LNCS, vol. 2460, pp. 212-226 (2002) 

Gregor Engels, Jochen Küster, Luuk Groenewegen:  Consistent Interaction Of Software Components.   In Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA). IOS Press, vol. 6, no. 4, pp. 2-22 (2002) 

Gregor Engels, Jochen Küster, Luuk Groenewegen, Reiko Heckel:  A methodology for specifying and analyzing consistency of object-oriented behavioral models.   In V. Gruhn (eds.): Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria). ACM Press (New York, NY, USA), vol. 26, no. 5, pp. 186-195 (2001) 

Jochen Küster, Joachim Stroop:  Consistent Design of Embedded Real-Time Systems with UML-RT.   In Proceedings of the conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany). IEEE Computer Society (Washington, DC, USA), pp. 31-40 (2001) 

Ralph Depke, Reiko Heckel, Jochen Küster:  Improving the Agent-Oriented Modeling Process with Roles.   In Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada). ACM Press (New York, NY, USA), pp. 640-647 (2001) 

Gregor Engels, Reiko Heckel, Jochen Küster:  Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model.   In M. Gogolla, C. Kobryn (eds.): Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada). Springer (Berlin/Heidelberg), vol. 2185, pp. 272-287 (2001) 

Jochen Küster:  Towards Behavior Consistent Modeling in UML-RT.   In Proceedings of the Forum on Design Languages (FDL'01). (2001) 

Christian Geiger, Stephan Flake, Jochen Küster:  Towards UML-based Analysis and Design of Multi-Agent Systems.   In Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates). (2001) 

Ralph Depke, Reiko Heckel, Jochen Küster:  Integrating visual modeling of agent-based and object-oriented systems.   In Proceedings of the conference on Autonomous agents (AGENTS 2000), Barcelona (Spain). ACM Press (New York, NY, USA), pp. 82-83 (2000) 

Dwight Deugo, Jochen Küster, Franz Oppacher, Ingo von Otte:  Patterns as a Means for Intelligent Software Engineering.   In H. R. Arabnia (eds.): Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA). CSREA Press, vol. 2, pp. 605-611 (1999) 

Rezensierte Workshopbeiträge (24)

Jochen Küster, Christian Gerth, Alexander Förster, Gregor Engels:  A Tool for Process Merging in Business-Driven Development. In Z. Bellahsène, R. Coletta, X. Franch, E. Hunt, C. Woo (eds.): Proceedings of the Forum at the CAiSE'08 Conference on Advanced Information Systems Engineering. CEUR-WS.org, CEUR Workshop Proceedings, vol. 344, pp. 89-92 (2008) 

Kyriakos Anastasakis, Behzad Bordbar, Jochen Küster:  Analysis of Model Transformations via Alloy. In B. Baudry, A. Faivre, S. Ghosh, A. Pretschner (eds.): Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA). Springer (Berlin/Heidelberg), LNCS, vol. 5002, pp. 47-56 (2007) 

Ksenia Ryndina, Jochen Küster, Harald Gall: Consistency of Business Process Models and Object Life Cycles. In T. Kühne (eds.): Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy)). Springer (Berlin/Heidelberg), LNCS, vol. 4364/2007, pp. 80-90 (2007) 

Jochen Küster, Jana Koehler, Ksenia Ryndina: Improving Business Process Models with Reference Models in Business-Driven Development.  In 2nd Workshop on Business Processes Design (BPD'06). Springer (Berlin/Heidelberg), LNCS, vol. 4103, pp. 35-44 (2006) 

Jana Koehler, Rainer Hauser, Jochen Küster, Ksenia Ryndina, Jussi Vanhatalo, Michael Wahler:  The Role of Visual Modeling and Model Transformations in Business-driven Development. In Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques. Elsevier (Amsterdam, The Netherlands), ENTCS, vol. 211, pp. 5-15 (2006) 

Jochen Küster, Mohamed Abd-El-Razik:  Validation of Model Transformations - First Experiences using a White Box Approach. In Proceedings of the workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France). Springer (Berlin/Heidelberg), LNCS, vol. 4364/2007, pp. 62-77 (2006) 

Jochen Küster, Shane Sendall, Michael Wahler:  Comparing two Model Transformation Approaches. In O. Patrascoiu (eds.): Proceedings of the Workshop on OCL and Model Driven Engineering (satellite event of the UML 2004), Lisbon (Portugal). University of Kent, pp. 114-127 (2004) 

Shane Sendall, Jochen Küster:  Taming Model Round-Trip Engineering. In Proceedings of Workshop on Best Practices for Model-Driven Software Development (satellite event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada). (2004) 

Jochen Küster:  Towards Inconsistency Handling of Object-Oriented Behavioral Models. In International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain). Elsevier (Amsterdam ,The Netherlands), Electronic Notes in Theoretical Computer Science, vol. 109, pp. 57-69 (2004) 

Shane Sendall, Rainer Hauser, Jana Koehler, Jochen Küster, Michael Wahler:  Understanding Model Transformation by Classification and Formalization. In Proceedings of the Workshop on Software Transformation Systems (STS 2004, satellite event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada). (2004) 

Jochen Küster, Jan Stehr:  Towards Explicit Behavioral Consistency Concepts in the UML.  In Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA). (2003) 

Reiko Heckel, Jochen Küster, Gabriele Taentzer:  Towards Automatic Translation of UML Models into Semantic Domains. In H.-J. Kreowski (eds.): Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002, satellite event of the ETAPS 2002), Grenoble (France). Universität Bremen, pp. 11-21 (2002) 

Gregor Engels, Jochen Küster, Reiko Heckel:  Towards Consistency-Preserving Model Evolution. In Proceedings of the International Workshop on Principles of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA). ACM Press (New York, NY, USA), pp. 129-132 (2004) 

Ralph Depke, Reiko Heckel, Jochen Küster:  Agent-oriented Modeling with Graph Transformation.  In P. Ciancarini, M.J. Wooldridge (eds.): Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland). Springer (Berlin/Heidelberg), LNCS, vol. 1957, pp. 105-120 (2001) 

Reiko Heckel, Jochen Küster:  Behavioral Constraints for Visual Models.  In Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, satellite event of the ICALP 2001), Heraklion (Greece). Elsevier, Electronic Notes in Theoretical Computer Science, vol. 50, no. 3 (2001) 

Gregor Engels, Jochen Küster:  Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models.  In Proceedings of the 1st Workshop on Describing Software Architecture with UML (satellite event of the ICSE 2001), Toronto (Canada). (2001) 

Jan Hendrik Hausmann, Jochen Küster, Stefan Sauer:  Identifiying Semantic Dimensions of (UML) Sequence Diagrams.  In A. Evans, R. France, A. Moreira, B. Rumpe (eds.): Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada). Gesellschaft für Informatik (GI) (Bonn), Lecture Notes in Informatics, vol. 7, pp. 142-157 (2001) 

Ralph Depke, Reiko Heckel, Jochen Küster:  Deploying Agents in an Electronic Banking Environment.  In Proceedings of the Workshop on Agents in Industry (Agents 2000; satellite event of the 4th International Conference on Autonomous Agents), Barcelona (Spain). (2000) 

Ralph Depke, Reiko Heckel, Jochen Küster:  Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specifcation to Object-Oriented Design.  In H. Ehrig, G. Taentzer (eds.): Proceedings of the workshop on Graph Transformation Systems (GraTra 2000), Berlin (Germany). (2000) 

Gregor Engels, Jochen Küster, Luuk Groenewegen:  Modeling Concurrent Behavior through Consistent Statechart Views.  In G. Reggio, A. Knapp, B. Rumpe, B. Selic, R. Wieringa (eds.): Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany). Ludwig-Maximilians-University (Munich (Germany)), no. 0006, pp. 44-49 (2000) 

Ralph Depke, Reiko Heckel, Jochen Küster:  Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML.  In P. Ciancarini, M.J. Wooldridge (eds.): Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (satellite event of the ICSE 2000), Limerick (Ireland). University of Limerick (Limerick, Ireland) (2000) 

Ralph Depke, Reiko Heckel, Jochen Küster:  Rollenbasierte Modellierung autonomer Agenten.  In H. Giese, S. Philippi (eds.): Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany). Universität Münster (Münster) (2000) 

Jochen Küster, Joachim Stroop:  Towards Consistency of Dynamic Models and Analysis of Timing Constraints.  In Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK). University of York (York, UK) (2000) 

Buchbeiträge (1)

Jochen Küster:  Konsistenzmanagement von objektorientierten Verhaltensmodellen. In D. Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe (eds.): Ausgezeichnete Informatikdissertationen 2004. Gesellschaft für Informatik (GI) (Bonn) (2005) 

Technische Berichte (5)

Jochen Küster, Dániel Kovács, Eduard Bauer, Christian Gerth:  Integrating Coverage Analysis into Test-driven Development of Model Transformations. IBM Research Report, no. RZ 3846. IBM Research - Zurich (2013) 

Christian Gerth, Markus Luckey, Jochen Küster, Gregor Engels:  Detection of Semantically Equivalent Fragments for Business Process Model Change Management. IBM Research Report, no. 3767. IBM Research - Zurich (2010) 

Gregor Engels, Jochen Küster, Luuk Groenewegen:  On the Specification and Analysis of Protocols in UML-RT. Technical report, no. 01-221 . University of Paderborn, Department of Computer Science (2001) 

Ralph Depke, Reiko Heckel, Jochen Küster:  Modeling Agent-Based Systems with Graph Transformation. Technical report, no. tr-ri-00-213. University of Paderborn, Department of Computer Science (2000) 

Ralph Depke, Gregor Engels, Jochen Küster:  On the Integration of Roles in the UML. Technical report, no. tr-ri-00-213. University of Paderborn, Department of Computer Science (2000) 

Dissertationen (1)

Jochen Küster:  Consistency Management of Object-Oriented Behavioral Models. PhD thesis, University of Paderborn (2004) 

Diplomarbeiten (1)

Jochen Küster:  Visual Modeling of Agent-Based Systems: A Role-Oriented Approach Using the UML.  Diploma thesis, University of Paderborn, Department of Computer Science (Paderborn) (2000) 
 

Projektgruppenberichte (1)

Reiko Heckel, Jochen Küster, Nils Bandener, Baris Güldali, Isabell Jahnich, Christian Köpke, Michael Weking:  Automatische Qualitätssicherung von UML Modellen.  Student project report, no. tr-ri-03-245. University of Paderborn (2003) 
 

Bachelorthesis | Titel: Automatisierung von Geschäftsprozessen mit menschlicher Interaktion: Vom BPMN‐Modell zum ausführbaren BPEL‐Prozess

Aufgabenbereich: Geschäftsprozess Modellierung und Transformation
Status: Abgeschlossen
Bearbeiter: Marvin Grieger
 

Beschreibung:
SIm Rahmen der Bachelorarbeit ist zu untersuchen, wie die Modellierung von Geschäftsprozessen mit menschlicher Interaktion sowie der Übergang zu einem ausführbaren Prozess am besten durchgeführen werden kann. Hierbei sollen zunächst Patterns bezüglich menschlicher Interaktion in Geschäftsprozessen identifiziert werden. Unter Einbeziehung der Patterns soll dann ein generelles Schema erarbeitet werden, um BPMN‐Modelle in ausführbare BPEL‐Prozesse zu transformieren. Dabei soll unter anderem herausgearbeitet werden, welche Probleme bei der automatischen Übersetzung von BPMN nach BPEL existieren und inwiefern eine Nachbearbeitung erforderlich ist, um den BPEL‐Prozess ausführen zu können. Ein weiteres Ziel der Arbeit ist es, verschiedene Entwicklungsumgebungen kritisch zu vergleichen. Die zu untersuchenden Entwicklungssysteme müssen die Modellierung von Geschäftsprozessen sowie deren Umsetzung in ausführbaren BPEL Prozesse unterstützen. Bezüglich des Vergleiches soll herausgearbeitet werden, ob die Entwicklungsumgebungen zu definierende Anforderungen erfüllt und inwiefern existierende Transformationsschemata konkret umgesetzt werden können. Dies soll beispielhaft anhand von ausgewählten Ausschnitten eines Geschäftsprozesses aus dem Bereich IT‐Service und ‐Wartung untersucht werden. Betreuung der Bachelorarbeit erfolgt in Kooperation mit Emanuel Georgiew (C-Lab, Siemens IT Solutions and Services).

Vorkenntnisse:

• mit der Modellierung von Geschäftsprozessen insbesondere in BPMN, sowie Kenntnisse von BPEL sind vorteilhaft.

Kontakt: Jochen Kuester, Prof. Dr. Gregor Engels
Anhang: noch kein Anhang

Betreute Seminarthemen

Current Trends for Self-* Systems (Seminar, SS2011)

Betreute Lehrveranstaltungen

• Survey of Semantic Web Services Approaches (Seminar: Neue Ansätze in der Softwarequalitätssicherung, SS 2009)
• Survey of Protocol Specification Techniques for Web Services (Seminar: Neue Ansätze in der Softwarequalitätssicherung, SS 2009)
• Comparsion of Ontology Matching Techniques (Seminar: Software-Qualitätssicherung , SS 2008)
• Protocol Matching (Seminar Phase: Project Group 'AppSolut', WS 2012)