Dr. Christian Gerth

Wissenschaftlicher Mitarbeiter

Universität Paderborn Fakultät für Elektrotechnik, Informatik und Mathematik Institut für Informatik Zukunftsmeile 1 33102 Paderborn Senior Researcher @ s-lab
Büro:	ZM1.03-07
Telefon:	(+49) 5251 - 60-3358
Fax:	(+49) 5251 - 60-3431
Email:	gerth[at]uni-paderborn.de

Forschung

Forschungsinteressen

• Change Management for Business Process Models
• Self-Adaptive Software Systems
• Service-Oriented Computing
• Business Process Development
• Software Quality Assurance

Betreute Lehrveranstaltungen

• SS 2013: Seminar "Model Refactoring" (in English, Lehrauftrag)
• WS 2012/2013: Vorlesung Softwareentwurf (Lehrauftrag)
• SS 2011: Projektgruppe "Modeling and Execution of Process-driven Adaptive Service Orchestrations (ME PASO)"
• SS 2011: Seminar "Current Trends for Self-* Systems"
• SS 2009: Seminar "Neue Ansätze in der Softwarequalitätssicherung"

Scientific Service

Reviews

Conferences & Workshops:

• ACM / IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS): 2008, 2009, 2010, 2011, 2012
  
• International Conference on Business Process Management (BPM): 2009, 2010, 2011, 2012
  
• European Conference on Modelling Foundations and Applications (ECMFA), 2009, 2010, 2011, 2012
  
• International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT): 2009, 2010, 2012, 2013
• International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS): 2011, 2012
• IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC): 2009, 2010 
• International Conference on Software Language Engineering (SLE): 2009, 2010
• International Conference on Model Transformation (ICMT): 2010, 2012
• European Conference on Information Systems (ECIS): 2013
• International Conference on Fundamental Approaches to Software Engineering (FASE): 2012
• International Conference on Service Oriented Computing (ICSOC): 2011
• Software Engineering Conference (SE): 2010, 2013
• International Conference on Complex, Intelligent and Software-Intensive Systems (CISIS): 2010
• International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM): 2010

• Software and Systems Modeling (SoSym), Springer
• IEEE Transactions on Software Engineering (TSE)
• Journal of Visual Languages and Computing (JVLC), Elsevier

Auszeichnungen

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). Best Student Paper of SCC 2010.

[Show Abstract]

Modern business process modeling environments support distributed development by means of model version control, i. e., comparison and merging of two different model versions. This is a challenging task since most modeling languages support an almost arbitrary creation of process models. Thus, in multi-developer environments, process models or parts of them are often syntactically very different but semantically equivalent. Hence, the comparison of business process models must be performed on a semantic level rather then on a syntactic level. For the domain of business process modeling, this problem is yet unsolved.
This paper describes an approach that allows the semantic comparison of different business process models using a normal form. For that purpose, the process models are fully automatically translated into process model terms and normalized using a term rewriting system. The resulting normal forms can be efficiently compared and easily be used for reconciliation. Our approach enables the semantic comparison of business process models ignoring syntactic redundancies.

[PDF] [Show BibTeX]

