skip to main content
10.1145/1370018.1370020acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
research-article

From goals to components: a combined approach to self-management

Published: 12 May 2008 Publication History

Abstract

Autonomous or semi-autonomous systems are deployed in environments where contact with programmers or technicians is infrequent or undesirable. To operate reliably, such systems should be able to adapt to new circumstances on their own. This paper describes our combined approach for adaptable software architecture and task synthesis from high-level goals, which is based on a three-layer model. In the uppermost layer, reactive plans are generated from goals expressed in a temporal logic. The middle layer is responsible for plan execution and assembling a configuration of domain-specific software components, which reside in the lowest layer. Moreover, the middle layer is responsible for selecting alternative components when the current configuration is no longer viable for the circumstances that have arisen. The implementation demonstrates that the approach enables us to handle non-determinism in the environment and unexpected failures in software components.

References

[1]
N. Arshad, D. Heimbigner, and A. L. Wolf. A planning based approach to failure recovery in distributed systems. In WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, pages 8--12, New York, NY, USA, 2004. ACM Press.
[2]
R. Brooks. A robust layered control system for a mobile robot. Robotics and Automation, IEEE Journal of, 2(1):14--23, 1986.
[3]
S. W. Cheng, D. Garlan, B. R. Schmerl, J. P. Sousa, B. Spitnagel, and P. Steenkiste. Using architectural style as a basis for system self-repair. In WICSA 3: Proceedings of the IFIP 17th World Computer Congress - TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture, pages 45--59, Deventer, The Netherlands, The Netherlands, 2002. Kluwer, B.V.
[4]
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.
[5]
D. Garlan, R. Allen, and J. Ockerbloom. Exploiting Style in Architectural Design Environments. In Proc. of 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, New York, NY, USA, 1994.
[6]
D. Garlan, V. Poladian, B. Schmerl, and J. P. Sousa. Task-based self-adaptation. In WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, pages 54--57, New York, NY, USA, 2004. ACM Press.
[7]
D. Garlan and B. Schmerl. Model-Based Adaptation for Self-Healing Systems. In Proc. of 1st Workshop on Self-healing Systems, New York, NY, USA, 2002.
[8]
E. Gat. Three-Layer Architectures. Artificial Intelligence and Mobile Robots: Case Studies of Successful Robot Systems, pages 195--210, 1998.
[9]
J. C. Georgas and R. N. Taylor. Towards a knowledge-based approach to architectural adaptation management. In WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, pages 59--63, New York, NY, USA, 2004. ACM Press.
[10]
I. Georgiadis, J. Magee, and J. Kramer. Self-organising software architectures for distributed systems. In WOSS '02: Proceedings of the first workshop on Self-healing systems, pages 33--38, New York, NY, USA, 2002. ACM Press.
[11]
F. Giunchiglia and P. Traverso. Planning as Model Checking. 5th European Conference on Planning, 1999.
[12]
J. Kramer and J. Magee. The Evolving Philosophers Problem: Dynamic Change Management. IEEE Trans. Softw. Eng., 16(11), 1990.
[13]
J. Kramer and J. Magee. Self-Managed Systems: an Architectural Challenge. International Conference on Software Engineering, pages 259--268, 2007.
[14]
M. Ghallib, D. Nau, P. Traverso. Automated Planning: Theory and Practice. Morgan Kaufman, 2005.
[15]
J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proceedings of the 5th European Software Engineering Conference, pages 137--153, London, UK, 1995. Springer-Verlag.
[16]
A. McVeigh, J. Kramer, and J. Magee. Using Resemblance to Support Component Reuse and Evolution. In Proc. of SIGSOFT/FSE Workshop on Specification and Verification of Component-based Systems, New York, NY, USA, 2006. ACM Press.
[17]
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.
[18]
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.
[19]
J. E. Robbins, D. M. Hilbert, and D. F. Redmiles. Using Critics to Analyze Evolving Architectures. In Joint Proc. of ISAW-2 and Viewpoints '96 on SIGSOFT '96 Workshops, New York, NY, USA, 1996.
[20]
D. Sykes, W. Heaven, J. Magee, and J. Kramer. Plan-directed architectural change for autonomous systems. In Proc. of SIGSOFT/FSE Workshop on Specification and Verification of Component-based Systems. ACM Press New York, NY, USA, 2007.
[21]
I. Warren, J. Sun, S. Krishnamohan, and T. Weerasinghe. An automated formal approach to managing dynamic reconfiguration. In Proc. of 21st IEEE/ACM International Conference on Automated Software Engineering, Washington, DC, USA, 2006.
[22]
J. Zhang and B. Cheng. Modular Model Checking of Dynamically Adaptive Programs. Technical report, Michigan State University, 2006.

