@article{GerthSoSym11,
  author = {Christian Gerth AND Jochen K{\"u}ster AND Markus Luckey AND Gregor Engels},
  title = {Detection and Resolution of Conflicting Change Operations in Version Management of Process Models},
  journal = {Software and Systems Modeling},
  year = {2011},
  pages = {1-19},
  month = {December},
  abstract = {Version management of process models requires that different versions of process models are integrated by applying change operations. Conflict detection between individually applied change operations and conflict resolution support are integral parts of version management. For conflict detection it is utterly important to compute a precise set of conflicts, since the minimization of the number of detected conflicts also reduces the overhead for merging different process model versions. 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. Moreover, even the set of precisely computed conflicts can be extensive and their resolution means a significant workload for a user. As a consequence, adequate support is required that guides a user through the resolution process and suggests possible resolution strategies for individual 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 precisely, using a term formalization of process models and consider the subsequent resolution of the detected conflicts based on different strategies. Using this approach, we can significantly reduce the number of overall conflicts and reduce the amount of work for the user when resolving conflicts.}
}

@inproceedings{icws13,
  author = {Marie Christin Platenius AND Markus von Detten AND Christian Gerth AND Wilhelm Sch{\"a}fer AND Gregor Engels},
  title = {Service Matching under Consideration of Explicitly Specified Service Variants},
  booktitle = {IEEE 20th International Conference on Web Services (ICWS 2013)},
  year = {2013},
  publisher = {IEEE Computer Society (to appear)}
}

@inproceedings{Models2012,
  author = {Zille Huma AND Christian Gerth AND Gregor Engels AND Oliver Juwig},
  title = {Towards an Automatic Service Discovery for UML-based Rich Service Descriptions},
  booktitle = {Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS'12)},
  year = {2012},
  pages = {709-725},
  publisher = {Springer-Verlag},
  address = {Berlin/Heidelberg},
  abstract = {Service-oriented computing (SOC) promises to solve many issues in the area of distributed software development, e.g. the realization of the loose coupling pattern in practice through service discovery and invocation. For this purpose, service descriptions must comprise structural as well as behavioral information of the services otherwise an accurate service discovery is not possible. We addressed this issue in our previous paper and proposed a UML-based rich service description language (RSDL) providing comprehensive notations to specify service requests and offers.However, the automatic matching of service requests and offers specified in a RSDL for the purpose of service discovery is a complex task, due to multifaceted heterogeneity of the service partners. This heterogeneity includes the use of different underlying ontologies or different levels of granularity in the specification itself resulting in complex mappings between service requests and offers. In this paper, we present an automatic matching mechanism for service requests and offers specified in a RSDL that overcomes the underlying heterogeneity of the service partners.},
  series = {LNCS},
  volume = {7590}
}

@inproceedings{adaptcases_seams11,
  author = {Markus Luckey AND Benjamin Nagel AND Christian Gerth AND Gregor Engels},
  title = {Adapt Cases: Extending Use Cases for Adaptive Systems},
  booktitle = {Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems},
  year = {2011},
  pages = {30--39},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = {May},
  abstract = {Adaptivity is prevalent in today's software. Mobile devices self-adapt to available network connections, washing machines adapt to the amount of laundry, etc. Current approaches for engineering such systems facilitate the specification of adaptivity in the analysis and the technical design. However, the modeling of platform independent models for adaptivity in the logical design phase remains rather neglected causing a gap between the analysis and the technical design phase. To overcome this situation, we propose an approach called Adapt Cases. Adapt Cases allow the explicit modeling of adaptivity with dedicated means, enabling adaptivity to gather attention early in the software engineering process. Since our approach is based on use cases it is easy adoptable in new and even running projects that use the UML as a specification language, and additionally, can be easily incorporated into model-based development environments. },
  series = {SEAMS '11}
}

@inproceedings{KGE-Caise11,
  author = {Lial Khaluf AND Christian Gerth AND Gregor Engels},
  title = {Pattern-Based Modeling and Formalizing of Business Process Quality Constraints},
  booktitle = {Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE'11)},
  year = {2011},
  editor = {H. Mouratidis and C. Rolland},
  pages = {521-535},
  publisher = {Springer},
  address = {Berlin/Heidelberg},
  abstract = {The quality of business processes can be checked by verifying theircompliance with specific quality constraints. These constraints represent a set of required temporal and logical relationships between different steps of business processes.Quality constraints are usually formulated as informal texts, which makes themdifficult to be verified, when business processes become complex. One way tosolve this problem is by automating the verification of quality constraints onbusiness processes by applying model checking. To apply model checking, bothbusiness processes and quality constraints have to be formalized. In this paper,we define a new visual language for modeling quality constraints and we providea pattern-based translation for quality constraint models into Computation TreeLogic formulas.},
  series = {LNCS},
  volume = {6741}
}

@inproceedings{GerthSCC11,
  author = {Christian Gerth AND Markus Luckey AND Jochen K{\"u}ster AND Gregor Engels},
  title = {Precise Mappings between Business Process Models in Versioning Scenarios},
  booktitle = {Proceedings of the IEEE 8th International Conference on Services Computing (SCC'11)},
  year = {2011},
  pages = {218-225},
  publisher = {IEEE Computer Society},
  abstract = {In the development process of service-oriented systems, business process models are used at different levels. Typically, high-level business process models that describe business requirements and needs are stepwise refined to the IT level by different business modelers and software architects. As a result, different process model versions must be compared and merged by means of model version control. An important prerequisite for process model version control is an elaborated matching approach that results in precise mappings between different process model versions. The challenge of such an approach is to deal with syntactically different process models that are semantically equivalent. For that purpose, matching techniques must consider the semantics of process modeling languages. In this paper, we present a matching approach for process models in a versioning scenario. Based on a term formalization of process models, we enable an efficient and effective way to match syntactically different but semantically equivalent process models resulting in precise mappings.}
}

@inproceedings{quaasy_poster11,
  author = {Markus Luckey AND Christian Gerth AND Christian Soltenborn AND Gregor Engels},
  title = {QUAASY - QUality Assurance of Adaptive SYstems},
  booktitle = {Proceedings of the 8th International Conference on Autonomic Computing (ICAC'11)},
  year = {2011},
  publisher = {ACM},
  month = {June},
  abstract = {The emerging approach to tackle the increasing complexity of today's software systems is the use of self-adaptation techniques. Modeling and implementing adaptivity features is a burdensome and error-prone task that potentially results in erroneous system models. As a consequence, quality analysis and assurance must be considered early in the development of self-adaptive systems.We propose a quality assurance approach for self-adaptive systems in terms of an integrated modeling and analysis approach, which helps identifying errors in modeled self-adaptive systems early in the design process. We employ a modeling language for self-adaptive systems including adaptation rules and formally define their semantics. Given the language and its formal semantics, we formulate quality properties, such as fairness of the specified adaptation rule system. These quality properties are verified using a model checking approach.}
}

@inproceedings{Christ2010,
  author = {Fabian Christ AND Jan-Christopher Bals AND Gregor Engels AND Christian Gerth AND Markus Luckey},
  title = {A Generic Meta-Model-based Approach for Specifying Framework Functionality and Usage},
  booktitle = {Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS'10), M{'a}laga (Spain)},
  year = {2010},
  editor = {J. Vitek},
  pages = {21--40},
  publisher = {Springer},
  address = {Berlin/Heidelberg},
  month = {June},
  abstract = {Enterprise software development is based on the usage of frameworks. However, well-established concepts to specify framework functionality and how to use it can hardly be found. As consequence, there are poor framework documentations. Various problems arise from this, e.g. a high effort for learning a framework and therefore the need of framework specialists. Existing framework description languages (FDL) focus on parts of the problem but do not cover all aspects of specifying framework functionality and usage. In this paper, we present a generic approach for specifying all aspects of framework functionality and usage. We collected requirements to identify relevant aspects and defined a generic meta-model for FDLs. The generic meta-model is the base for defining concrete FDLs while guaranteeing that all relevant framework aspects are covered. Particularly, due to its generic character, parts of the meta-model representing specific framework aspects can be instantiated by existing or newly defined languages.},
  journal = {LNCS},
  series = {LNCS},
  volume = {6141}
}

@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.}
}

@inproceedings{KuesterGE10,
  author = {Jochen K{\"u}ster AND Christian Gerth AND Gregor Engels},
  title = {Dynamic Computation of Change Operations in Version Management of Business Process Models},
  booktitle = {Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA'10)},
  year = {2010},
  editor = {T. K{\"u}hne, B. Selic},
  pages = {201--216},
  publisher = {Springer},
  address = {Berlin/Heidelberg},
  month = {June},
  abstract = {Version management of business process models requires that changescan be resolved by applying change operations. In order to give a user maximalfreedom concerning the application order of change operations, position parameters of change operations must be computed dynamically during change resolution. In such an approach, change operations with computed position parameters must be applicable on the model and dependencies and conflicts of change operations must be taken into account because otherwise invalid models can be constructed. In this paper, we study the concept of partially specified change operations where parameters are computed dynamically. We provide a formalization for partially specified change operations using graph transformation and provide a concept for their applicability. Based on this, we study potential dependencies and conflicts of change operations and show how these can be taken into account within change resolution. Using our approach, a user can resolve changes of business process models without being unnecessarily restricted to a certain order.},
  series = {LNCS},
  volume = {6138}
}

@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}
}

@inproceedings{ECMDA-09,
  author = {Jochen K{\"u}ster AND Christian Gerth AND Gregor Engels},
  title = {Dependent and Conflicting Change Operations of Process Models},
  booktitle = {Proceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA'09)},
  year = {2009},
  pages = {158--173},
  publisher = {Springer},
  address = {Berlin/Heidelberg},
  abstract = {Version management of models is common for structural diagrams such as class diagrams but still challenging for behavioral models such as process models. For process models, conflicts of change operations are difficult to resolve because often dependencies to other change operations exist. As a consequence, conflicts and dependencies between change operations must be computed and shown to the user who can then take them into account while creating a consolidated version. In this paper, we introduce the concepts of dependencies and conflicts of change operations for process models and provide a method how to compute them. We then discuss different possibilities for resolving conflicts. Using our approach it is possible to enable version management of process models with minimal manual intervention of the user.},
  series = {LNCS},
  volume = {5562}
}

@inproceedings{GerthModels09,
  author = {Christian Gerth AND Jochen K{\"u}ster AND Gregor Engels},
  title = {Language-Independent Change Management of Process Models},
  booktitle = {Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09). Denver (CO, USA)},
  year = {2009},
  editor = {A. Sch{\"u}rr, B. Selic},
  pages = {152--166},
  publisher = {Springer},
  address = {Berlin/Heidelberg},
  abstract = {In model-driven development approaches, process models are used at different levels of abstraction and are described by different languages. Similar to other software artifacts, process models are developed in team environments and underlie constant change. This requires reusable techniques for the detection of changes between different process models and the computation of dependencies and conflicts between changes. In this paper, we propose a framework for the construction of process model change management solutions that provides generic techniques for the detection of differences and the computation of dependencies and conflicts between changes. The framework contains an abstract representation for process models that serves as a common denominator for different process models. In addition, we show how the framework is instantiated exemplarily for BPMN.},
  series = {LNCS},
  volume = {5795 }
}

@inproceedings{DetKGFE08,
  author = {Jochen K{\"u}ster AND Christian Gerth AND Alexander F{\"o}rster AND Gregor Engels},
  title = {Detecting and Resolving Process Model Differences in the Absence of a Change Log},
  booktitle = {Proceedings of the 6th International Conference on Business Process Management (BPM'08)},
  year = {2008},
  editor = {M. Dumas, M. Reichert, M.-C. Shan},
  pages = {244--260},
  publisher = {Springer},
  address = {Berlin/Heidelberg},
  abstract = {Business-driven development favors the construction of process models at different abstraction levels and by different people. As a consequence, there is a demand for consolidating different versions of process models by detecting and resolving differences. Existing approaches rely on the existence of a change log which logs the changes when changing a process model. However, in several scenarios such a change log does not exist and differences must be identified by comparing process models before and after changes have been made. In this paper, we present our approach to detecting and resolving differences between process models, in the absence of a change log. It is based on computing differences and deriving change operations for resolving differences, thereby providing a foundation for variant and version management in these cases.},
  series = {LNCS},
  volume = {5240}
}

@inproceedings{CAiSE13_Nagel,
  author = {Benjamin Nagel AND Christian Gerth AND Jennifer Post AND Gregor Engels},
  title = {Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies},
  booktitle = {Proceedings of the Forum at the CAiSE'13 Conference on Advanced Information Systems Engineering(accepted for publication)},
  year = {2013},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings}
}

@inproceedings{mobe13,
  author = {Enes Yigitbas AND Christian Gerth AND Stefan Sauer},
  title = {Konzeption modellbasierter Benutzungsschnittstellen f{\"u}r verteilte Selbstbedienungssysteme},
  booktitle = {Tagungsband des Workshop Modellbasierte Entwicklung von Benutzungsschnittstellen (MoBe'13) im Rahmen der INFORMATIK 2013},
  year = {2013},
  publisher = {Gesellschaft f{\"u}r Informatik (GI)},
  series = {Lecture Notes in Informatics (LNI) (to appear)}
}

@inproceedings{CAiSE12_Huma_Gerth,
  author = {Zille Huma AND Christian Gerth AND Gregor Engels AND Oliver Juwig},
  title = {A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners},
  booktitle = {Proceedings of the Forum at the CAiSE'12 Conference on Advanced Information Systems Engineering},
  year = {2012},
  pages = {90--97},
  publisher = {CEUR-WS.org},
  abstract = {Service-oriented computing (SOC) emerges as a promising trend solving many issues in distributed software development. Followingthe essence of SOC, service descriptions are dened by the service partners in their independent heterogeneous domains based on current standards, such as, WSDL. However, these standards are mostly syntacticand do not provide any semantic description which may lead to inaccurate service discovery results. Currently many research efforts aim at formulating rich service descriptions for service partners comprisingsyntactic as well as semantic information. However, due to the underlying heterogeneity of service partners in terms of different underlying ontologies, different description notations, etc., matching of rich servicedescriptions for accurate service discovery is a complex task. In this paper, we come up with a proposal for rich service descriptions based on the UML.},
  series = {CEUR Workshop Proceedings},
  volume = {855}
}

@inproceedings{nagel_mdhpcl12,
  author = {Benjamin Nagel AND Christian Gerth AND Enes Yigitbas AND Fabian Christ AND Gregor Engels},
  title = {Model-driven Specification of Adaptive Cloud-based Systems},
  booktitle = {Proceedings of 1st International Workshop on Model-Driven Engineering for High Performance and Cloud Computing (MDHPCL) at MODELS'12},
  year = {2012}
}

@inproceedings{luckey_eval4saso12,
  author = {Markus Luckey AND Christian Thanos AND Christian Gerth AND Gregor Engels},
  title = {Multi-Staged Quality Assurance for Self-Adaptive Systems},
  booktitle = {Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO'12 (to appear)},
  year = {2012}
}

@inproceedings{rich_change_mgmt_gerth_luckey_2012,
  author = {Christian Gerth AND Markus Luckey},
  title = {Towards Rich Change Management for Business Process Models},
  booktitle = {Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM'12)},
  year = {2012},
  editor = {Udo Kelter},
  pages = {32-34},
  publisher = {FG Softwaretechnik, Gesellschaft f{\"u}r Informatik e.v. (GI)},
  month = {November},
  abstract = {Business process models play an important role in the development of large IT systems, since they are easy to understand by all project stakeholders. High-level process models may be created by domain experts, which are stepwise refined in later development phases until they become executable. To establish such model-driven development (MDD) approaches in praxis, a comprehensive tool support of the complete model life cycle is necessary including model change management in particular. In this position paper, we give an overview of our framework for change management of business process models. This framework allows to merge process models in different modeling languages and considers the execution semantics of process models during comparison. Based on these results, we derive further research challenges with the aim to obtain a rich change management solution for business process models.},
  journal = {Softwaretechnik-Trends},
  series = {Softwaretechnik-Trends},
  volume = {32}
}

@inproceedings{GerthWS10,
  author = {Christian Gerth},
  title = {A Framework for Change Management of Business Process Models},
  booktitle = {Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science},
  year = {2010},
  editor = {DFG Research Training Group 1298 "AlgoSyn" RWTH Aachen University},
  pages = {183-184},
  organization = {DFG},
  month = {May}
}

@inproceedings{Kuester08,
  author = {Jochen K{\"u}ster AND Christian Gerth AND Alexander F{\"o}rster AND Gregor Engels},
  title = {A Tool for Process Merging in Business-Driven Development},
  booktitle = {Proceedings of the Forum at the CAiSE'08 Conference on Advanced Information Systems Engineering},
  year = {2008},
  editor = {Z. Bellahs{\`e}ne, R. Coletta, X. Franch, E. Hunt, C. Woo},
  pages = {89--92},
  publisher = {CEUR-WS.org},
  abstract = {Business-driven development favors the construction of process modelsat different abstraction levels and by different people. As a consequence, thereis a demand for consolidating different versions of process models by mergingthem. In this paper, we study a basic scenario, derive requirements and present aprototype for detecting and resolving changes between process models.},
  series = {CEUR Workshop Proceedings},
  volume = {344}
}

@techreport{techreportIBM13,
  author = {Jochen K{\"u}ster AND D{'a}niel Kov{'a}cs AND Eduard Bauer AND Christian Gerth},
  title = {Integrating Coverage Analysis into Test-driven Development of Model Transformations},
  institution = {IBM Research - Zurich},
  year = {2013},
  type = {IBM Research Report},
  number = {RZ 3846},
  month = {April},
  abstract = {For testing model transformations, a software engineer usually designs a test suite consisting of test cases where each test case consists of one or several models. In order to ensure a high quality of such a test suite, coverage achieved by the test cases with regard to the system under test must be systematically measured. The results obtained during coverage analysis can then be used e.g. for creating additional test cases. In addition to measuring coverage, a soft-ware engineer developing a model transformation is also confronted with howto integrate such coverage analysis results into the development process. For example, the software engineer has to decide when to measure coverage, when to investigate the results and how and when to take appropriate actions. In this paper, we present a prototypical tool which can be used for measuring coverage of test requirements for model transformations. We explain how a software engineer can make use of it in a test-driven development process for model transformations, in order to systematically develop high-quality model transformations.}
}

@techreport{GerthTR10,
  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},
  institution = {IBM Research - Zurich},
  year = {2010},
  type = {IBM Research Report},
  number = {3767},
  month = {February},
  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. Our approach enables the semantic comparison of business process models ignoring syntactic redundancies.}
}

@phdthesis{dissGerth,
  author = {Christian Gerth},
  title = {Business Process Models - Change Management},
  school = {University of Paderborn, Springer (Berlin/Heidelberg), LNCS, vol. 7849},
  year = {2013},
  abstract = {Driven by the need for a closer alignment of business and IT requirements, the role of business process models in the development of enterprise software systems has increased continuously. Similar to other software artifacts, process models are developed and refined in team environments by several stakeholders, resulting in different versions. These versions need to be merged in order to obtain an integrated process model. Existing solutions to this basic problem in the field of software configuration management are mainly limited to textual documents, e.g., source code.This monograph presents a generally applicable framework for process model change management, which provides easy-to-use comparison and merging capabilities for the integration of different process model versions. The framework supports popular modeling languages such as BPMN, BPEL, or UML Activity Diagrams. Differences between process models are represented in terms of intuitive, high-level change operations. Equipped with a sophisticated analysis of dependencies and a semantic-aware computation of conflicts between differences, the framework constitutes a comprehensive and practically usable solution for process model change management in the model-driven development of enterprise software systems.}
}

@mastersthesis{Gerth2007a,
  author = {Christian Gerth},
  title = {Business Process Merging - An Approach based on Single-Entry-Single-Exit Regions},
  school = {University of Paderborn},
  year = {2007},
  month = {October},
  abstract = {In this thesis an approach for business process merging is presented that covers the detectionof differences between given versions of a process model and provides operations for the resolution of the differences with respect to existing dependencies. },
  type = {Diploma Thesis}
}

@techreport{gerth2006,
  author = {Alexej Bondarenko AND Daniel Dau AND Stefan Feldkord AND Markus Gellermann AND Christian Gerth AND Markus Hornkamp AND Bj{\"o}rn M{\"u}hlenfeld AND Haibo Qiu},
  title = {Patternbasierte Gesch{\"a}ftsprozess-Modellierung (PaGeMo)},
  institution = {University of Paderborn},
  year = {2006},
  type = {Student project report},
  abstract = {Effektive und zuverl{\"a}ssige Gesch{\"a}ftsprozesse stellen einen wichtigen Baustein f{\"u}r den Erfolg moderner Unternehmen dar. F{\"u}r das Erstellen, das Verstehen und die Optimierung solcher Gesch{\"a}ftsprozesse ist es wichtig, Anforderungen an diese Prozesse, sogenannte Process Constraints, {\"u}berpr{\"u}fen zu k{\"o}nnen. Bei diesen Anforderungen handelt es sich zum Beispiel um gesetzliche, dom{\"a}nenspezifische oder qualitative Anforderungen.Die Erf{\"u}llung und Sicherstellung von Qualit{\"a}tsanforderungen, wie sie zum Beispiel in der ISO 9001-Norm formuliert sind, durch die Gesch{\"a}ftsprozesse eines Unternehmens ist ein wichtiger Bestandteil des Qualit{\"a}tsmanagements des Unternehmens. Solche Qualit{\"a}tsanforderungen lassen sich als Muster (engl. Pattern) f{\"u}r die Erstellung neuer, beziehungsweise die Optimierung bestehender Gesch{\"a}ftsprozesse verstehen. Die ISO 9001-Norm gibt hierbei keine konkrete Form der Gesch{\"a}ftsprozesse vor, sondern fordert lediglich die Einhaltung einiger Randbedingungen und Rahmenvorgaben durch die Prozesse.Eine automatische Verifikation der Qualit{\"a}tsanforderungen an einen Gesch{\"a}ftsprozess scheitert zun{\"a}chst daran, dass diese Anforderungen in der ISO 9001-Norm lediglich in nat{\"u}rlicher Sprache formuliert sind. Zuerst musste daher eine M{\"o}glichkeit gefunden werden, Qualit{\"a}tsanforderungen beziehungsweise Pattern zu pr{\"a}zisieren und zu formalisieren, um die automatische Verifikation zu erm{\"o}glichen. Zus{\"a}tzlich sollten diese Pattern jedoch auch von menschlichen Nutzern wie Qualit{\"a}tsmanagern, Dom{\"a}nenexperten und Prozessdesignern leicht zu erstellen, zu lesen und anzuwenden sein.Um diese beiden Forderungen zu erf{\"u}llen, wurden UML 2.0 Aktivit{\"a}tsdiagramme um einige neue Stereotypen erweitert. Diese Erweiterungen der Aktivit{\"a}tsdiagramme erm{\"o}glichen sowohl eine visuelle Modellierung der Pattern, besitzen jedoch auch eine klare formale Struktur. Im Rahmen der Projektgruppe wurde ein automatisiertes Tool entwickelt werden, das die Modellierung und Integration dieser Pattern in bestehende Gesch{\"a}ftsprozesse sowie die anschlie{\ss}ende Verifikation der Gesch{\"a}ftsprozesse unterst{\"u}tzt. Dieses Tool erm{\"o}glicht es einem Entwickler, zu jedem Zeitpunkt festzustellen, ob ein Gesch{\"a}ftsprozess die als Pattern formulierten (Qualit{\"a}ts-) Anforderungen erf{\"u}llt.}
}