Publications

@inproceedings{VRW09,
  author = {Hendrik Voigt AND Thomas Ruhroth AND Heike Wehrheim},
  title = {Measure, diagnose, refactor: A formal quality cycle for software models},
  booktitle = {35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)},
  year = {2009},
  publisher = {IEEE Computer Society},
  address = {Washington, DC, USA}
}

@inproceedings{VoigtR08,
  author = {Hendrik Voigt AND Thomas Ruhroth},
  title = {A Quality Circle Tool for Software Models},
  booktitle = {Proceedings of the 27th International Conference on Conceptual Modeling (ER 2008), Barcelona, Spain},
  year = {2008},
  editor = {Q. Li, S. Spaccapietra, E. Yu, A. Oliv{'e}},
  pages = {526--527},
  publisher = {Springer},
  address = {Berlin/Heidelberg},
  month = {October},
  abstract = {The quality management of software models is an important issue. As a preparative task, the quality circle requires quality planning. After that a software model can repeat the sequence: quality measurement, quality analysis, and quality improvement. Until now, existing tools lack support for all these activities at once. Therefore, we developed and implemented concepts that provide the full quality circle for software models. The considered models are mainly represented in the syntax of UML class and statechart diagrams and their semantics are formally defined. The formal semantics of the considered software models allows us to improve them while preserving their external behavior.},
  series = {LNCS},
  volume = {5231}
}

@inproceedings{VE08-2,
  author = {Hendrik Voigt AND Gregor Engels},
  title = {Ein verfeinerter GQM-Ansatz zur Qualit{\"a}tsbewertung von Software-Modellen},
  booktitle = {Proceedings of Software-Qualit{\"a}tsmodellierung und -bewertung (SQMB '08), M{\"u}nchen, Germany},
  year = {2008},
  editor = {S. Wagner, M. Broy, F. Deissenboeck, J. M{\"u}nch, P. Liggesmeyer},
  pages = {39--46},
  publisher = {Technische Universit{\"a}t M{\"u}nchen},
  abstract = {Wir stellen einen Qualit{\"a}tsmanagementansatz zur Bewertung von Software-Modellen vor. Unser Ansatz basiert auf der Goal Question Metric (GQM). Wir verfeinern GQM und f{\"u}gen wichtige Konzepte und Aktivit{\"a}ten hinzu, um auf diese Weise die Besonderheiten bei der Qualit{\"a}tsbewertung von Software-Modellen ber{\"u}cksichtigen zu k{\"o}nnen. Dabei konzentrieren wir uns insbesondere auf den Kontext eines Software-Modells als entscheidenden Einflussfaktor f{\"u}r die Dokumentation von Informationsbed{\"u}rfnissen, Qualit{\"a}tsverst{\"a}ndnis, Messung und Analyse. Aktuell wird eine Werkzeugunterst{\"u}tzung f{\"u}r die Eclipse Plattform entwickelt, damit unser Qualit{\"a}tsmanagementansatz evaluiert und wirtschaftlich eingesetzt werden kann.}
}

@inproceedings{VE08-1,
  author = {Hendrik Voigt AND Gregor Engels},
  title = {Kontextsensitive Qualit{\"a}tsplanung f{\"u}r Software-Modelle},
  booktitle = {Proceedings of Modellierung (2008), Berlin (Germany)},
  year = {2008},
  editor = {T. K{\"u}hne, W. Reisig, F. Steimann},
  pages = {165--180},
  publisher = {Gesellschaft f{\"u}r Informatik (GI)},
  address = {Bonn},
  month = {March},
  abstract = {Der Goal Question Metric (GQM) Ansatz stellt eine allgemeine Qualit{\"a}tsmanagementstrategie dar und ber{\"u}cksichtigt infolgedessen nicht die Besonderheiten von Software-Modellen. Wir haben eine kontextsensitive Qualit{\"a}tsplanung f{\"u}r Software- Modelle entwickelt, die den GQM-Ansatz auf die Qualit{\"a}tsplanung von Software- Modellen zuschneidet und um Konzepte und Aktivit{\"a}ten erweitert. Dabei konzentrieren wir uns auf den Kontext eines Software-Modells als entscheidenden Einflussfaktor f{\"u}r die Dokumentation von Informationsbed{\"u}rfnissen, Qualit{\"a}tsverst{\"a}ndnis und Messung. Unser Ansatz zur Qualit{\"a}tsplanung besteht aus einem Metamodell zur Formulierung relevanter Inhalte und einem Prozess, der als Leitfaden bei der Planung dient.},
  series = {Lecture Notes in Informatics},
  volume = {127}
}

@inproceedings{VGE08,
  author = {Hendrik Voigt AND Baris G{\"u}ldali AND Gregor Engels},
  title = {Quality Plans for Measuring the Testability of Models},
  booktitle = {Proceedings of the 11th International Conference on Quality Engineering in Software Technology (CONQUEST 2008), Potsdam (Germany)},
  year = {2008},
  editor = {I. Schieferdecker, S. Goericke},
  pages = {353--370},
  publisher = {dpunkt.verlag},
  abstract = {For models used in model-based testing, the evaluation of their testability is an important issue. Existing approaches lack some relevant aspects for a systematic and comprehensive evaluation. Either they do (1) not consider the context of software models, (2) not offer a systematic process for selecting and developing right measurements, (3) not define a consistent and common quality understanding, or (4) not distinct between objective and subjective measurements.We present a novel quality management approach for the evaluation of software models in general that considers all these aspects in an integrated way. Our approach is based on a combination of the Goal Question Metric (GQM) and quality models. We demonstrate our approach by systematically developing a short quality plan for measuring the testability of software models.}
}

@inproceedings{HeVo2003,
  author = {Hendrik Voigt AND Reiko Heckel},
  title = {Model-Based Development of Executable Business Processes for Web Services},
  booktitle = {Proceedings of Lectures on Concurrency and Petri Nets, Advances in Petri Nets (ACPN 2003), Eichst{\"a}tt, Germany},
  year = {2003},
  editor = {J. Desel, W. Reisig, G. Rozenberg},
  pages = {559--584},
  publisher = {Springer},
  address = {Berlin/Heidelberg},
  month = {September},
  abstract = {In order to implement business processes, the composition of simpler services provided by different independent participants requires a high degree of standardization and flexibility. For this purpose, platform-independent XML-based languages like the Business Process Execution Language for Web Services (BPEL4WS) are suitable. XML documents are in fact human readable, but in general they are hard to produce and to understand by business experts which are, however, most qualified for defining business processes. We present a model-based development method based on an intuitive and adequate modelling notation, an automatic transformation of process models to their XML-based encoding, and techniques to analyze processes. In this context the Unified Modeling Language (UML) as standard notation for modelling software, graph transformation as meta language for defining model transformations, and a semantic interpretation of process models in terms of Communicating Sequential Processes (CSP) are used.},
  volume = {3098}
}

@inproceedings{HKTV03,
  author = {Reiko Heckel AND Jochen K{\"u}ster AND Sebastian Th{\"o}ne AND Hendrik Voigt},
  title = {Towards Consistency of Web Service Architectures},
  booktitle = {Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA)},
  year = {2003},
  month = {July},
  abstract = {Web services are self-descriptive software components which can automatically be discovered and engaged, together with other web components, to complete tasks over the Internet. The integration of Web services entails consistency problems which can best be solved at the level of models. In this paper, we discuss an approach to model-based consistency management for component-based architectures and its application to Web service architectures.}
}

@inproceedings{Etoos2010,
  author = {Yavuz Sancar AND Frank Br{\"u}seke AND Hendrik Voigt AND Stefan Sauer AND Gregor Engels},
  title = {Towards Economical Software Release Recommendations},
  booktitle = {ECOOP 2010 - Workshop on Testing Object-Oriented Software Systems (ETOOS)},
  year = {2010},
  pages = {59-67},
  month = {June}
}

@phdthesis{VoigtDiss09,
  author = {Hendrik Voigt},
  title = {Kontextsensitive Qualit{\"a}tsplanung von Softwaremodellen},
  school = {University of Paderborn},
  year = {2009},
  abstract = {The Model Quality Plan (MQP) approach provided by us allows for the systematic and efficient development of quality plans that serve as a basis for the assessment of software models. MQP emphasizes the context of a software model as a major factor of influence for the whole quality planning activity. In order to adjust a quality plan to project specific requirements, quality goals are derived from a characterization of that context. We achieve a differentiated description of quality goals by introducing structured goals and questions in combination with a defined quality model. Afterwards, metrics and indicators are identified for checking the fulfillment of the quality goals. The result of our approach consists of a context sensitive quality plan for software models.Conceptually, we combine a metamodel for formulating relevant contents, a process that serves as a guideline for defining quality plans, and a rule concept for packaging and reusing experience into an integrated framework.We show its feasibility by three case studies that include a quality plan for analysis models, design models, and test models, respectively. For that, we provide tool support for the definition and application of quality plans.}
}

@mastersthesis{Voigt2003,
  author = {Hendrik Voigt},
  title = {Modell-basierte Analyse von ausf{\"u}hrbaren Gesch{\"a}ftsprozessen f{\"u}r Web Services},
  school = {University of Paderborn, Department of Computer Science},
  year = {2003},
  abstract = {Die vorliegende Diplomarbeit behandelt die Analyse von Gesch{\"a}ftsprozessen. In diesem Kontext werden Web Service Architekturen auf Basis von Modellen der Unified Modeling Language (UML) beschrieben. Es wird auf Konsistenzprobleme und Konsistenzanalysen sowie deren Durchf{\"u}hrung eingegangen. Der entwickelte Ansatz wird auf Basis der Gesch{\"a}ftsprozessbeschreibungssprache Business Process Execution Language for Web Services (BPEL4WS) evaluiert. Dar{\"u}ber hinaus wird der Einsatz von UML-Diagrammen zur Modellierung von Gesch{\"a}ftsprozessen im Allgemeinen und f{\"u}r BPEL4WS-Prozesse im Besonderen gezeigt. Web Services unterst{\"u}tzen den Nachrichtenaustausch zwischen Software-Applikationen. Aus technischer Sicht bestehen Web Services aus einer Menge von Methoden, die {\"u}ber ein Netzwerk aufgerufen und durch eine Service-Beschreibung definiert werden. BPEL4WS definiert eine Notation zum Import und Export von Web Services. Auf diese Weise realisieren ausf{\"u}hrbare Gesch{\"a}ftsprozesse auf Basis von BPEL4WS anspruchsvolle Aufgaben im Bereich des E-Business und pr{\"a}sentieren sich nach au{\ss}en erneut als Web Services. Um die korrekte Ausf{\"u}hrung dieser Gesch{\"a}ftsprozesse sicherzustellen, m{\"u}ssen die beteiligten Prozesse sich konsistent zueinander verhalten. Durch die Entwicklung eines UML-Modells f{\"u}r Web Service Architekturen k{\"o}nnen Konsistenzbedingungen auf einem hohen Abstraktionsniveau unabh{\"a}ngig von XML-basierten Sprachen und der Implementierungsebene betrachtet werden. Die visuelle Modellierungssprache UML erlaubt eine ad{\"a}quate Abstraktion von Implementierungsdetails und f{\"o}rdert somit ein besseres, intuitives Verst{\"a}ndnis f{\"u}r Konsistenzanalysen. Zudem erm{\"o}glicht die in der Diplomarbeit verwendete Methode zum Formalisieren und Analysieren relevanter Konsistenzprobleme die dynamische Gesch{\"a}ftsprozessintegration. Der Einsatz unterschiedlicher Diagrammtypen der UML bietet eine differenzierte Sicht auf den zu entwickelnden Gesch{\"a}ftsprozess. Dabei entstehen inhaltliche {\"U}berlappungen, die Quelle f{\"u}r Inkonsistenzen sein k{\"o}nnen. Zur Kategorisierung der Konsistenzprobleme wird zwischen horizontaler und vertikaler Konsistenz differenziert. Horizontale Konsistenz beschreibt Konsistenzbedingungen f{\"u}r Diagramme des gleichen Typs. Vertikale Konsistenz bezieht sich dagegen auf Diagramme unterschiedlichen Typs. Eine weitere Dimension bei der Kategorisierung von Konsistenzproblemen ist die Sprache, auf der die Analyse aufsetzt. Basiert die Konsistenzanalyse auf der Ausgangssprache, so wird von syntaktischer Konsistenzanalyse gesprochen. Handelt es sich bei der semantischen Dom{\"a}ne um eine von der Ausgangssprache abweichende Sprache, bezeichnet man die Analyse als semantische Konsistenzanalyse.Das vorgestellte Konzept erm{\"o}glicht eine Strukturierung der Konsistenzprobleme. F{\"u}r die Analyse auf Modellebene werden Fehlerpattern definiert, die ein intuitives Verst{\"a}ndnis f{\"u}r die Problematik beg{\"u}nstigen. Zudem werden inhaltliche {\"U}berlappungen der Modelle unterschiedlichen Diagrammtyps vorgestellt und klassische Anforderungen an Prozesse wie Deadlock und Livelock betrachtet. Um komplexere und automatisierte Analysen bzgl. des Prozessverhaltens zu unterst{\"u}tzen, werden Aktivit{\"a}tendiagramme in die Prozessalgebra Communicating Sequential Processes (CSP) {\"u}bersetzt. Als Analysetool f{\"u}r CSP dient Failures-Divergence Refinement 2 (FDR2). Diese Diplomarbeit legt die theoretische Basis f{\"u}r Konsistenzanalysen, die als Vorbedingung f{\"u}r qualitativ hochwertige Gesch{\"a}ftsprozessintegration anzusehen ist und entwickelt Interpretationen f{\"u}r die Analyseergebnisse des Tools FDR2. In diesem Kontext wird dem Aspekt der Dynamik der Gesch{\"a}ftsprozessintegration durch die entwickelten {\"U}bersetzungsstrategien zwischen den eingesetzten Sprachen Rechnung getragen, deren Automatisierung allerdings noch offen steht.},
  type = {Diploma Thesis}
}