Self-Adaptive Software Systems

The group develops methods and techniques for the model-driven specification and quality assurance of self-adaptive software systems.

Members:  Markus Luckey ,  Benjamin Nagel , Christian Gerth,  Gregor Engels 

Contact: Markus Luckey

Description

 Figure 1: Example Architecture of a Self-Adaptive System 

Self-Adaptive Systems are the software systems of tomorrow. Self-adaptive systems autonomously react to problems or changes in their environment at runtime in order to maintain their functionality. Types of adaptation include the replacement of components, the configuration of components, or the adaptation of data. For instance, a web application that uses the google image service might autonomously switch to flickr when it recognizes problems with the google service. Concrete problems might be crashing services, lacking service quality, or even errors in the provided service functionality.

Developing self-adaptive systems imposes many new challenges. While most of the challenges currently being addressed reside on implementation level, self-adaptation is hardly approached on specification level. That is, self-adaptivity is hardly specified during the requirements and early design phase. However, just like other aspects such as performance, usability, etc., self-adaptivity is an software aspect on its own which should be modeled and analyzed explicitly to prevent creating error-prone software. In particular, due to the nature of self-adaptivity, software gets more and more complex and the software designer hardly can oversee and understand the variety of different runtime configurations that have been introduced by self-adaptivity.

In order to approach the problem of lacking specification approaches for self-adaptive system, we are currently working on a holistic modeling and analysis approach for adaptive systems. Our approach, called Adapt Cases, is based on the UML and uses model-checking techniques to assure high quality of created software models.

 

Tools

We developed a wide range of prototypical Tools to evaluate our approaches. Please get in contact with us if you are interested in any of the tools. The following tools are available:

  • Adapt Case Editor (Specifcation of Adaptation Rules)
  • QUAASY Workbench (QUality Assurace of Adaptive SYstems, uses Adapt Cases)
  • Business Process Adapt Case Workbench (Specification and Quality Assurance of Business Processes)

 

Publications

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]
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] [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] [Show BibTeX]
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] [Show BibTeX]
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]
Markus Luckey, Felix Mutz: Modeling with Adapt Cases. In Repository for Model-Driven Development (ReMoDD). (2012)

[Show BibTeX] [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]
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] [PDF] [Show BibTeX] [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] [PDF] [Show BibTeX]
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]

 

Bachelor's and Master's Theses

We are available for your suggestions concerning a Bachelor's or Master's thesis. If you have a specific topic or are searching for a topic in the field of adaptive software, feel free to drop by or sending us an email. Advertized theses can be found here.

 

Project Groups

  • PG MePaso (Specification and Quality Assurance of Business Processes)

 

Relevant Links

 

Related Research Topics

Imprint | Webmaster | Recent changes: 17.01.2013