| Luckey M and Engels G (2013), "High-Quality Specification of Self-Adaptive Software Systems", In Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems. New York, NY, USA, May, 2013. , pp. 143-152. ACM. |
| Abstract: Today's software systems have to cope with changing environments while at the same time facing high non-functional requirements such as flexibility and dependability. Recently, these non-functional requirements are addressed using self-adaptivity features, that is, the system monitors its environment and adjusts its structure or behavior in reaction to changes.In classical model-driven software engineering approaches, self-adaptivity introduces additional complexity since self-adaptation features are distributed in a cross-cutting manner at various different locations in the models, resulting in a tightly interwoven model landscape that is hard to understand and maintain. A particular solution to cope with this problem is the separation of concerns (SoC) to focus on the specific concern of self-adaptivity and allow in-depth analyses. Applying SoC requires suitable development processes, languages, and techniques, e.g., for quality assurance, to be available.In this paper, we present a method for the specification of self-adaptive software systems using a UML based concern-specific modeling language called Adapt Case Modeling Language (ACML) that allows the separated and explicit specification of self-adaptivity concerns. Based on formal semantics we show how to apply quality assurance techniques to the modeled self-adaptive system, which enable the provisioning of hard guarantees concerning self-adaptivity characteristics such as adaptation rule set stability and deadlock freedom. Further, we show how the language and techniques integrate with existing software development processes. |
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},
publisher = {ACM},
year = {2013},
pages = {143--152},
url = {http://dl.acm.org/citation.cfm?id=2487336.2487359}
}
|
| Luckey M, Nagel B, Gerth C and Engels G (2011), "Adapt Cases: Extending Use Cases for Adaptive Systems", In Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems. New York, NY, USA, May, 2011. , pp. 30-39. ACM. |
| 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. |
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},
publisher = {ACM},
year = {2011},
pages = {30--39},
url = {http://doi.acm.org/10.1145/1988008.1988014}
}
|
| Mussbacher G, Alam O, Alhaj M, Ali S, Am'alio N, Barn B, Bræk R, Clark T, Combemale B, Cysneiros LM, Fatima U, France R, Georg G, Horkoff J, Kienzle Jö, Leite JC, Lethbridge TC, Luckey M, Moreira A, Mutz F, Oliveira APA, Petriu DC, Schöttle M, Troup L and Werneck VMB (2012), "Assessing composition in modeling approaches", In Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012). New York, NY, USA ACM. |
BibTeX:
@inproceedings{cma12,
author = {Gunter Mussbacher AND Omar Alam AND Mohammed Alhaj AND Shaukat Ali AND Nuno Am'alio 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ö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ö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)},
publisher = {ACM},
year = {2012},
doi = {https://dl.acm.org/citation.cfm?id=2459032}
}
|
| Geisen S, Luckey M and Engels G (2012), "Ein Ansatz zur dynamischen Qualitätsmessung,-bewertung und Anpassung von Software Engineering Methoden", In Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle., September, 2012. , pp. 111-120. Shaker Verlag. |
| 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. |
BibTeX:
@inproceedings{Geisen_Luckey092012,
author = {Silke Geisen AND Markus Luckey AND Gregor Engels},
title = {Ein Ansatz zur dynamischen Qualitätsmessung,-bewertung und Anpassung von Software Engineering Methoden},
booktitle = {Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle},
publisher = {Shaker Verlag},
year = {2012},
pages = {111-120}
}
|
| Geisen S (2012), "Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt", In Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium. Vol. Report 01/12, pp. 7-12. Petra Hofstedt, Claus Lewerentz (BTU Cottbus). |
| 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. |
BibTeX:
@inproceedings{Geisen022012,
author = {Silke Geisen},
title = {Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt},
booktitle = {Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium},
publisher = {Petra Hofstedt, Claus Lewerentz (BTU Cottbus)},
year = {2012},
volume = {Report 01/12},
pages = {7-12}
}
|
| Luckey M and Mutz F (2012), "Modeling with Adapt Cases", In Repository for Model-Driven Development (ReMoDD). |
BibTeX:
@inproceedings{luckey_cma12,
author = {Markus Luckey AND Felix Mutz},
title = {Modeling with Adapt Cases},
booktitle = {Repository for Model-Driven Development (ReMoDD)},
year = {2012},
note = {http://www.cs.colostate.edu/remodd/v1/content/modeling-adapt-cases},
url = {http://www.cs.colostate.edu/remodd/v1/content/modeling-adapt-cases},
doi = {http://www.cs.colostate.edu/remodd/v1/content/modeling-adapt-cases}
}
|
| Luckey M, Thanos C, Gerth C and Engels G (2012), "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.
[BibTeX] |
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},
year = {2012}
}
|
| Nagel B (2011), "Semi-automatische Ableitung externer Anpassungsmechanismen für selbst-adaptive Systeme", In Proceedings of the Software Engineering 2011 (SE 2011), Karlsruhe (Germany). Bonn Gesellschaft für Informatik (GI).
[BibTeX] |
BibTeX:
@inproceedings{Nagel2011,
author = {Benjamin Nagel},
title = {Semi-automatische Ableitung externer Anpassungsmechanismen für selbst-adaptive Systeme},
booktitle = {Proceedings of the Software Engineering 2011 (SE 2011), Karlsruhe (Germany)},
publisher = {Gesellschaft für Informatik (GI)},
year = {2011}
}
|
| Becker M, Luckey M and Becker S (2012), "Model-driven Performance Engineering of Self-Adaptive Systems: A Survey", In Proceedings of the International Conference on Quality of Software Architecture. New York, NY, USA ACM.
[BibTeX] |
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},
publisher = {ACM},
year = {2012}
}
|
| Luckey M, Gerth C, Soltenborn C and Engels G (2011), "QUAASY - QUality Assurance of Adaptive SYstems", In Proceedings of the 8th International Conference on Autonomic Computing (ICAC'11)., June, 2011. ACM. |
| 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. |
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)},
publisher = {ACM},
year = {2011},
doi = {10.1145/1998582.1998617}
}
|
| Yigitbas E, Fischer H and Sauer S (2014), "Model-based User Interface Development for Adaptive Self-Service Systems", In Proceedings of the 16th International Conference on Human-Computer Interaction (HCI International 2014). Vol. 8517, pp. 206-213. Springer.
[BibTeX] |
BibTeX:
@inproceedings{yigitbas2014HCI,
author = {Enes Yigitbas AND Holger Fischer AND Stefan Sauer},
title = {Model-based User Interface Development for Adaptive Self-Service Systems},
booktitle = {Proceedings of the 16th International Conference on Human-Computer Interaction (HCI International 2014)},
publisher = {Springer},
year = {2014},
volume = {8517},
pages = {206-213}
}
|
| Yigitbas E, Fischer H, Kern T and Paelke V (2014), "Model-Based Development of Adaptive UIs for Multi-channel Self-service Systems", In Proceedings of the 5th International Conference on Human-Centered Software Engineering (HCSE). Vol. 8742, pp. 267-274. Springer.
[BibTeX] |
BibTeX:
@inproceedings{yigitbas2014HCSE,
author = {Enes Yigitbas AND Holger Fischer AND Thomas Kern AND Volker Paelke},
title = {Model-Based Development of Adaptive UIs for Multi-channel Self-service Systems},
booktitle = {Proceedings of the 5th International Conference on Human-Centered Software Engineering (HCSE)},
publisher = {Springer},
year = {2014},
volume = {8742},
pages = {267-274}
}
|
| Yigitbas E, Sauer S and Engels G (2015), "A Model-based Framework for Multi-adaptive Migratory User Interfaces", In Proceedings of the 17th International Conference on Human-Computer Interaction. Vol. 9170, pp. 563-572. Springer.
[BibTeX] |
BibTeX:
@inproceedings{yigitbas2015HCI,
author = {Enes Yigitbas AND Stefan Sauer AND Gregor Engels},
title = {A Model-based Framework for Multi-adaptive Migratory User Interfaces},
booktitle = {Proceedings of the 17th International Conference on Human-Computer Interaction},
publisher = {Springer},
year = {2015},
volume = {9170},
pages = {563-572}
}
|
| Yigitbas E and Sauer S (2014), "Flexible & Adaptive UIs for Self-Service Systems", In Mensch & Computer 2014 - Workshopband. , pp. 167-175. De Gruyter Oldenbourg.
[BibTeX] |
BibTeX:
@inproceedings{YSABIS2014,
author = {Enes Yigitbas AND Stefan Sauer},
editor = {Butz, A., Koch, M. & Schlichter, J.},
title = {Flexible & Adaptive UIs for Self-Service Systems},
booktitle = {Mensch & Computer 2014 - Workshopband},
publisher = {De Gruyter Oldenbourg},
year = {2014},
pages = {167-175}
}
|