@inproceedings{GerthSCC10,
  author = {Christian Gerth AND Markus Luckey AND Jochen K{\"u}ster AND Gregor Engels},
  title = {Detection of Semantically Equivalent Fragments for Business Process Model Change Management},
  booktitle = {Proceedings of the IEEE 7th International Conference on Services Computing (SCC'10)},
  year = {2010},
  pages = {57--64},
  publisher = {IEEE Computer Society},
  note = {Best Student Paper of SCC 2010.},
  abstract = {Modern business process modeling environments support distributed development by means of model version control, i. e., comparison and merging of two different model versions. This is a challenging task since most modeling languages support an almost arbitrary creation of process models. Thus, in multi-developer environments, process models or parts of them are often syntactically very different but semantically equivalent. Hence, the comparison of business process models must be performed on a semantic level rather then on a syntactic level. For the domain of business process modeling, this problem is yet unsolved.This paper describes an approach that allows the semantic comparison of different business process models using a normal form. For that purpose, the process models are fully automatically translated into process model terms and normalized using a term rewriting system. The resulting normal forms can be efficiently compared and easily be used for reconciliation. Our approach enables the semantic comparison of business process models ignoring syntactic redundancies.}
}

[DOI]

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). ACM Distinguished Paper Award MODELS 2010.

[Show Abstract]

Version management of process models requires that changes can be resolved by applying change operations. Conflict detection is an important part of version management and the minimization of the number of detected conflicts also reduces the overhead when resolving changes. As not every syntactic conflict leads to a conflict when taking into account model semantics, a computation
of conflicts solely on the syntax leads to an unnecessary high number of conflicts. In this paper, we introduce the notion of syntactic and semantic conflicts for change operations of process models. We provide a method how to efficiently compute conflicts, using a term formalization of process models. Using this approach, we can significantly reduce the number of overall conflicts and thereby reduce the amount of work for the user when resolving
conflicts.

[PDF] [Show BibTeX]

@inproceedings{GerthModels10,
  author = {Christian Gerth AND Jochen K{\"u}ster AND Markus Luckey AND Gregor Engels},
  title = {Precise Detection of Conflicting Change Operations using Process Model Terms},
  booktitle = {Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10)},
  year = {2010},
  editor = {D.C. Petriu, N. Rouquette, and {\O}. Haugen},
  pages = {93--107},
  publisher = {Springer},
  address = {Berlin/Heidelberg},
  month = {October},
  note = {ACM Distinguished Paper Award MODELS 2010.},
  abstract = {Version management of process models requires that changes can be resolved by applying change operations. Conflict detection is an important part of version management and the minimization of the number of detected conflicts also reduces the overhead when resolving changes. As not every syntactic conflict leads to a conflict when taking into account model semantics, a computationof conflicts solely on the syntax leads to an unnecessary high number of conflicts. In this paper, we introduce the notion of syntactic and semantic conflicts for change operations of process models. We provide a method how to efficiently compute conflicts, using a term formalization of process models. Using this approach, we can significantly reduce the number of overall conflicts and thereby reduce the amount of work for the user when resolvingconflicts.},
  series = {LNCS},
  volume = {6395}
}

[DOI]

Curriculum Vitae

Mitgliedschaften

Betreute Abschlussarbeiten

Master's Theses:

Simon Schwichtenberg, Ontology-based Normalization and Matching of Rich Service Descriptions, University of Paderborn, work in progress

Erik Budweg, Decision Support for Testing and Compatibility Issues during the Evolution of Software Platforms, University of Paderborn in Cooperation with Wincor Nixdorf, Paderborn, work in progress

Andreas Pfau, Empirische Untersuchung unterschiedlicher Technologien der dynamischen Codegenerierung (in German), University of Paderborn in Cooperation with Capgemini, Hamburg, work in progress

Paul Prescher, Automated Testing of Software Platform Evolution, University of Paderborn in Cooperation with Wincor Nixdorf, Paderborn, November 2012

Lial Khaluf, Business Process Quality Assurance, University of Paderborn, June 2010

Bachelor's Theses:

Johannes Brandt, Ausführungsmodelle für prozessbasierte Cross-Device-Anwendungen (in German), University of Paderborn, work in progress

Markus Kuhn, Erweiterung der BPMN zur Spezikation von Prozessmodellen für Cross-Device-Anwendungen (in German), University of Paderborn in Cooperation, work in progress

Dominik Lüke, Entwicklung einer App zur modellbasierten Aufbereitung und Visualisierung von Unternehmenskennzahlen (in German), University of Paderborn in Cooperation with Atos IT Solutions and Services GmbH, München, work in progress

Jan-Gerd Mess, Generierung von nutzerspezifischen Sichten auf Anforderungsdokumente im Requirements Engineering (in German), University of Paderborn, February 2013

Daniel Schencke, Erweiterung der BPMN zur Definition von Varianzpunkten in Referenzgeschäftsprozessen (in German), University of Paderborn, November 2010

Marvin Grieger, Automatisierung von Geschäftsprozessen mit menschlicher Interaktion: Vom BPMN‐Modell zum ausführbaren BPEL‐Prozess (in German), University of Paderborn, November 2009