Markus Luckey, Gregor Engels:
High-Quality Specification of Self-Adaptive Software Systems. In Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems. ACM (to appear) (New York, NY, USA), SEAMS '13
(2013)
[
PDF] [
Show BibTeX]

@inproceedings{acml_seams13,
author = {Markus Luckey AND Gregor Engels},
title = {High-Quality Specification of Self-Adaptive Software Systems},
booktitle = {Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems},
year = {2013},
publisher = {ACM (to appear)},
address = {New York, NY, USA},
month = {May},
series = {SEAMS '13}
}
Gunter Mussbacher, Omar Alam, Mohammed Alhaj, Shaukat Ali, Nuno Amálio, Balbir Barn, Rolv Bræk, Tony Clark, Benoit Combemale, Luiz Marcio Cysneiros, Urooj Fatima, Robert France, Geri Georg, Jennifer Horkoff, Jörg Kienzle, Julio Cesar Leite, Timothy C. Lethbridge, Markus Luckey, Ana Moreira, Felix Mutz, A. Padua A. Oliveira, Dorina C. Petriu, Matthias Schöttle, Lucy Troup, Vera M. B. Werneck:
Assessing composition in modeling approaches. In Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012). ACM (New York, NY, USA), CMA'12
(2012)
[
Show BibTeX]

