More Web Proxy on the site http://driver.im/

research-article

A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications

Authors:

Thomas Hutzelmann,

Stefan KugeleAuthors Info & Claims

SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing

Pages 1440 - 1449

https://doi.org/10.1145/3555776.3577665

Published: 07 June 2023 Publication History

Abstract

In the last two decades, the popularity of self-adaptive systems has significantly increased in the literature across various research domains. However, despite the extensive work in this research field and the vibrant research community, the literature still needs a more precise understanding of self-adaptive systems, including clear specifications and usable definitions. So far, the terminology related to self-adaptive systems is still used liberally, which can result in different entities having a different understanding of what these systems are. Having an ambiguous description of the terminology and the lack of a precise understanding of these systems adds complexity to an already complex field of research. As a result, the overarching objective of this paper is to broaden the understanding of self-adaptive systems. For improved clarity and coherence--- potentially yielding to even higher prominence of this domain---we consider as essential to set a common terminology and gain a better comprehension of the semantics of that terminology. In response, in this paper, we propose a theoretical framework for self-adaptive systems, in which we specify the process of self-adaptation, elicit the minimum requirements for self-adaptive systems, formalise these systems, and discuss various architectural implications from our theoretical contributions. Ideally, this work 1) sets a foundation for more constructive scientific debates, 2) complements the already existing works in this field, and 3) sets the foundation for future engineering approaches for self-adaptive systems.

References

[1]

Paolo Arcaini, Elvinia Riccobene, and Patrizia Scandurra. 2015. Modeling and analyzing MAPE-K feedback loops for self-adaptation. In 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. IEEE, 13--23.

Digital Library

[2]

Manfred Broy. 2017. Formalizing Adaptivity, Dynamics, Context-Awareness, Autonomy. (2017). unpublished.

[3]

Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, and Sebastian Winter. 2009. Formalizing the notion of adaptive system behavior. In Proceedings of the 2009 ACM Symposium on Applied Computing (SAC). ACM, 1029--1033.

Digital Library

[4]

Manfred Broy and Ketil Stølen. 2001. Specification and development of interactive systems: Focus on streams, interfaces, and refinement. Springer, New York.

Digital Library

[5]

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, and Andrea Vandin. 2012. A conceptual framework for adaptation. In International Conference on Fundamental Approaches to Software Engineering. Springer, 240--254.

Digital Library

[6]

Antonio Bucchiarone and Marina Mongiello. 2019. Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems. In From Software Engineering to Formal Methods and Tools, and Back. Springer, 19--39.

[7]

Shang-Wen Cheng. 2008. Rainbow: cost-effective software architecture-based self-adaptation. Ph.D. Dissertation. Carnegie Mellon University.

[8]

Shang-Wen Cheng, David Garlan, and Bradley Schmerl. 2009. Evaluating the effectiveness of the rainbow self-adaptive system. In 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. IEEE, 132--141.

Digital Library

[9]

Frank Dellaert, Dieter Fox, Wolfram Burgard, and Sebastian Thrun. 1999. Monte carlo localization for mobile robots. In Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No. 99CH36288C), Vol. 2. IEEE, 1322--1328.

[10]

Ahmed Elkhodary, Naeem Esfahani, and Sam Malek. 2010. FUSION: a framework for engineering self-tuning self-adaptive software systems. In Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering. ACM, 7--16.

Digital Library

[11]

David Garlan, Shang-Wen Cheng, An-Cheng Huang, Bradley Schmerl, and Peter Steenkiste. 2004. Rainbow: Architecture-based self-adaptation with reusable infrastructure. Computer 10 (2004), 46--54.

Digital Library

[12]

Ilias Gerostathopoulos, Dominik Skoda, Frantisek Plasil, Tomas Bures, and Alessia Knauss. 2016. Architectural homeostasis in self-adaptive software-intensive cyber-physical systems. In European Conference on Software Architecture. Springer, 113--128.

[13]

