{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T23:40:54Z","timestamp":1770334854359,"version":"3.49.0"},"reference-count":33,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2014,9,18]],"date-time":"2014-09-18T00:00:00Z","timestamp":1410998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["267856"],"award-info":[{"award-number":["267856"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Manage. Inf. Syst."],"published-print":{"date-parts":[[2015,1,22]]},"abstract":"<jats:p>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 problem-solving task because it involves, for each new system, the discovery and exploration of, and decision making in a new problem space. A system is adaptive if it can detect deviations between its runtime behavior and its requirements, specifically situations where its behavior violates one or more of its requirements. Given such a deviation, an Adaptive System uses feedback mechanisms to analyze these changes and decide, with or without human intervention, how to adjust its behavior as a result. We are interested in defining the Requirements Problem for Adaptive Systems (RPAS). In our case, we are looking for a<jats:italic>configurable<\/jats:italic>specification such that whenever requirements fail to be fulfilled, the system can go through a series of adaptations that change its configuration and eventually restore fulfilment of the requirements. From a theoretical perspective, this article formally shows the fundamental differences between standard RE (notably Zave and Jackson [1997]) and RE for Adaptive Systems (see the seminal work by Fickas and Feather [1995], to Letier and van Lamsweerde [2004], and up to Whittle et al. [2010]). The main contribution of this article is to introduce the RPAS as a new RP class that is specific to Adaptive Systems. We relate the RPAS to RE research on the relaxation of requirements, the evaluation of their partial satisfaction, and the monitoring and control of requirements, all topics of particular interest in research on adaptive systems [de Lemos et al. 2013]. From an engineering perspective, we define a proto-framework for solving RPAS, which illustrates features needed in future frameworks for adaptive software systems.<\/jats:p>","DOI":"10.1145\/2629376","type":"journal-article","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T12:27:17Z","timestamp":1411129637000},"page":"1-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["The Requirements Problem for Adaptive Systems"],"prefix":"10.1145","volume":"5","author":[{"given":"Ivan J.","family":"Jureta","sequence":"first","affiliation":[{"name":"Fonds de la Recherche Scientifique -- FNRS and University of Namur, Namur, Belgium"}]},{"given":"Alexander","family":"Borgida","sequence":"additional","affiliation":[{"name":"Rutgers University, Piscataway, NJ"}]},{"given":"Neil A.","family":"Ernst","sequence":"additional","affiliation":[{"name":"University of British Columbia, Canada"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[{"name":"University of Trento, Povo, Italy"}]}],"member":"320","published-online":{"date-parts":[[2014,9,18]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.22"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.25"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.59"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225037"},{"key":"e_1_2_2_6_1","volume-title":"IFIP Congress. 1069--1076","author":"Brooks F. P.","year":"1986","unstructured":"F. P. Brooks . 1986 . No silver bullet\u2014essence and accidents of software engineering (invited paper) . In IFIP Congress. 1069--1076 . F. P. Brooks. 1986. No silver bullet\u2014essence and accidents of software engineering (invited paper). In IFIP Congress. 1069--1076."},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(02)00012-1"},{"key":"e_1_2_2_8_1","volume-title":"Lecture Notes in Computer Science","volume":"5525","author":"Cheng B. H. C.","year":"2009","unstructured":"B. H. C. Cheng , R. de Lemos , H. Giese , P. Inverardi , and J. Magee ( Eds .). 2009 . Software Engineering for Self-Adaptive Systems {Outcome of a Dagstuhl Seminar} . Lecture Notes in Computer Science , Vol. 5525 . Springer. B. H. C. Cheng, R. de Lemos, H. Giese, P. Inverardi, and J. Magee (Eds.). 2009. Software Engineering for Self-Adaptive Systems {Outcome of a Dagstuhl Seminar}. Lecture Notes in Computer Science, Vol. 5525. Springer."},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90021-G"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239131"},{"key":"e_1_2_2_11_1","volume-title":"2010 Revised Selected and Invited Papers. Lecture Notes in Computer Science","volume":"7475","author":"de Lemos R.","year":"2013","unstructured":"R. de Lemos , H. Giese , H. A. M\u00fcller , and M. Shaw ( Eds .). 2013 . Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24--29 , 2010 Revised Selected and Invited Papers. Lecture Notes in Computer Science , Vol. 7475 . Springer. R. de Lemos, H. Giese, H. A. M\u00fcller, and M. Shaw (Eds.). 2013. Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24--29, 2010 Revised Selected and Invited Papers. Lecture Notes in Computer Science, Vol. 7475. Springer."},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2013.05.008"},{"key":"e_1_2_2_13_1","doi-asserted-by":"crossref","unstructured":"M. S. Feather S. Fickas A. Van Lamsweerde and C. Ponsard. 1998. Reconciling system requirements and runtime behavior. In IWSSD. IEEE Computer Society Washington DC 50. M. S. Feather S. Fickas A. Van Lamsweerde and C. Ponsard. 1998. Reconciling system requirements and runtime behavior. In IWSSD. IEEE Computer Society Washington DC 50.","DOI":"10.1109\/IWSSD.1998.667919"},{"key":"e_1_2_2_14_1","volume-title":"Proceedings of the IEEE International Requirements Engineering Conference. IEEE Computer Society, 140--147","author":"Fickas S.","unstructured":"S. Fickas and M. S. Feather . 1995. Requirements monitoring in dynamic environments . In Proceedings of the IEEE International Requirements Engineering Conference. IEEE Computer Society, 140--147 . S. Fickas and M. S. Feather. 1995. Requirements monitoring in dynamic environments. In Proceedings of the IEEE International Requirements Engineering Conference. IEEE Computer Society, 140--147."},{"key":"e_1_2_2_15_1","volume-title":"Proceedings of the 16th International Conference on Software Engineering. 135--147","author":"Greenspan S.","unstructured":"S. Greenspan , J. Mylopoulos , and A. Borgida . 1994. On formal requirements modeling languages: RML revisited . In Proceedings of the 16th International Conference on Software Engineering. 135--147 . S. Greenspan, J. Mylopoulos, and A. Borgida. 1994. On formal requirements modeling languages: RML revisited. In Proceedings of the 16th International Conference on Software Engineering. 135--147."},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/292182.292187"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.24"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2008.13"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029905"},{"key":"e_1_2_2_20_1","volume-title":"Proceedings of the 18th International Conference on Software Engineering. IEEE Computer Society, 60--69","author":"Liu X. F.","unstructured":"X. F. Liu and J. Yen . 1996. An analytic framework for specifying and analyzing imprecise requirements . In Proceedings of the 18th International Conference on Software Engineering. IEEE Computer Society, 60--69 . X. F. Liu and J. Yen. 1996. An analytic framework for specifying and analyzing imprecise requirements. In Proceedings of the 18th International Conference on Software Engineering. IEEE Computer Society, 60--69."},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.142871"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.328995"},{"key":"e_1_2_2_23_1","volume-title":"Proceedings of the Conference on Advanced Information Systems Engineering.","author":"Qureshi N. A.","unstructured":"N. A. Qureshi , I. J. Jureta , and A. Perini . 2011. Requirements engineering for self-adaptive systems: Core ontology and problem statement . In Proceedings of the Conference on Advanced Information Systems Engineering. N. A. Qureshi, I. J. Jureta, and A. Perini. 2011. Requirements engineering for self-adaptive systems: Core ontology and problem statement. In Proceedings of the Conference on Advanced Information Systems Engineering."},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-005-0016-3"},{"key":"e_1_2_2_25_1","volume-title":"Extended OCL for goal monitoring. ECEASST 9","author":"Robinson W. N.","year":"2008","unstructured":"W. N. Robinson . 2008. Extended OCL for goal monitoring. ECEASST 9 ( 2008 ). W. N. Robinson. 2008. Extended OCL for goal monitoring. ECEASST 9 (2008)."},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/857076.857079"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-012-0232-2"},{"key":"e_1_2_2_28_1","volume-title":"Lecture Notes in Computer Science","volume":"7475","author":"Souza V. E. S.","unstructured":"V. E. S. Souza , A. Lapouchnian , W. N. Robinson , and J. Mylopoulos . 2013. Awareness requirements. In Software Engineering for Self-Adaptive Systems II, Rog\u00e9rio Lemos, Holger Giese, Hausi A. M\u00fcller, and Mary Shaw (Eds.) . Lecture Notes in Computer Science , Vol. 7475 . Springer, 133--161. V. E. S. Souza, A. Lapouchnian, W. N. Robinson, and J. Mylopoulos. 2013. Awareness requirements. In Software Engineering for Self-Adaptive Systems II, Rog\u00e9rio Lemos, Holger Giese, Hausi A. M\u00fcller, and Mary Shaw (Eds.). Lecture Notes in Computer Science, Vol. 7475. Springer, 133--161."},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0101-0"},{"key":"e_1_2_2_32_1","volume-title":"Proceedings of the 16th International Conference on Software Engineering 159--168","author":"Yu E. S. K.","unstructured":"E. S. K. Yu and J. Mylopoulos . 1994. Understanding \u201cWhy\u201d in software process modelling, analysis, and design . In Proceedings of the 16th International Conference on Software Engineering 159--168 . E. S. K. Yu and J. Mylopoulos. 1994. Understanding \u201cWhy\u201d in software process modelling, analysis, and design. In Proceedings of the 16th International Conference on Software Engineering 159--168."},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1287\/orsc.1070.0307"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237434"}],"container-title":["ACM Transactions on Management Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2629376","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2629376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:30Z","timestamp":1750231170000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2629376"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,18]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,1,22]]}},"alternative-id":["10.1145\/2629376"],"URL":"https:\/\/doi.org\/10.1145\/2629376","relation":{},"ISSN":["2158-656X","2158-6578"],"issn-type":[{"value":"2158-656X","type":"print"},{"value":"2158-6578","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,18]]},"assertion":[{"value":"2013-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}