Article

A requirements-based approach for the design of adaptive systems

Author:

Vítor E. Silva SouzaAuthors Info & Claims

ICSE '12: Proceedings of the 34th International Conference on Software Engineering

Pages 1635 - 1637

Published: 02 June 2012 Publication History

Abstract

Complexity is now one of the major challenges for the IT industry. Systems might become too complex to be managed by humans and, thus, will have to be self-managed: Self-configure themselves for operation, self-protect from attacks, self-heal from errors and self-tune for optimal performance. (Self-)Adaptive systems evaluate their own behavior and change it when the evaluation indicates that it is not accomplishing the software's purpose or when better functionality and performance are possible.

To that end, we need to monitor the behavior of the running system and compare it to an explicit formulation of requirements and domain assumptions. Feedback loops (e.g., the MAPE loop) constitute an architectural solution for this and, as proposed by past research, should be a first class citizen in the design of such systems. We advocate that adaptive systems should be designed this way from as early as Requirements Engineering and that reasoning over requirements is fundamental for run-time adaptation.

We therefore propose an approach for the design of adaptive systems based on requirements and inspired in control theory. Our proposal is goal-oriented and targets software-intensive socio-technical systems, in an attempt to integrate control-loop approaches with decentralized agents inspired approaches. Our final objective is a set of extensions to state-of-the-art goal-oriented modeling languages that allow practitioners to clearly specify the requirements of adaptive systems and a run-time framework that helps developers implement such requirements.

References

[1]

P. Horn, "Autonomic Computing: IBM's Perspective on the State of Information Technology, http://www.research.ibm.com/autonomic/manifesto/," October 2001.

[2]

J. O. Kephart and D. M. Chess, "The vision of autonomic computing," Computer, vol. 36, no. 1, pp. 41-50, 2003.

Digital Library

[3]

R. Laddaga and P. Robertson, "Self Adaptive Software: A Position Paper," in Proc. of the 2004 International Workshop on Self-* Properties in Complex Information Systems, 2004.

[4]

P. Oreizy et al., "An Architecture-Based Approach to Self-Adaptive Software," IEEE Intelligent Systems, vol. 14, no. 3, pp. 54-62, 1999.

Digital Library

[5]

B. H. C. Cheng et al., "Software Engineering for Self-Adaptive Systems: A Research Roadmap," in Software Engineering for Self-Adaptive Systems, ser. Lecture Notes in Computer Science, B. H. C. Cheng, R. de Lemos, H. Giese, P. Inverardi, and J. Magee, Eds. Springer, 2009, vol. 5525, pp. 1-26.

Digital Library

[6]

J. L. Hellerstein, Y. Diao, S. Parekh, and D. M. Tilbury, Feedback Control of Computing Systems, 1st ed. Wiley, 2004.

Digital Library

[7]

V. Bryl, "Supporting the Design of Socio-Technical Systems by Exploring and Evaluating Design Alternatives," PhD Thesis, University of Trento, 2009.

[8]

J. Andersson, R. de Lemos, S. Malek, and D. Weyns, "Modeling Dimensions of Self-Adaptive Software Systems," in Software Engineering for Self-Adaptive Systems, ser. Lecture Notes in Computer Science, B. H. C. Cheng, R. de Lemos, H. Giese, P. Inverardi, and J. Magee, Eds. Springer, 2009, vol. 5525, pp. 27-47.

Digital Library

[9]

