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

research-article

Awareness requirements for adaptive systems

Authors:

Vítor E. Silva Souza,

Alexei Lapouchnian,

William N. Robinson,

John MylopoulosAuthors Info & Claims

SEAMS '11: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Pages 60 - 69

https://doi.org/10.1145/1988008.1988018

Published: 23 May 2011 Publication History

Abstract

Recently, there has been a growing interest in self-adaptive systems. Roadmap papers in this area point to feedback loops as a promising way of operationalizing adaptivity in such systems. In this paper, we define a new type of requirement - called Awareness Requirement - that can refer to other requirements and their success/failures. We propose a way to elicit and formalize such requirements and offer a requirements monitoring framework to support them.

References

[1]

L. Baresi, L. Pasquale, and P. Spoletini. Fuzzy goals for requirements-driven adaptation. IEEE International Conference on Requirements Engineering, pages 125--134, 2010.

Digital Library

[2]

P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos. Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems, 8(3):203--236, 2004.

Digital Library

[3]

B. Cheng et al. Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems, 5525/2009:1--26, 2009.

Digital Library

[4]

J. Doyle, B. Francis, and A. Tannenbaum. Feedback Control Theory. McMillan Publishing, 1990.

Digital Library

[5]

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in property specifications for finite-state verification. In ICSE '99: Proceedings of the 21st international conference on Software engineering, pages 411--420, Los Angeles, USA, 1999. ACM Press.

Digital Library

[6]

S. Flake. Enhancing the Message Concept of the Object Constraint Language. In SEKE '04: Proceedings of the 16th International Conference on Software Engineering & Knowledge Engineering, pages 161--166, Banff, Canada, 2004.

[7]

A. R. Hevner, S. T. March, J. Park, and S. Ram. Design science in information systems research. MIS Quarterly, 28(1):75--105, 2004.

Digital Library

[8]

I. J. Jureta, J. Mylopoulos, and S. Faulkner. Revisiting the Core Ontology and Problem in Requirements Engineering. In RE '08: 16th IEEE International Requirements Engineering Conference, pages 71--80, Barcelona, Spain, 2008. IEEE.

Digital Library

[9]

J. O. Kephart and D. M. Chess. The vision of autonomic computing. Computer, 36(1):41--50, 2003.

Digital Library

[10]

E. Letier and A. van Lamsweerde. Reasoning about partial goal satisfaction for requirements and design engineering. In SIGSOFT '04/FSE-12: 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 53--62, 2004.

Digital Library

[11]

W. N. Robinson. A requirements monitoring framework for enterprise systems. Requirements Engineering, 11(1):17--41, Mar. 2006.

Digital Library

[12]

W. N. Robinson. Extended OCL for Goal Monitoring. In Ocl4All '07: Proceedings of the 7th International Workshop on Ocl4All: Modelling Systems with OCL, Nashville, USA, 2007. Springer Berlin / Heidelberg.

[13]

W. N. Robinson and S. Fickas. Designs can talk: A case of feedback for design evolution in assistive technology. In W. A. et al., editor, Design Requirements Engineering: A Ten-Year Perspective, volume 14 of Lecture Notes in Business Information Processing, pages 215--237. Springer, 2009.

[14]

W. N. Robinson and S. Purao. Monitoring service systems from a language-action perspective. IEEE Transactions on Services Computing, 2010.

Digital Library

[15]

D. Rosenthal. Consciousness and Mind. Oxford University Press, USA, Jan. 2006.

[16]

V. E. S. Souza, A. Lapouchnian, W. N. Robinson, and J. Mylopoulos. Awareness requirements for adaptive systems: Extended report. In University of Trento Technical report DISI-11-352, 2011.

[17]

J. Whittle, P. Sawyer, N. Bencomo, B. H. Cheng, and J.-M. Bruel. RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. In RE '09: Proceedings of the 17th IEEE International Requirements Engineering Conference, pages 79--88, Atlanta, USA, 2009. IEEE.

Digital Library

Cited By

Li JZhang MLi NWeyns DJin ZTei K(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
https://dl.acm.org/doi/10.1145/3686803
Liu YBruel J(2024)Modeling and Verification of Natural Language Requirements based on States and ModesFormal Aspects of Computing10.1145/364082236:2(1-47)Online publication date: 5-Feb-2024
https://dl.acm.org/doi/10.1145/3640822
Sothilingam RYu E(2024)A Goal-Oriented Approach for Modeling Decisions in ML Processes2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)10.1109/REW61692.2024.00048(321-325)Online publication date: 24-Jun-2024
https://doi.org/10.1109/REW61692.2024.00048
Show More Cited By