Cited By

View all
  • (2024)Generative AI for Self-Adaptive Systems: State of the Art and Research RoadmapACM Transactions on Autonomous and Adaptive Systems10.1145/368680319:3(1-60)Online publication date: 30-Sep-2024
  • (2023)Efficient Difference Analysis of Guaranteeable Requirements for Fault-tolerant Self-adaptationJournal of Information Processing10.2197/ipsjjip.31.18631(186-195)Online publication date: 2023
  • (2023)Towards Scalable Model Checking of Reflective Systems via Labeled Transition SystemsIEEE Transactions on Software Engineering10.1109/TSE.2022.317440849:3(1299-1322)Online publication date: 1-Mar-2023
  • Show More Cited By

Index Terms

  1. From goals to components: a combined approach to self-management

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    SEAMS '08: Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
    May 2008
    144 pages
    ISBN:9781605580371
    DOI:10.1145/1370018
    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: 12 May 2008

    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

    • Research-article

    Conference

    ICSE '08
    Sponsor:

    Acceptance Rates

    SEAMS '08 Paper Acceptance Rate 17 of 31 submissions, 55%;
    Overall Acceptance Rate 17 of 31 submissions, 55%

    Upcoming Conference

    ICSE 2025

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

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

    Other Metrics

    Citations

    Cited By

    View all
    • (2024)Generative AI for Self-Adaptive Systems: State of the Art and Research RoadmapACM Transactions on Autonomous and Adaptive Systems10.1145/368680319:3(1-60)Online publication date: 30-Sep-2024
    • (2023)Efficient Difference Analysis of Guaranteeable Requirements for Fault-tolerant Self-adaptationJournal of Information Processing10.2197/ipsjjip.31.18631(186-195)Online publication date: 2023
    • (2023)Towards Scalable Model Checking of Reflective Systems via Labeled Transition SystemsIEEE Transactions on Software Engineering10.1109/TSE.2022.317440849:3(1299-1322)Online publication date: 1-Mar-2023
    • (2022)Assured Mission Adaptation of UAVsACM Transactions on Autonomous and Adaptive Systems10.1145/351309116:3-4(1-27)Online publication date: 6-Jul-2022
    • (2022)Done is better than perfect: Iterative Adaptation via Multi-grained Requirement Relaxation2022 IEEE 30th International Requirements Engineering Conference (RE)10.1109/RE54965.2022.00043(288-294)Online publication date: Aug-2022
    • (2022)Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation2022 29th Asia-Pacific Software Engineering Conference (APSEC)10.1109/APSEC57359.2022.00031(189-198)Online publication date: Dec-2022
    • (2022)Modeling Rates of Change and Aggregations in Runtime Goal ModelsConceptual Modeling10.1007/978-3-031-17995-2_28(397-412)Online publication date: 10-Oct-2022
    • (2021)Evaluating Task-General Resilience Mechanisms in a Multi-robot Team TaskArtificial Intelligence Applications and Innovations10.1007/978-3-030-79150-6_13(155-166)Online publication date: 22-Jun-2021
    • (2020)Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC)10.1109/EUC50751.2020.00012(33-40)Online publication date: Dec-2020
    • (2020)HAFLoopFuture Generation Computer Systems10.1016/j.future.2019.12.026105:C(607-630)Online publication date: 1-Apr-2020
    • 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