Hendrik Voigt and Thomas Ruhroth and Heike Wehrheim: Measure, diagnose, refactor: A formal quality cycle for software models. In 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). IEEE Computer Society (Washington, DC, USA) (2009)
Show Bibtex

@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}, address = {Washington, DC, USA}, publisher = {IEEE Computer Society} }

Hendrik Voigt and Thomas Ruhroth: A Quality Circle Tool for Software Models. In Proceedings of the 27th International Conference on Conceptual Modeling (ER 2008), Barcelona, Spain. Springer (Berlin/Heidelberg), LNCS, vol. 5231, pp. 526--527 (2008)
Show Bibtex | Show Abstract | DOI

@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}, volume = {5231}, series = {LNCS}, pages = {526--527}, address = {Berlin/Heidelberg}, month = {October}, publisher = {Springer} }

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.

Hendrik Voigt and Baris Güldali and Gregor Engels: Quality Plans for Measuring the Testability of Models. In Proceedings of the 11th International Conference on Quality Engineering in Software Technology (CONQUEST 2008), Potsdam (Germany). dpunkt.verlag, pp. 353--370 (2008)
Show Bibtex | Show Abstract

@inproceedings{VGE08, author = {Hendrik Voigt and Baris Gü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}, pages = {353--370}, publisher = {dpunkt.verlag} }

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.