Ilias Gerostathopoulos, Thomas Vogel, Danny Weyns, and Patricia Lago. 2021. How do we Evaluate Self-adaptive Software Systems? arXiv preprint arXiv:2103.11481 (2021).

[14]

Muhammad Usman Iftikhar, Gowri Sankar Ramachandran, Pablo Bollansée, Danny Weyns, and Danny Hughes. 2017. Deltaiot: A self-adaptive internet of things exemplar. In 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, 76--82.

Digital Library

[15]

Pooyan Jamshidi, Javier Cámara, Bradley Schmerl, Christian Käestner, and David Garlan. 2019. Machine learning meets quantitative planning: Enabling self-adaptation in autonomous robots. In 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, 39--50.

Digital Library

[16]

Jeffrey O. Kephart and David M. Chess. 2003. The Vision of Autonomic Computing. Computer 36, January (2003), 41--50. arXiv:arXiv:astro-ph/0005074v1

[17]

Alessia Knauss, Daniela Damian, Xavier Franch, Angela Rook, Hausi A Müller, and Alex Thomo. 2016. ACon: A learning-based approach to deal with uncertainty in contextual requirements at runtime. Information and software technology 70 (2016), 85--99.

[18]

R Laddaga. 1997. Self-adaptive software DARPA BAA 98-12.

[19]

Taivo Lints. 2012. The essentials of defining adaptation. IEEE Aerospace and Electronic Systems Magazine 27, 1 (2012), 37--41.

[20]

Martina Maggio. 2021. Is this all about about handling unanticipated changes or about foreseeing what needs handling?. In 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, 258--259.

[21]

Gabriel Moreno, Cody Kinneer, Ashutosh Pandey, and David Garlan. 2019. DART-Sim: An exemplar for evaluation and comparison of self-adaptation approaches for smart cyber-physical systems. In 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, 181--187.

[22]

Ana Petrovska, Stefan Kugele, Thomas Hutzelmann, Theo Beffart, Sebastian Bergemann, and Alexander Pretschner. 2022. Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber-physical systems. Information and Software Technology 147 (2022), 106866.

Digital Library

[23]

Ana Petrovska, Malte Neuss, Ilias Gerostathopoulos, and Alexander Pretschner. 2021. Run-time Reasoning from Uncertain Observations with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems. In 16th Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS.

[24]

Michiel Provoost and Danny Weyns. 2019. DingNet: a self-adaptive internet-of-things exemplar. In 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, 195--201.

Digital Library

[25]

Federico Quin, Danny Weyns, and Omid Gheibi. 2021. Decentralized Self-Adaptive Systems: A Mapping Study. arXiv preprint arXiv:2103.09074 (2021).

[26]

Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C Briand, Chetan Arora, and Frank Zimmer. 2020. Dynamic adaptation of software-defined networks for IoT systems: A search-based approach. In Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. 137--148.

Digital Library

[27]

Norha M Villegas, Hausi A Müller, Gabriel Tamura, Laurence Duchien, and Rubby Casallas. 2011. A framework for evaluating quality-driven self-adaptive software systems. In Proceedings of the 6th international symposium on Software engineering for adaptive and self-managing systems. 80--89.

Digital Library

[28]

Danny Weyns. 2017. Software engineering of self-adaptive systems: an organised tour and future challenges. Chapter in Handbook of Software Engineering (2017).

[29]

Danny Weyns. 2020. An Introduction to Self-adaptive Systems: A Contemporary Software Engineering Perspective. John Wiley & Sons.

[30]

Danny Weyns and Tanvir Ahmad. 2013. Claims and evidence for architecture-based self-adaptation: a systematic literature review. In European Conference on Software Architecture. Springer, 249--265.

Digital Library

[31]

Danny Weyns, M Usman Iftikhar, Sam Malek, and Jesper Andersson. 2012. Claims and supporting evidence for self-adaptive systems: A literature study. In 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, 89--98.

[32]

