{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:20:14Z","timestamp":1742937614612,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319686899"},{"type":"electronic","value":"9783319686905"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-68690-5_10","type":"book-chapter","created":{"date-parts":[[2017,10,9]],"date-time":"2017-10-09T21:14:51Z","timestamp":1507583691000},"page":"157-173","source":"Crossref","is-referenced-by-count":6,"title":["Refinement-Based Modelling and Verification of\u00a0Design Patterns for\u00a0Self-adaptive Systems"],"prefix":"10.1007","author":[{"given":"Thomas","family":"G\u00f6thel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nils","family":"J\u00e4hnig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Seif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,11]]},"reference":[{"key":"10_CR1","unstructured":"An architectural blueprint for autonomic computing. Technical report, IBM, June 2005"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-28872-2_17","volume-title":"Fundamental Approaches to Software Engineering","author":"R Bruni","year":"2012","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 240\u2013254. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-28872-2_17"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-319-07602-7_8","volume-title":"Formal Aspects of Component Software","author":"L Cesari","year":"2014","unstructured":"Cesari, L., De Nicola, R., Pugliese, R., Puviani, M., Tiezzi, F., Zambonelli, F.: Formalising adaptation patterns for autonomic ensembles. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 100\u2013118. Springer, Cham (2014). doi:\n10.1007\/978-3-319-07602-7_8"},{"key":"10_CR4","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Gardner, W.B., Gumtie, A., Carter, J.D.: Supporting selective formalism in CSP++ with process-specific storage. In: 12th International Conference on Embedded Software and Systems, ICESS 2015, pp. 1057\u20131065. IEEE (2015)","DOI":"10.1109\/HPCC-CSS-ICESS.2015.265"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-54862-8_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Gibson-Robinson","year":"2014","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 \u2014 a modern refinement checker for CSP. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 187\u2013201. Springer, Heidelberg (2014). doi:\n10.1007\/978-3-642-54862-8_13"},{"issue":"1","key":"10_CR7","first-page":"5:1","volume":"15","author":"T G\u00f6thel","year":"2015","unstructured":"G\u00f6thel, T., Kl\u00f6s, V., Bartels, B.: Modular design and verification of distributed adaptive real-time systems based on refinements and abstractions. EAI Endorsed Trans. Self-Adapt. Syst. 15(1), 5:1\u20135:12 (2015)","journal-title":"EAI Endorsed Trans. Self-Adapt. Syst."},{"key":"10_CR8","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G Holzmann","year":"2003","unstructured":"Holzmann, G.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"issue":"3","key":"10_CR9","first-page":"15:1","volume":"10","author":"DG Iglesia de la","year":"2015","unstructured":"de la Iglesia, D.G., Weyns, D.: MAPE-K formal templates to rigorously design behaviors for self-adaptive systems. ACM Trans. Auton. Adapt. Syst. 10(3), 15:1\u201315:31 (2015)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"issue":"1","key":"10_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2011.09.004","volume":"78","author":"N Khakpour","year":"2012","unstructured":"Khakpour, N., Jalili, S., Talcott, C., Sirjani, M., Mousavi, M.: Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. 78(1), 3\u201326 (2012)","journal-title":"Sci. Comput. Program."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Luckey, M., Engels, G.: High-quality specification of self-adaptive software systems. In: Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013, pp. 143\u2013152. IEEE (2013)","DOI":"10.1109\/SEAMS.2013.6595501"},{"key":"10_CR12","unstructured":"Ramirez, A.J.: Design patterns for developing dynamically adaptive systems. Master\u2019s thesis, Michigan State University (2008)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Ramirez, A.J., Cheng, B.H.C.: Design patterns for developing dynamically adaptive systems. In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, pp. 49\u201358. ACM (2010)","DOI":"10.1145\/1808984.1808990"},{"key":"10_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84882-258-0","volume-title":"Understanding Concurrent Systems","author":"A Roscoe","year":"2010","unstructured":"Roscoe, A.: Understanding Concurrent Systems. Springer, London (2010)"},{"key":"10_CR15","unstructured":"Seif, S.: Formalisation and analysis of design patterns for self-adaptive systems and their formal relationship. Master\u2019s thesis, Techn. Universit\u00e4t Berlin (2015)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-35813-5_4","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"D Weyns","year":"2013","unstructured":"Weyns, D., et al.: On patterns for decentralized control in self-adaptive systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 76\u2013107. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-35813-5_4"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: Proceedings of the 28th International Conference on Software Engineering, pp. 371\u2013380. ACM (2006)","DOI":"10.1145\/1134285.1134337"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Zhang, J., Goldsby, H.J., Cheng, B.H.: Modular verification of dynamically adaptive systems. In: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, AOSD 2009, pp. 161\u2013172. ACM (2009)","DOI":"10.1145\/1509239.1509262"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68690-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T08:17:58Z","timestamp":1507796278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68690-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319686899","9783319686905"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68690-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}