Index Terms

Awareness requirements for adaptive systems
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

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 ...
(Requirement) evolution requirements for adaptive systems
SEAMS '12: Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

It is often the case that stakeholders want to strengthen/weaken or otherwise change their requirements for a system-to-be when certain conditions apply at runtime. For example, stakeholders may decide that if requirement R is violated more than N times ...
Requirements-driven software evolution

It is often the case that stakeholders want to strengthen/weaken or otherwise change their requirements for a system-to-be when certain conditions apply at runtime. For example, stakeholders may decide that if requirement R is violated more than N ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SEAMS '11: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

May 2011

246 pages

ISBN:9781450305754

DOI:10.1145/1988008

Program Chairs:
Holger Giese
Hasso Plattner Institute, Germany
,
Betty H.C. Cheng
Michigan State University, USA

Copyright © 2011 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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 May 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE11

Sponsor:

SIGSOFT

ICSE11: International Conference on Software Engineering

May 23 - 24, 2011

HI, Waikiki, Honolulu, USA

Acceptance Rates

Overall Acceptance Rate 17 of 31 submissions, 55%

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

79
Total Citations
View Citations
774
Total Downloads

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

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Li JZhang MLi NWeyns DJin ZTei K(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
https://dl.acm.org/doi/10.1145/3686803
Liu YBruel J(2024)Modeling and Verification of Natural Language Requirements based on States and ModesFormal Aspects of Computing10.1145/364082236:2(1-47)Online publication date: 5-Feb-2024
https://dl.acm.org/doi/10.1145/3640822
Sothilingam RYu E(2024)A Goal-Oriented Approach for Modeling Decisions in ML Processes2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)10.1109/REW61692.2024.00048(321-325)Online publication date: 24-Jun-2024
https://doi.org/10.1109/REW61692.2024.00048
Groner RCaldas RWohlrab R(2024)Meta-Adaptation Goals: Leveraging Feedback Loop Requirements for Effective Self-Adaptation2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)10.1109/ACSOS-C63493.2024.00037(91-96)Online publication date: 16-Sep-2024
https://doi.org/10.1109/ACSOS-C63493.2024.00037
Xu MLiu RTahvildari LStoodley MOnut IShirani POnut IOnut IBranco P(2023)An Educational Course on Self-Adaptive Systems using IBM TechnologiesProceedings of the 33rd Annual International Conference on Computer Science and Software Engineering10.5555/3615924.3615939(143-148)Online publication date: 11-Sep-2023
https://dl.acm.org/doi/10.5555/3615924.3615939
Sutcliffe A(2023)Partitioning the Problem Space in Healthcare-Oriented Requirements Engineering2023 IEEE 31st International Requirements Engineering Conference Workshops (REW)10.1109/REW57809.2023.00076(386-387)Online publication date: Sep-2023
https://doi.org/10.1109/REW57809.2023.00076
Sothilingam R(2023)A Requirements-Driven Conceptual Modeling Framework for Responsible AI2023 IEEE 31st International Requirements Engineering Conference (RE)10.1109/RE57278.2023.00061(391-395)Online publication date: Sep-2023
https://doi.org/10.1109/RE57278.2023.00061
Rashid THassan BAlsadoon AQader SVimal SChhabra AYaseen Z(2023)Awareness requirement and performance management for adaptive systems: a surveyThe Journal of Supercomputing10.1007/s11227-022-05021-179:9(9692-9714)Online publication date: 19-Jan-2023
https://doi.org/10.1007/s11227-022-05021-1
Farahani APasquale LBennaceur AWelsh TNuseibeh B(2021)On Adaptive Fairness in Software Systems2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)10.1109/SEAMS51251.2021.00022(97-103)Online publication date: May-2021
https://doi.org/10.1109/SEAMS51251.2021.00022
Cleland-Huang JAgrawal AIslam MTsai EVan Speybroeck MVierhauser MLopez-Herrejon R(2020)Requirements-driven configuration of emergency response missions with small aerial vehiclesProceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A10.1145/3382025.3414950(1-12)Online publication date: 19-Oct-2020
https://dl.acm.org/doi/10.1145/3382025.3414950
Show More Cited By

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