Hendrik Voigt and Gregor Engels: Ein verfeinerter GQM-Ansatz zur Qualitätsbewertung von Software-Modellen. In Proceedings of Software-Qualitätsmodellierung und -bewertung (SQMB '08), München, Germany. Technische Universität München, pp. 39--46 (2008)
Show Bibtex | Show Abstract

@inproceedings{VE08-2, author = {Hendrik Voigt and Gregor Engels}, title = {Ein verfeinerter GQM-Ansatz zur Qualitätsbewertung von Software-Modellen}, booktitle = {Proceedings of Software-Qualitätsmodellierung und -bewertung (SQMB '08), München, Germany}, year = {2008}, pages = {39--46}, publisher = {Technische Universität München} }

Wir stellen einen Qualitätsmanagementansatz zur Bewertung von Software-Modellen vor. Unser Ansatz basiert auf der Goal Question Metric (GQM). Wir verfeinern GQM und fügen wichtige Konzepte und Aktivitäten hinzu, um auf diese Weise die Besonderheiten bei der Qualitätsbewertung von Software-Modellen berücksichtigen zu können. Dabei konzentrieren wir uns insbesondere auf den Kontext eines Software-Modells als entscheidenden Einflussfaktor für die Dokumentation von Informationsbedürfnissen, Qualitätsverständnis, Messung und Analyse. Aktuell wird eine Werkzeugunterstützung für die Eclipse Plattform entwickelt, damit unser Qualitätsmanagementansatz evaluiert und wirtschaftlich eingesetzt werden kann.

Hendrik Voigt and Gregor Engels: Kontextsensitive Qualitätsplanung für Software-Modelle. In Proceedings of Modellierung (2008), Berlin (Germany). Gesellschaft für Informatik (GI) (Bonn), Lecture Notes in Informatics, vol. 127, pp. 165--180 (2008)
Show Bibtex | Show Abstract

@inproceedings{VE08-1, author = {Hendrik Voigt and Gregor Engels}, title = {Kontextsensitive Qualitätsplanung für Software-Modelle}, booktitle = {Proceedings of Modellierung (2008), Berlin (Germany)}, year = {2008}, volume = {127}, series = {Lecture Notes in Informatics}, pages = {165--180}, address = {Bonn}, month = {March}, publisher = {Gesellschaft für Informatik (GI)} }

Der Goal Question Metric (GQM) Ansatz stellt eine allgemeine Qualitätsmanagementstrategie dar und berücksichtigt infolgedessen nicht die Besonderheiten von Software-Modellen. Wir haben eine kontextsensitive Qualitätsplanung für Software- Modelle entwickelt, die den GQM-Ansatz auf die Qualitätsplanung von Software- Modellen zuschneidet und um Konzepte und Aktivitäten erweitert. Dabei konzentrieren wir uns auf den Kontext eines Software-Modells als entscheidenden Einflussfaktor für die Dokumentation von Informationsbedürfnissen, Qualitätsverständnis und Messung. Unser Ansatz zur Qualitätsplanung besteht aus einem Metamodell zur Formulierung relevanter Inhalte und einem Prozess, der als Leitfaden bei der Planung dient.

Reiko Heckel and Jochen Küster and Sebastian Thöne and 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)
Show Bibtex | Show Abstract

@inproceedings{HKTV03, author = {Reiko Heckel and Jochen Küster and Sebastian Thö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} }

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.

Hendrik Voigt and Reiko Heckel: Model-Based Development of Executable Business Processes for Web Services. In Proceedings of Lectures on Concurrency and Petri Nets, Advances in Petri Nets (ACPN 2003), Eichstätt, Germany. Springer (Berlin/Heidelberg), vol. 3098, pp. 559--584 (2003)
Show Bibtex | Show Abstract

@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ätt, Germany}, year = {2003}, volume = {3098}, pages = {559--584}, address = {Berlin/Heidelberg}, month = {September}, publisher = {Springer} }

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.

Yavuz Sancar and Frank Brüseke and Hendrik Voigt and Stefan Sauer and Gregor Engels: Towards Economical Software Release Recommendations. In ECOOP 2010 - Workshop on Testing Object-Oriented Software Systems (ETOOS). , pp. 59-67 (2010)
Show Bibtex

@inproceedings{Etoos2010, author = {Yavuz Sancar and Frank Brü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} }

Hendrik Voigt: Kontextsensitive Qualitätsplanung von Softwaremodellen. Type: Phd Thesis (2009)
Show Bibtex | Show Abstract

@phdthesis{VoigtDiss09, author = {Hendrik Voigt}, title = {Kontextsensitive Qualitätsplanung von Softwaremodellen}, year = {2009} }

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.

Hendrik Voigt: Modell-basierte Analyse von ausführbaren Geschäftsprozessen für Web Services. Type: Diploma Thesis, diplomathesis (2003)
Show Bibtex | Show Abstract

@mastersthesis{Voigt2003, author = {Hendrik Voigt}, title = {Modell-basierte Analyse von ausführbaren Geschäftsprozessen für Web Services}, year = {2003}, type = {diplomathesis} }

Die vorliegende Diplomarbeit behandelt die Analyse von Geschä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ührung eingegangen. Der entwickelte Ansatz wird auf Basis der Geschäftsprozessbeschreibungssprache Business Process Execution Language for Web Services (BPEL4WS) evaluiert. Darüber hinaus wird der Einsatz von UML-Diagrammen zur Modellierung von Geschäftsprozessen im Allgemeinen und für BPEL4WS-Prozesse im Besonderen gezeigt. Web Services unterstützen den Nachrichtenaustausch zwischen Software-Applikationen. Aus technischer Sicht bestehen Web Services aus einer Menge von Methoden, die ü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ührbare Geschäftsprozesse auf Basis von BPEL4WS anspruchsvolle Aufgaben im Bereich des E-Business und präsentieren sich nach außen erneut als Web Services. Um die korrekte Ausführung dieser Geschäftsprozesse sicherzustellen, müssen die beteiligten Prozesse sich konsistent zueinander verhalten. Durch die Entwicklung eines UML-Modells für Web Service Architekturen können Konsistenzbedingungen auf einem hohen Abstraktionsniveau unabhängig von XML-basierten Sprachen und der Implementierungsebene betrachtet werden. Die visuelle Modellierungssprache UML erlaubt eine adäquate Abstraktion von Implementierungsdetails und fördert somit ein besseres, intuitives Verständnis für Konsistenzanalysen. Zudem ermöglicht die in der Diplomarbeit verwendete Methode zum Formalisieren und Analysieren relevanter Konsistenzprobleme die dynamische Geschäftsprozessintegration. Der Einsatz unterschiedlicher Diagrammtypen der UML bietet eine differenzierte Sicht auf den zu entwickelnden Geschäftsprozess. Dabei entstehen inhaltliche Überlappungen, die Quelle für Inkonsistenzen sein können. Zur Kategorisierung der Konsistenzprobleme wird zwischen horizontaler und vertikaler Konsistenz differenziert. Horizontale Konsistenz beschreibt Konsistenzbedingungen fü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äne um eine von der Ausgangssprache abweichende Sprache, bezeichnet man die Analyse als semantische Konsistenzanalyse. Das vorgestellte Konzept ermöglicht eine Strukturierung der Konsistenzprobleme. Für die Analyse auf Modellebene werden Fehlerpattern definiert, die ein intuitives Verständnis für die Problematik begünstigen. Zudem werden inhaltliche Ü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ützen, werden Aktivitätendiagramme in die Prozessalgebra Communicating Sequential Processes (CSP) übersetzt. Als Analysetool für CSP dient Failures-Divergence Refinement 2 (FDR2). Diese Diplomarbeit legt die theoretische Basis für Konsistenzanalysen, die als Vorbedingung für qualitativ hochwertige Geschäftsprozessintegration anzusehen ist und entwickelt Interpretationen für die Analyseergebnisse des Tools FDR2. In diesem Kontext wird dem Aspekt der Dynamik der Geschäftsprozessintegration durch die entwickelten Übersetzungsstrategien zwischen den eingesetzten Sprachen Rechnung getragen, deren Automatisierung allerdings noch offen steht.