A. Lapouchnian, "Goal-Oriented Requirements Engineering: An Overview of the Current Research," University of Toronto, Canada (available online: http://www.cs.toronto.edu/~alexei/pub/Lapouchnian-Depth.pdf), Tech. Rep., 2005.

[10]

I. Jureta, J. Mylopoulos, and S. Faulkner, "Revisiting the Core Ontology and Problem in Requirements Engineering," in Proc. of the 16th IEEE International Requirements Engineering Conference. IEEE, 2008, pp. 71-80.

Digital Library

[11]

V. E. S. Souza and J. Mylopoulos, "From Awareness Requirements to Adaptive Systems: a Control-Theoretic Approach," in Proc. of the 2nd International Workshop on Requirements@ Run.Time. IEEE, 2011, pp. 9-15.

[12]

B. H. C. Cheng and J. M. Atlee, "Research Directions in Requirements Engineering," in Future of Software Engineering (FOSE '07). IEEE, 2007, pp. 285-303.

Digital Library

[13]

M. Feather, S. Fickas, A. van Lamsweerde, and C. Ponsard, "Reconciling system requirements and runtime behavior," in Proc. of the 9th International Workshop on Software Specification and Design. IEEE, 1998, pp. 50-59.

Digital Library

[14]

D. Garlan, S.-W. Cheng, A.-C. Huang, B. Schmerl, and P. Steenkiste, "Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure," Computer, vol. 37, no. 10, pp. 46-54, 2004.

Digital Library

[15]

J. Kramer and J. Magee, "Self-Managed Systems: an Architectural Challenge," in Future of Software Engineering (FOSE '07). IEEE, 2007, pp. 259-268.

Digital Library

[16]

G. Brown, B. H. C. Cheng, H. Goldsby, and J. Zhang, "Goaloriented Specification of Adaptation Requirements Engineering in Adaptive Systems," in Proc. of the 2006 International Workshop on Self-adaptation and Self-managing Systems. ACM, 2006, pp. 23-29.

Digital Library

[17]

L. Baresi, L. Pasquale, and P. Spoletini, "Fuzzy Goals for Requirements-driven Adaptation," in Proc. of the 18th IEEE International Requirements Engineering Conference. IEEE, 2010, pp. 125-134.

Digital Library

[18]

J. Whittle, P. Sawyer, N. Bencomo, B. H. C. Cheng, and J.-M. Bruel, "RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems," in Proc. of the 17th IEEE International Requirements Engineering Conference. IEEE, 2009, pp. 79-88.

Digital Library

[19]

M. Morandini, L. Penserini, and A. Perini, "Towards Goal-Oriented Development of Self-Adaptive Systems," in Proc. of the 2008 International Workshop on Software Engineering for Adaptive and Self-managing Systems. ACM, 2008, pp. 9-16.

Digital Library

[20]

F. Dalpiaz, P. Giorgini, and J. Mylopoulos, "Adaptive sociotechnical systems: a requirements-based approach," Requirements Engineering, pp. 1-24, 2012.

[21]

N. A. Qureshi and A. Perini, "Engineering Adaptive Requirements," in Proc. of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. IEEE, 2009, pp. 126-131.

Digital Library

[22]

V. E. S. Souza, A. Lapouchnian, W. N. Robinson, and J. Mylopoulos, "Awareness Requirements for Adaptive Systems," in Proc. of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM, 2011, pp. 60-69.

Digital Library

[23]

V. E. S. Souza, "An Experiment on the Development of an Adaptive System based on the LAS-CAD," University of Trento (available at: http://disi.unitn.it/~vitorsouza/a-cad/), Tech. Rep., 2012.

[24]

V. E. S. Souza, A. Lapouchnian, and J. Mylopoulos, "System Identification for Adaptive Software Systems: a Requirements Engineering Perspective," in Conceptual Modeling - ER 2011, ser. Lecture Notes in Computer Science, M. Jeusfeld, L. Delcambre, and T.-W. Ling, Eds. Springer, 2011, vol. 6998, pp. 346-361.

Digital Library

[25]

V. E. S. Souza, A. Lapouchnian, and J. Mylopoulos, "Requirements-driven Qualitative Adaptation," in submitted for publication (under review), 2012.

[26]

V. E. S. Souza, A. Lapouchnian, and J. Mylopoulos, "(Requirement) Evolution Requirements for Adaptive Systems," in Proc. of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (to appear), 2012.

Cited By

Yang HChen FAliyu S(2017)Modern software cyberneticsJournal of Systems and Software10.1016/j.jss.2016.08.095124:C(169-186)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1016/j.jss.2016.08.095
Wang LLi QLin YChu H(2016)Multi-agent Organization for Hiberarchy Dynamic EvolutionProceedings, Part I, of the 6th International Conference on Advances in Swarm and Computational Intelligence - Volume 914010.1007/978-3-319-20466-6_60(570-577)Online publication date: 25-Jun-2016
https://dl.acm.org/doi/10.1007/978-3-319-20466-6_60
Omoronyia ICavallaro LSalehie MPasquale LNuseibeh BNotkin DCheng BPohl K(2013)Engineering adaptive privacy: on the role of privacy awareness requirementsProceedings of the 2013 International Conference on Software Engineering10.5555/2486788.2486872(632-641)Online publication date: 18-May-2013
https://dl.acm.org/doi/10.5555/2486788.2486872

Recommendations

The Requirements Problem for Adaptive Systems
Special Issue on Complexity of Systems Evolution: Requirements Engineering Perspective

Requirements Engineering (RE) focuses on eliciting, modeling, and analyzing the requirements and environment of a system-to-be in order to design its specification. The design of the specification, known as the Requirements Problem (RP), is a complex ...
Addressing non-functional requirements of adaptive IoT systems: a model-driven approach
MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

Non-functional requirements (NFR) of IoT systems increase the complexity of system development. The success of such systems also largely depends on dealing with NFRs correctly. However, inter-dependencies among NFRs often introduce conflicts. These ...
Tactics based approach for integrating non-functional requirements in object-oriented analysis and design

Non-Functional Requirements (NFRs) are rarely treated as ''first-class'' elements in software development as Functional Requirements (FRs) are. Often NFRs are stated informally and incorporated in the final software as an after-thought. We leverage ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '12: Proceedings of the 34th International Conference on Software Engineering

June 2012

1657 pages

ISBN:9781467310673

General Chair:
Martin Glinz,
Program Chairs:
Gail Murphy,
Mauro Pezzè

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

IEEE Press

Publication History

Published: 02 June 2012

Check for updates

Qualifiers

Article

Conference

ICSE '12

Sponsor:

SIGSOFT

ICSE '12: 34th International Conference on Software Engineering

June 2 - 9, 2012

Zurich, Switzerland

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
197
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Yang HChen FAliyu S(2017)Modern software cyberneticsJournal of Systems and Software10.1016/j.jss.2016.08.095124:C(169-186)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1016/j.jss.2016.08.095
Wang LLi QLin YChu H(2016)Multi-agent Organization for Hiberarchy Dynamic EvolutionProceedings, Part I, of the 6th International Conference on Advances in Swarm and Computational Intelligence - Volume 914010.1007/978-3-319-20466-6_60(570-577)Online publication date: 25-Jun-2016
https://dl.acm.org/doi/10.1007/978-3-319-20466-6_60
Omoronyia ICavallaro LSalehie MPasquale LNuseibeh BNotkin DCheng BPohl K(2013)Engineering adaptive privacy: on the role of privacy awareness requirementsProceedings of the 2013 International Conference on Software Engineering10.5555/2486788.2486872(632-641)Online publication date: 18-May-2013
https://dl.acm.org/doi/10.5555/2486788.2486872

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