Danny Weyns, Sam Malek, and Jesper Andersson. 2012. FORMS: Unifying reference model for formal specification of distributed self-adaptive systems. ACM Transactions on Autonomous and Adaptive Systems (TAAS) 7, 1 (2012), 1--61.

Digital Library

[33]

Danny Weyns, Bradley Schmerl, Vincenzo Grassi, Sam Malek, Raffaela Mirandola, Christian Prehofer, Jochen Wuttke, Jesper Andersson, Holger Giese, and Karl M Göschka. 2013. On patterns for decentralized control in self-adaptive systems. In Software Engineering for Self-Adaptive Systems II. Springer, 76--107.

Cited By

Sorokos IWolf PReich JSchneider D(2024)Evaluating Self-Adaptive Architectures for Automated Driving Systems2024 11th International Conference on Internet of Things: Systems, Management and Security (IOTSMS)10.1109/IOTSMS62296.2024.10710315(212-217)Online publication date: 2-Sep-2024
https://doi.org/10.1109/IOTSMS62296.2024.10710315
Rista CTeixeira MFonseca M(2024)A Self-adaptive HPL-Based Benchmark with Dynamic Task Parallelism for Multicore SystemsGood Practices and New Perspectives in Information Systems and Technologies10.1007/978-3-031-60227-6_22(242-251)Online publication date: 16-May-2024
https://doi.org/10.1007/978-3-031-60227-6_22

Index Terms

A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications
1. Software and its engineering

Index terms have been assigned to the content through auto-classification.

Recommendations

Towards a requirements modeling language for self-adaptive systems
REFSQ'12: Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality

[Context and motivation] Self-adaptive systems (SAS) monitor and adapt to changing end-user requirements, operating context conditions, and resource availability. Specifying requirements for such dynamic systems is not trivial. Most of the research on ...
Adaptation impact and environment models for architecture-based self-adaptive systems

Self-adaptive systems have the ability to adapt their behavior to dynamic operating conditions. In reaction to changes in the environment, these systems determine the appropriate corrective actions based in part on information about which action will ...
Requirements engineering for self-adaptive systems: core ontology and problem statement
CAiSE'11: Proceedings of the 23rd international conference on Advanced information systems engineering

The vision for self-adaptive systems (SAS) is that they should continuously adapt their behavior at runtime in response to changing user's requirements, operating contexts, and resource availability. Realizing this vision requires that we understand ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing

March 2023

1932 pages

ISBN:9781450395175

DOI:10.1145/3555776

Conference Chairs:
Jiman Hong
Soongsil University, South Korea
,
Maart Lanperne
Tallinn University, Estonia
,
Program Chairs:
Juw Won Park
University of Louisville, USA
,
Tomas Cerny
Baylor University, USA
,
Publication Chair:
Hossain Shahriar
Kennesaw State University, USA

Copyright © 2023 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 June 2023

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SAC '23

Sponsor:

SIGAPP

SAC '23: 38th ACM/SIGAPP Symposium on Applied Computing

March 27 - 31, 2023

Tallinn, Estonia

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
88
Total Downloads

Downloads (Last 12 months)34
Downloads (Last 6 weeks)2

Reflects downloads up to 12 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sorokos IWolf PReich JSchneider D(2024)Evaluating Self-Adaptive Architectures for Automated Driving Systems2024 11th International Conference on Internet of Things: Systems, Management and Security (IOTSMS)10.1109/IOTSMS62296.2024.10710315(212-217)Online publication date: 2-Sep-2024
https://doi.org/10.1109/IOTSMS62296.2024.10710315
Rista CTeixeira MFonseca M(2024)A Self-adaptive HPL-Based Benchmark with Dynamic Task Parallelism for Multicore SystemsGood Practices and New Perspectives in Information Systems and Technologies10.1007/978-3-031-60227-6_22(242-251)Online publication date: 16-May-2024
https://doi.org/10.1007/978-3-031-60227-6_22

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents