{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T06:40:08Z","timestamp":1739083208638,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642018619"},{"type":"electronic","value":"9783642018626"}],"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-01862-6_26","type":"book-chapter","created":{"date-parts":[[2009,4,29]],"date-time":"2009-04-29T12:42:09Z","timestamp":1241008929000},"page":"313-325","source":"Crossref","is-referenced-by-count":3,"title":["Goal-Directed Modeling of Self-adaptive Software Architecture"],"prefix":"10.1007","author":[{"given":"Shan","family":"Tang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yijun","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenyun","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Brandozzi, M., Perry, D.: From goal-oriented requirements to architectural prescriptions: The preskriptor process. In: Proc. of the 2nd Int\u2019l. Software Requirements to Architectures Workshop, pp. 107\u2013113 (2003)"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Goal-oriented requirements engineering: From system objectives to UML models to precise software specifications. In: ICSE 2003, pp. 744\u2013745 (2003)","DOI":"10.1109\/ICSE.2003.1201266"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Dardenne, A., Fickas, S., van Lamsweerde, A.: Goal-Directed Concept Acquisition in Requirements Elicitation. In: Proc. Sixth Int\u2019l. Workshop Software Specification and Design, pp. 14\u201321 (1991)","DOI":"10.1109\/IWSSD.1991.213081"},{"key":"26_CR4","unstructured":"Brandozzi, M., Perry, D.E.: Transforming goal oriented requirements specifications into architectural prescriptions. In: STRAW at ICSE 2001 (2001)"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of computer Programming\u00a020, 3\u201350 (1993)","journal-title":"Science of computer Programming"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Van Lamweerde, A., Darimont, R., Massonet, P.: Goal-Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learnt. In: Proc. of the RE 1995 \u20132nd IEEE Symposium on Requirements Engineering, York, pp. 194\u2013203 (1995)","DOI":"10.1109\/ISRE.1995.512561"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-39800-4_2","volume-title":"Formal Methods for Software Architectures","author":"A. Lamsweerde Van","year":"2003","unstructured":"Van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 25\u201343. Springer, Heidelberg (2003)"},{"issue":"12","key":"26_CR8","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D. Parnas","year":"1972","unstructured":"Parnas, D.: On the criteria to be used in decomposing systems into modules. CACM\u00a015(12), 1053\u20131058 (1972)","journal-title":"CACM"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Peng, X., Wu, Y., Zhao, W.: A Feature-Oriented Adaptive Component Model for Dynamic Evolution. In: 11th European Conference on Software Maintenance and Reengineering, pp. 49\u201357 (2007)","DOI":"10.1109\/CSMR.2007.6"},{"key":"26_CR10","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"26_CR11","unstructured":"Medvidovic, N., Gruenbacher, P., Egyed, A.F., Boehm, B.W.: Bridging Models across the Software Lifecycle. Technical Report USC-CSE-2000-521, University of Southern California (2000)"},{"key":"26_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)"},{"key":"26_CR13","unstructured":"Jiao, W., Mei, H.: Dynamic Architectural Connectors in Cooperative Software Systems. In: Proc. of the 10th IEEE International Conference on Engineering of Complex Computer Systems (2005)"},{"issue":"1","key":"26_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1147\/sj.421.0005","volume":"42","author":"A.G. Ganek","year":"2003","unstructured":"Ganek, A.G., Corbi, T.A.: The dawning of the autonomic computing era. IBM Systems Journal\u00a042(1), 5\u201318 (2003)","journal-title":"IBM Systems Journal"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.: Model-based development of dynamically adaptive software. In: Proc. of the 28th International Conference on Software Engineering (2006)","DOI":"10.1145\/1134285.1134337"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Brown, G., Cheng, H.C., Goldsby, H., Zhang, J.: Goal-oriented specification of adaptation requirements engineering in adaptive systems. In: Proc. of the Workshop on Software Engineering for Adaptive and Self-Managing Systems (2006)","DOI":"10.1145\/1137677.1137682"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Cheng, S.W., Garlan, D., Schmerl, B.R., Sousa, J.P., Spitnagel, B., Steenkiste, P.: Using architectural style as a basis for system self-repair. In: WICSA 3: Proceedings of the IFIP 17th World Computer Congress - TC2 Stream \/ 3rd IEEE\/IFIP Conference on Software Architecture, pp. 45\u201359 (2002)","DOI":"10.1007\/978-0-387-35607-5_3"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"Yu, Y., Lapouchnian, A., Liaskos, S., Mylopoulos, J., Leite, J.C.S.P.: From goals to high-variability software design. In: 17th International Symposium on Methodologies for Intelligent Systems, pp. 1\u201316 (2008)","DOI":"10.1007\/978-3-540-68123-6_1"},{"key":"26_CR19","unstructured":"van Lamsweerde, A., Dardenne, A., Delcourt, B., Dubisy, F.: The KAOS Project: Knowledge Acquisition in Automated Specification of Software. In: Proceedings AAAI Spring Symposium Series, Stanford University, American Association for Artificial Intelligence, pp. 59\u201362 (1991)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01862-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T06:21:24Z","timestamp":1739082084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01862-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642018619","9783642018626"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01862-6_26","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}