The DOI matches its Crossref record; 11 of the 11 references it cites were found in a registry or an index.
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems
Open accessAbstract
Self-adaptive systems have the capability to autonomously modify their behaviour at run-time in response to changes in their environment. Self-adaptation is particularly necessary for applications that must run continuously, even under adverse conditions and changing requirements; sample domains include automotive systems, telecommunications, and environmental monitoring systems. While a few techniques have been developed to support the monitoring and analysis of requirements for adaptive systems, limited attention has been paid to the actual creation and specification of requirements of self-adaptive systems. As a result, self-adaptivity is often constructed in an ad-hoc manner. In this paper, we argue that a more rigorous treatment of requirements explicitly relating to self-adaptivity is needed and that, in particular, requirements languages for self-adaptive systems should include explicit constructs for specifying and dealing with the uncertainty inherent in self-adaptive systems. We present RELAX, a new requirements language for self-adaptive systems and illustrate it using examples from the smart home domain.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
The vision of autonomic computing
Kephart, J. O., & Chess, D. M. (2003) · Computer · doi:10.1109/mc.2003.1160055 · Cited by 6,572
Towards modelling and reasoning support for early-phase requirements engineering
Yu, E. S. K. (2002) · Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering · doi:10.1109/isre.1997.566873 · Cited by 1,579
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Cheng, B. H. C., de Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Bencomo, N., Brun, Y., Cukic, B., et al. (2009) · Lecture Notes in Computer Science · doi:10.1007/978-3-642-02161-9_1 · Cited by 1,094
Self-citationSelf-Managed Systems: an Architectural Challenge
Kramer, J., & Magee, J. (2007) · Future of Software Engineering (FOSE '07) · doi:10.1109/fose.2007.19 · Cited by 829
Reasoning about partial goal satisfaction for requirements and design engineering
Letier, E., & van Lamsweerde, A. (2004) · Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering · doi:10.1145/1029894.1029905 · Cited by 265
Model-based programming of intelligent embedded systems and robotic space explorers
Williams, B. C., Ingham, M. D., Chung, S., & Elliott, P. H. (2003) · Proceedings of the IEEE · doi:10.1109/jproc.2002.805828 · Cited by 187
Requirements-driven design of autonomic application software
Lapouchnian, A., Yu, Y., Liaskos, S., & Mylopoulos, J. (2006) · IEEE International Conference on Collaborative Advances in Software and Computing (CASCON) · doi:10.1145/1188966.1188976 · Cited by 107
Specifying Monitoring and Switching Problems in Context
Salifu, M., Yu, Y., & Nuseibeh, B. (2007) · IEEE International Requirements Engineering Conference (RE) · doi:10.1109/re.2007.21 · Cited by 96
Towards requirements-driven autonomic systems design
Lapouchnian, A., Liaskos, S., Mylopoulos, J., & Yu, Y. (2005) · ACM SIGSOFT Software Engineering Notes · doi:10.1145/1082983.1083075 · Cited by 83
Facilitating the construction of specification pattern-based properties
Konrad, S., & Cheng, B. H. C. (2005) · doi:10.1109/re.2005.29 · Cited by 67
Self-citation
Cited by
A survey on engineering approaches for self-adaptive systems
Krupitzer, C., Roth, F. M., VanSyckel, S., Schiele, G., & Becker, C. (2015) · Pervasive and Mobile Computing · doi:10.1016/j.pmcj.2014.09.009 · Cited by 443
Generative AI for self-adaptive systems: State of the art and research roadmap
Li, J., Zhang, M., Li, N., Weyns, D., Jin, Z., & Tei, K. (2024) · ACM Transactions on Autonomous and Adaptive Systems · doi:10.1145/3686803 · Cited by 77
Metadata
- Authors
- Whittle, J., Sawyer, P., Bencomo, N., Cheng, B. H. C., & Bruel, J.-M.
- Venue
- 2009 17th IEEE International Requirements Engineering Conference
- Publisher
- IEEE
- Published
- 2009-08
- Pages
- 79-88
- OpenAlex
- W2098895708
- Cited by
- 256
- References
- 11
- FWCI
- 13.40
- Type
- conference paper
- Language
- en
- Open access
- green
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. https://app.cochat.ai/papers/10.1109/re.2009.36
- The paper
- Whittle, J., Sawyer, P., Bencomo, N., Cheng, B. H. C., & Bruel, J.-M. (2009). RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. 2009 17th IEEE International Requirements Engineering Conference. https://doi.org/10.1109/re.2009.36
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