@inproceedings{cma12,
author = {Gunter Mussbacher AND Omar Alam AND Mohammed Alhaj AND Shaukat Ali AND Nuno Am{'a}lio AND Balbir Barn AND Rolv Bræk AND Tony Clark AND Benoit Combemale AND Luiz Marcio Cysneiros AND Urooj Fatima AND Robert France AND Geri Georg AND Jennifer Horkoff AND J{\"o}rg Kienzle AND Julio Cesar Leite AND Timothy C. Lethbridge AND Markus Luckey AND Ana Moreira AND Felix Mutz AND A. Padua A. Oliveira AND Dorina C. Petriu AND Matthias Sch{\"o}ttle AND Lucy Troup AND Vera M. B. Werneck},
title = {Assessing composition in modeling approaches},
booktitle = {Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)},
year = {2012},
publisher = {ACM},
address = {New York, NY, USA},
series = {CMA'12}
}
[
DOI]
Silke Geisen:
Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt. In Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium. Petra Hofstedt, Claus Lewerentz (BTU Cottbus), vol. Report 01/12, pp. 7-12
(2012)
[
Show Abstract]

Um die erfolgreiche Entwicklung einer Software zu gewährleisten, wird die Software Engineering Methode (SEM) zu Beginn eines Projektes auf die Projektsituation abgestimmt. Doch gerade Änderungen an der Projektsituation oder mangelnde Qualität während der Durchführung machen eine dynamische Anpassung der SEM nötig. Mit bekannten Verbesserungs- bzw. Anpassungsverfahren wie Six Sigma oder dem Deming Cycle, ist dies nur schwer oder gar nicht möglich. Ansätze aus dem Autonomic Computing beobachten selbstständig Systeme über Feedbackschleifen und passen das System gegebenenfalls an. Diese Arbeit beschäftigt sich mit der Idee, wie sich eine solche Feedbackschleife für die dynamische Anpassung von Software Engineering Methoden nutzen lässt.
[
Show BibTeX]

@inproceedings{Geisen 022012,
author = {Silke Geisen},
title = {Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt},
booktitle = {Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium},
year = {2012},
pages = {7-12},
publisher = {Petra Hofstedt, Claus Lewerentz (BTU Cottbus)},
abstract = {Um die erfolgreiche Entwicklung einer Software zu gew{\"a}hrleisten, wird die Software Engineering Methode (SEM) zu Beginn eines Projektes auf die Projektsituation abgestimmt. Doch gerade {\"A}nderungen an der Projektsituation oder mangelnde Qualit{\"a}t w{\"a}hrend der Durchf{\"u}hrung machen eine dynamische Anpassung der SEM n{\"o}tig. Mit bekannten Verbesserungs- bzw. Anpassungsverfahren wie Six Sigma oder dem Deming Cycle, ist dies nur schwer oder gar nicht m{\"o}glich. Ans{\"a}tze aus dem Autonomic Computing beobachten selbstst{\"a}ndig Systeme {\"u}ber Feedbackschleifen und passen das System gegebenenfalls an. Diese Arbeit besch{\"a}ftigt sich mit der Idee, wie sich eine solche Feedbackschleife f{\"u}r die dynamische Anpassung von Software Engineering Methoden nutzen l{\"a}sst.},
volume = {Report 01/12}
}
Silke Geisen, Markus Luckey, Gregor Engels:
Ein Ansatz zur dynamischen Qualitätsmessung, -bewertung und Anpassung von Software Engineering Methoden. In Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle. Shaker Verlag, pp. 111-120
(2012)
[
Show Abstract]

Damit die erfolgreiche Entwicklung einer Software und damit der Erfolg eines Projektes gewährleistet ist, wird häufig eine Software Engineering Methode (SEM) zu Beginn auf die Projektsituation abgestimmt. Doch während der Durchführung der Software Engineering Methode können Änderungen an der Projektsituation oder mangelnde Qualität den Projekterfolg gefährden. Diese Situationen machen eine dynamische Anpassung der SEM, insbesondere zur Erreichung der Qualitätsziele, erforderlich. Bekannte Verbesserungs- bzw. Anpassungsverfahren wie Six Sigma oder dem Deming Cycle sind aufgrund ihrer langen Durchführungsdauer kaum für eine solche Anpassung geeignet. Ferner finden diese Verfahren typischerweise nach einem Projekt statt und betrachten selten Änderungen an der aktuellen Projektsituation oder die Qualität der SEM während der Durchführung. Agile Methoden wie Scrum nutzen erste Möglichkeiten zur Inspektion und Anpassung im laufenden Projekt. Diese Idee soll aufgegriffen und weiter verbessert werden. Im Gegensatz zu Six Sigma und dem Deming Cycle beobachten Ansätze aus dem Autonomic Computing zur Laufzeit selbstständig Systeme über Feedbackschleifen und passen das System gegebenenfalls an. Das bekannteste Modell ist die sogenannte MAPE-K Schleife. Diese Arbeit stellt einen Ansatz vor, wie sich die MAPE-K Schleife für die dynamische Anpassung von Software Engineering Methoden sowie zur kontinuierlichen Qualitätsmessung und Bewertung nutzen lässt.
[
Show BibTeX]

@inproceedings{Geisen_Luckey092012,
author = {Silke Geisen AND Markus Luckey AND Gregor Engels},
title = {Ein Ansatz zur dynamischen Qualit{\"a}tsmessung,-bewertung und Anpassung von Software Engineering Methoden},
booktitle = {Proceedings of 19. GI-WIVM Workshop: Qualit{\"a}tsmanagement und Vorgehensmodelle},
year = {2012},
pages = {111-120},
publisher = {Shaker Verlag},
month = {September},
abstract = {Damit die erfolgreiche Entwicklung einer Software und damit der Erfolg eines Projektes gew{\"a}hrleistet ist, wird h{\"a}ufig eine Software Engineering Methode (SEM) zu Beginn auf die Projektsituation abgestimmt. Doch w{\"a}hrend der Durchf{\"u}hrung der Software Engineering Methode k{\"o}nnen {\"A}nderungen an der Projektsituation oder mangelnde Qualit{\"a}t den Projekterfolg gef{\"a}hrden. Diese Situationen machen eine dynamische Anpassung der SEM, insbesondere zur Erreichung der Qualit{\"a}tsziele, erforderlich. Bekannte Verbesserungs- bzw. Anpassungsverfahren wie Six Sigma oder dem Deming Cycle sind aufgrund ihrer langen Durchf{\"u}hrungsdauer kaum f{\"u}r eine solche Anpassung geeignet. Ferner finden diese Verfahren typischerweise nach einem Projekt statt und betrachten selten {\"A}nderungen an der aktuellen Projektsituation oder die Qualit{\"a}t der SEM w{\"a}hrend der Durchf{\"u}hrung. Agile Methoden wie Scrum nutzen erste M{\"o}glichkeiten zur Inspektion und Anpassung im laufenden Projekt. Diese Idee soll aufgegriffen und weiter verbessert werden. Im Gegensatz zu Six Sigma und dem Deming Cycle beobachten Ans{\"a}tze aus dem Autonomic Computing zur Laufzeit selbstst{\"a}ndig Systeme {\"u}ber Feedbackschleifen und passen das System gegebenenfalls an. Das bekannteste Modell ist die sogenannte MAPE-K Schleife. Diese Arbeit stellt einen Ansatz vor, wie sich die MAPE-K Schleife f{\"u}r die dynamische Anpassung von Software Engineering Methoden sowie zur kontinuierlichen Qualit{\"a}tsmessung und Bewertung nutzen l{\"a}sst.}
}
Matthias Becker, Markus Luckey, Steffen Becker:
Model-driven Performance Engineering of Self-Adaptive Systems: A Survey. In Proceedings of the International Conference on Quality of Software Architecture. ACM (New York, NY, USA), QoSA'12
(2012)
[
Show BibTeX]

@inproceedings{qosa12,
author = {Matthias Becker AND Markus Luckey AND Steffen Becker},
title = {Model-driven Performance Engineering of Self-Adaptive Systems: A Survey},
booktitle = {Proceedings of the International Conference on Quality of Software Architecture},
year = {2012},
publisher = {ACM},
address = {New York, NY, USA},
series = {QoSA'12}
}
Markus Luckey, Felix Mutz:
Modeling with Adapt Cases. In Repository for Model-Driven Development (ReMoDD).
(2012)
[
Show BibTeX]

@inproceedings{luckey_cma12,
author = {Markus Luckey AND Felix Mutz},
title = {Modeling with Adapt Cases},
booktitle = {Repository for Model-Driven Development (ReMoDD)},
year = {2012},
organization = {University of Paderborn},
note = {http://www.cs.colostate.edu/remodd/v1/content/modeling-adapt-cases}
}
[
DOI]
[Link]
Markus Luckey, Christian Thanos, Christian Gerth, Gregor Engels:
Multi-Staged Quality Assurance for Self-Adaptive Systems. In Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO'12 (to appear).
(2012)
[
Show BibTeX]

@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}
}
Markus Luckey, Benjamin Nagel, Christian Gerth, Gregor Engels:
Adapt Cases: Extending Use Cases for Adaptive Systems. In Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems. ACM (New York, NY, USA), SEAMS '11, pp. 30-39
(2011)
[
Show 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.
[
PDF] [
Show BibTeX]

@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}
}
[Link]
Markus Luckey, Christian Gerth, Christian Soltenborn, Gregor Engels:
QUAASY - QUality Assurance of Adaptive SYstems. In Proceedings of the 8th International Conference on Autonomic Computing (ICAC'11). ACM
(2011)
[
Show 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.
[
PDF] [
Show BibTeX]

@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.}
}
Benjamin Nagel:
Semi-automatische Ableitung externer Anpassungsmechanismen für selbst-adaptive Systeme. In Proceedings of the Software Engineering 2011 (SE 2011), Karlsruhe (Germany). Gesellschaft für Informatik (GI) (Bonn), Lecture Notes in Informatics
(2011)
[
Show BibTeX]

@inproceedings{Nagel2011,
author = {Benjamin Nagel},
title = {Semi-automatische Ableitung externer Anpassungsmechanismen f{\"u}r selbst-adaptive Systeme},
booktitle = {Proceedings of the Software Engineering 2011 (SE 2011), Karlsruhe (Germany)},
year = {2011},
publisher = {Gesellschaft f{\"u}r Informatik (GI)},
address = {Bonn},
series = {Lecture Notes in Informatics}
}