skip to main content
10.1145/1292316.1292318acmconferencesArticle/Chapter ViewAbstractPublication PagesfseConference Proceedingsconference-collections
Article

Plan-directed architectural change for autonomous systems

Published: 03 September 2007 Publication History

Abstract

Autonomous systems operate in an unpredictable world, where communication with those people responsible for its software architecture may be infrequent or undesirable. If such a system is to continue reliable operation it must be able to derive and initiate adaptations to new circumstances on its own behalf. Much of the previous work on dynamic reconfigurations supposes that the programmer is able to express the possible adaptations before the system is deployed, or at least is able to add new adaptation strategies after deployment. We consider the challenges in providing an autonomous system with the capability to direct its own adaptation, and describe an initial implementation where change in the software architecture of an autonomous system is enacted as a result of executing a reactive plan.

References

[1]
N. Arshad, D. Heimbigner, and A. L. Wolf. Deployment and dynamic reconfiguration planning for distributed software systems. Software Quality Journal, 2003.
[2]
E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999.
[3]
E. M. Dashofy, A. van der Hoek, and R. N. Taylor. Towards architecture-based self-healing systems. In WOSS '02: Proceedings of the first workshop on Self-healing systems, pages 21--26, New York, NY, USA, 2002. ACM Press.
[4]
D. Garlan, R. Allen, and J. Ockerbloom. Exploiting style in architectural design environments. In SIGSOFT '94: Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, pages 175--188, New York, NY, USA, 1994. ACM Press.
[5]
D. Garlan and B. Schmerl. Model-based adaptation for self-healing systems. In WOSS '02: Proceedings of the first workshop on Self-healing systems, pages 27--32, New York, NY, USA, 2002. ACM Press.
[6]
F. Giunchiglia and P. Traverso. Planning as Model Checking. 5th European Conference on Planning, 1999.
[7]
J. Kramer and J. Magee. The evolving philosophers problem: Dynamic change management. IEEE Trans. Softw. Eng., 16(11):1293--1306, 1990.
[8]
Malik Ghallib, Dana Nau, Paolo Traverso. Automated Planning: Theory and Practice. Morgan Kaufman, 2005.
[9]
A. McVeigh, J. Kramer, and J. Magee. Using resemblance to support component reuse and evolution. In SAVCBS '06: Proceedings of the 2006 conference on Specification and verification of component-based systems, pages 49--56, New York, NY, USA, 2006. ACM Press.
[10]
P. Oreizy, M. M. Gorlick, R. N. Taylor, D. Heimbigner, G. Johnson, N. Medvidovic, A. Quilici, D. S. Rosenblum, and A. L. Wolf. An architecture-based approach to self-adaptive software. IEEE Intelligent Systems, 14(3):54--62, 1999.
[11]
P. Oreizy, N. Medvidovic, and R. Taylor. Architecture-based runtime software evolution. In Proceedings of the 1998 (20th) International Conference on Software Engineering, pages 177--186, 1998.
[12]
P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, P. Traverso. MBP: A Model-Based Planner. Proc. of IJCAI'01 Workshop on Planning Under Uncertainty and Incomplete Information, 2001.
[13]
P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, P. Traverso. NuSMV 2: An Open Source Tool for Symbolic Model Checking. Proc. of International Conference on Computer-Aided Verification, 2002.
[14]
J. E. Robbins, D. M. Hilbert, and D. F. Redmiles. Using critics to analyze evolving architectures. In Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, pages 90--93, New York, NY, USA, 1996. ACM Press.
[15]
J. Zhang and B. Cheng. Modular model checking of dynamically adaptive programs. Technical report, Michigan State University, 2006.

Cited By

View all
  • (2021)A Two Phases Self-healing Framework for Service-oriented SystemsACM Transactions on the Web10.1145/345044315:2(1-25)Online publication date: 22-Apr-2021
  • (2021)Information Reuse and Stochastic SearchACM Transactions on Autonomous and Adaptive Systems10.1145/344011915:1(1-36)Online publication date: 1-Feb-2021
  • (2020)Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic ArchitecturesACM Transactions on Autonomous and Adaptive Systems10.1145/338096514:3(1-41)Online publication date: 25-Feb-2020
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAVCBS '07: Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
September 2007
99 pages
ISBN:9781595937216
DOI:10.1145/1292316
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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 September 2007

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. autonomous systems
  2. dynamic reconfiguration
  3. self-adaptive
  4. self-healing
  5. software architecture

Qualifiers

  • Article

Conference

ESEC/FSE07
Sponsor:

Acceptance Rates

SAVCBS '07 Paper Acceptance Rate 8 of 17 submissions, 47%;
Overall Acceptance Rate 37 of 46 submissions, 80%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)5
  • Downloads (Last 6 weeks)0
Reflects downloads up to 08 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2021)A Two Phases Self-healing Framework for Service-oriented SystemsACM Transactions on the Web10.1145/345044315:2(1-25)Online publication date: 22-Apr-2021
  • (2021)Information Reuse and Stochastic SearchACM Transactions on Autonomous and Adaptive Systems10.1145/344011915:1(1-36)Online publication date: 1-Feb-2021
  • (2020)Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic ArchitecturesACM Transactions on Autonomous and Adaptive Systems10.1145/338096514:3(1-41)Online publication date: 25-Feb-2020
  • (2018)Managing uncertainty in self-adaptive systems with plan reuse and stochastic searchProceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems10.1145/3194133.3194145(40-50)Online publication date: 28-May-2018
  • (2018)Multi-layered Adaptation for the Failure Prevention and Recovery in Cloud Service Brokerage Platforms2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC)10.1109/QUATIC.2018.00014(21-29)Online publication date: Sep-2018
  • (2017)Automated generation of policies to support elastic scaling in cloud environmentsProceedings of the Symposium on Applied Computing10.1145/3019612.3019658(450-455)Online publication date: 3-Apr-2017
  • (2017)Towards a formal framework for hybrid planning in self-adaptationProceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1109/SEAMS.2017.14(109-115)Online publication date: 20-May-2017
  • (2017)Hybrid Planning in Self-Adaptive Systems2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W)10.1109/FAS-W.2017.176(366-368)Online publication date: Sep-2017
  • (2017)Instance-Based Learning for Hybrid Planning2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W)10.1109/FAS-W.2017.122(64-69)Online publication date: Sep-2017
  • (2016)Challenges in physical modeling for adaptation of cyber-physical systems2016 IEEE 3rd World Forum on Internet of Things (WF-IoT)10.1109/WF-IoT.2016.7845513(210-215)Online publication date: Dec-2016
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media