{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T20:13:14Z","timestamp":1773087194339,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642044243","type":"print"},{"value":"9783642044250","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04425-0_36","type":"book-chapter","created":{"date-parts":[[2009,9,30]],"date-time":"2009-09-30T09:52:04Z","timestamp":1254304324000},"page":"468-483","source":"Crossref","is-referenced-by-count":159,"title":["A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty"],"prefix":"10.1007","author":[{"given":"Betty H. C.","family":"Cheng","sequence":"first","affiliation":[]},{"given":"Pete","family":"Sawyer","sequence":"additional","affiliation":[]},{"given":"Nelly","family":"Bencomo","sequence":"additional","affiliation":[]},{"given":"Jon","family":"Whittle","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"A. Lamsweerde van","year":"2009","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. John Wiley & Sons, Chichester (2009)"},{"key":"36_CR2","unstructured":"Schneier, B.: Attack Trees - Modeling security threats. Dr. Dobb\u2019s Journal (1999)"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: ICSE 2006: Proc. of the 28th Int. Conf. on Software engineering, pp. 371\u2013380 (2006)","DOI":"10.1145\/1134285.1134337"},{"key":"36_CR4","doi-asserted-by":"crossref","unstructured":"Goldsby, H., Sawyer, P., Bencomo, N., Hughes, D., Cheng, B.H.C.: Goal-based modeling of dynamically adaptive system requirements. In: 15th IEEE Int. Conf. on the Engineering of Computer Based Systems, ECBS (2008)","DOI":"10.1109\/ECBS.2008.22"},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.M.: Relax: Incorporating uncertainty into the specification of self-adaptive systems. In: Proc. of IEEE Int. Requirements Engineering Conf., RE 2009 (to appear, 2009)","DOI":"10.1109\/RE.2009.36"},{"key":"36_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-68123-6_1","volume-title":"Foundations of Intelligent Systems","author":"Y. Yijun","year":"2008","unstructured":"Yijun, Y., Lapouchnian, A., Liaskos, S., Mylopoulos, J., Leite, J.: From Goals to High-Variability Software Design. In: An, A., Matwin, S., Ra\u015b, Z.W., \u015al\u0119zak, D. (eds.) Foundations of Intelligent Systems. LNCS (LNAI), vol.\u00a04994, pp. 1\u201316. Springer, Heidelberg (2008)"},{"issue":"1","key":"36_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/291469.293165","volume":"42","author":"J. Mylopoulos","year":"1999","unstructured":"Mylopoulos, J., Chung, L., Yu, E.: From object-oriented to goal-oriented requirements analysis. Commun. ACM\u00a042(1), 31\u201337 (1999)","journal-title":"Commun. ACM"},{"key":"36_CR8","first-page":"44","volume-title":"Integrating Security and Software Engineering: Advances and Future Visions","author":"N. Mead","year":"2006","unstructured":"Mead, N.: Identifying Security Requirements using the SQUARE Method. In: Integrating Security and Software Engineering: Advances and Future Visions, pp. 44\u201369. Idea Group, USA (2006)"},{"key":"36_CR9","doi-asserted-by":"publisher","first-page":"332","DOI":"10.4018\/978-1-93177-744-5.ch017","volume-title":"UML and the unified process","author":"F. Braber den","year":"2003","unstructured":"den Braber, F., Dimitrakos, T., Gran, B.A., Lund, M.S., St\u00f6len, K., Aagedal, J.O.: The coras methodology: model-based risk assessment using uml and up. In: UML and the unified process, pp. 332\u2013357. IGI Publishing, Hershey (2003)"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., et al.: 08031 \u2013 software engineering for self-adaptive systems: A research road map. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. Number 08031 in Dagstuhl Seminar Proceedings (2008)","DOI":"10.1007\/978-3-642-02161-9"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Briand, L.C., Wolf, A.L. (eds.) FOSE, pp. 259\u2013268 (2007)","DOI":"10.1109\/FOSE.2007.19"},{"key":"36_CR12","unstructured":"Jing, X., Pinel, P., Pi, L., Aranega, V., Baron, C.: Modeling uncertain and imprecise information in process modeling with UML. In: COMAD, Computer Society of India, pp. 237\u2013240 (2008)"},{"issue":"3","key":"36_CR13","doi-asserted-by":"publisher","first-page":"972","DOI":"10.1016\/j.datak.2007.06.003","volume":"63","author":"Z.M. Ma","year":"2007","unstructured":"Ma, Z.M., Yan, L.: Fuzzy XML data modeling with the UML and relational data models. Data Knowl. Eng.\u00a063(3), 972\u2013996 (2007)","journal-title":"Data Knowl. Eng."},{"key":"36_CR14","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Behaviour model elaboration using partial labelled transition systems. In: ESEC\/FSE-11, pp. 19\u201327 (2003)","DOI":"10.1145\/940071.940076"},{"key":"36_CR15","unstructured":"Yu, E.S.K.: Towards modeling and reasoning support for early-phase requirements engineering. In: Proc. of 3rd IEEE Int. Symp. on Requirements Engineering, RE 1997 (1997)"},{"key":"36_CR16","doi-asserted-by":"crossref","unstructured":"Lapouchnian, A., Liaskos, S., Mylopoulos, J., Yu, Y.: Towards requirements-driven autonomic systems design. In: Workshop on the Design and Evolution of Autonomic Application Software, DEAS 2005 (2005)","DOI":"10.1145\/1083063.1083075"},{"key":"36_CR17","doi-asserted-by":"crossref","unstructured":"Lapouchnian, A., Yu, Y., Liaskos, S., Mylopoulos, J.: Requirements-driven design of autonomic application software. In: Proc. of CASCON 2006 (2006)","DOI":"10.1145\/1188966.1188976"},{"key":"36_CR18","doi-asserted-by":"crossref","unstructured":"Morandini, M., Penserini, L., Perini, A.: Modelling self-adaptivity: A goal-oriented approach. In: SASO 2008: Proc. of 2008 Second IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems, pp. 469\u2013470 (2008)","DOI":"10.1109\/SASO.2008.67"},{"key":"36_CR19","doi-asserted-by":"crossref","unstructured":"Fickas, S., Feather, M.: Requirements monitoring in dynamic environments. In: 2nd IEEE Int. Symp. on Requirements Engineering, RE 1995 (1995)","DOI":"10.1109\/ISRE.1995.512555"},{"key":"36_CR20","doi-asserted-by":"crossref","unstructured":"Dingwall-Smith, A., Finkelstein, A.: Checking complex compositions of web services against policy constraints. In: MSVVEIS, pp. 94\u2013103. INSTICC Press (2007)","DOI":"10.5220\/0002414400940103"},{"key":"36_CR21","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/1321631.1321675","volume-title":"ASE","author":"Y. Wang","year":"2007","unstructured":"Wang, Y., McIlraith, S.A., Yu, Y., Mylopoulos, J.: An automated approach to monitoring and diagnosing requirements. In: ASE, pp. 293\u2013302. ACM, New York (2007)"},{"key":"36_CR22","doi-asserted-by":"crossref","unstructured":"Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. In: Proc. of 12th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering, pp. 53\u201362 (2004)","DOI":"10.1145\/1029894.1029905"},{"key":"36_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1007\/978-3-540-87875-9_54","volume-title":"Model Driven Engineering Languages and Systems","author":"B. Morin","year":"2008","unstructured":"Morin, B., Fleurey, F., Bencomo, N., J\u00e9z\u00e9quel, J.M., Solberg, A., Dehlen, V., Blair, G.: An aspect-oriented and model-driven approach for managing dynamic variability. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 782\u2013796. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04425-0_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T12:48:12Z","timestamp":1739364492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04425-0_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044243","9783642044250"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04425-0_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}