{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:50:44Z","timestamp":1742982644131,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030315160"},{"type":"electronic","value":"9783030315177"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31517-7_1","type":"book-chapter","created":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T12:02:29Z","timestamp":1569067349000},"page":"3-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems"],"prefix":"10.1007","author":[{"given":"Narges","family":"Khakpour","sequence":"first","affiliation":[]},{"given":"Jetty","family":"Kleijn","sequence":"additional","affiliation":[]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,22]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Riccobene, E., Scandurra, P.: Modeling and analyzing MAPE-K feedback loops for self-adaptation. In: 10th IEEE\/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015, Florence, Italy, May 18\u201319, 2015, pp. 13\u201323 (2015)","DOI":"10.1109\/SEAMS.2015.10"},{"issue":"4","key":"1_CR2","doi-asserted-by":"publisher","first-page":"25:1","DOI":"10.1145\/3019598","volume":"11","author":"P Arcaini","year":"2017","unstructured":"Arcaini, P., Riccobene, E., Scandurra, P.: Formal design and verification of self-adaptive systems with decentralized control. TAAS 11(4), 25:1\u201325:35 (2017)","journal-title":"TAAS"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-319-57666-4_15","volume-title":"Formal Aspects of Component Software","author":"M Bagheri","year":"2017","unstructured":"Bagheri, M., et al.: Coordinated actors for reliable self-adaptive systems. In: Kouchnarenko, O., Khosravi, R. (eds.) FACS 2016. LNCS, vol. 10231, pp. 241\u2013259. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57666-4_15"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.jss.2018.05.034","volume":"143","author":"M Bagheri","year":"2018","unstructured":"Bagheri, M., et al.: Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. 143, 116\u2013139 (2018)","journal-title":"J. Syst. Softw."},{"issue":"2","key":"1_CR5","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MIS.2006.29","volume":"21","author":"J Beal","year":"2006","unstructured":"Beal, J., Bachrach, J.: Infrastructure for engineered emergence on sensor\/actuator networks. IEEE Intell. Syst. 21(2), 10\u201319 (2006)","journal-title":"IEEE Intell. Syst."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Becker, B., Giese, H.: Modeling of correct self-adaptive systems: a graph transformation system based approach. In: Proceedings of the 5th International Conference on Soft Computing as Trans Disciplinary Science and Technology, pp. 508\u2013516 (2008)","DOI":"10.1145\/1456223.1456326"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: Proceedings of 1st ACM SIGSOFT Workshop on Self-managed Systems, pp. 28\u201333. ACM (2004)","DOI":"10.1145\/1075405.1075411"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.entcs.2010.05.006","volume":"263","author":"A Cansado","year":"2010","unstructured":"Cansado, A., Canal, C., Sala\u00fcn, G., Cubo, J.: A formal framework for structural reconfiguration of components under behavioural adaptation. Electr. Notes Theor. Comput. Sci. 263, 95\u2013110 (2010)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR9","unstructured":"Deiters, C., et al.: Demsy - a scenario for an integrated demonstrator in a smart city. Technical report, NTH - Niedersachsische Technische Hochschule (2010)"},{"issue":"2","key":"1_CR10","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1006\/jcss.2001.1790","volume":"64","author":"F Drewes","year":"2002","unstructured":"Drewes, F., Hoffmann, B., Plump, D.: Hierarchical graph transformation. J. Comput. Syst. Sci. 64(2), 249\u2013283 (2002)","journal-title":"J. Comput. Syst. Sci."},{"key":"1_CR11","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. MTCSAES. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-030-02146-7_6","volume-title":"Formal Aspects of Component Software","author":"R El Ballouli","year":"2018","unstructured":"El Ballouli, R., Bensalem, S., Bozga, M., Sifakis, J.: Programming dynamic reconfigurable systems. In: Bae, K., \u00d6lveczky, P.C. (eds.) FACS 2018. LNCS, vol. 11222, pp. 118\u2013136. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02146-7_6"},{"issue":"12","key":"1_CR13","doi-asserted-by":"publisher","first-page":"2770","DOI":"10.1016\/j.jss.2012.03.007","volume":"85","author":"N Khakpour","year":"2012","unstructured":"Khakpour, N., Jalili, S., Sirjani, M., Goltz, U., Abolhasanzadeh, B.: Hpobsam for modeling and analyzing it ecosystems - through a case study. J. Syst. Softw. 85(12), 2770\u20132784 (2012)","journal-title":"J. Syst. Softw."},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.entcs.2010.05.008","volume":"263","author":"N Khakpour","year":"2010","unstructured":"Khakpour, N., Jalili, S., Talcott, C., Sirjani, M., Mousavi, M.R.: Pobsam: policy-based managing of actors in self-adaptive systems. Electr. Notes Theor. Comput. Sci. 263, 129\u2013143 (2010)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR15","doi-asserted-by":"publisher","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.L., Sirjani, M., Mousavi, M.R.: Formal modeling of evolving adaptive systems. Sci. Comput. Program. 78, 3\u201326 (2012)","journal-title":"Sci. Comput. Program."},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-24559-6_4","volume-title":"Formal Methods and Software Engineering","author":"N Khakpour","year":"2011","unstructured":"Khakpour, N., Sirjani, M., Goltz, U.: Context-based behavioral equivalence of components in self-adaptive systems. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol. 6991, pp. 16\u201332. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24559-6_4"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-02146-7_1","volume-title":"Formal Aspects of Component Software","author":"EA Lee","year":"2018","unstructured":"Lee, E.A., Sirjani, M.: What good are models? In: Bae, K., \u00d6lveczky, P.C. (eds.) FACS 2018. LNCS, vol. 11222, pp. 3\u201331. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02146-7_1"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"J. Magee, J. Kramer: Dynamic structure in software architectures. In: Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering (1996)","DOI":"10.1145\/239098.239104"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.scico.2015.03.004","volume":"115\u2013116","author":"E Merelli","year":"2016","unstructured":"Merelli, E., Paoletti, N., Tesei, L.: Adaptability checking in complex systems. Sci. Comput. Program. 115\u2013116, 23\u201346 (2016)","journal-title":"Sci. Comput. Program."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Moreno, G.A., C\u00e1mara, J., Garlan, D., Schmerl, B.R.: Proactive self-adaptation under uncertainty: a probabilistic model checking approach. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015, pp. 1\u201312 (2015)","DOI":"10.1145\/2786805.2786853"},{"key":"1_CR21","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-based runtime software evolution. In Proceedings of the 20th International Conference on Software Engineering, ICSE 1998, pp. 177\u2013186. IEEE Computer Society, Washington, DC (1998)"},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/B:AURO.0000032940.08116.f1","volume":"17","author":"W-M Shen","year":"2004","unstructured":"Shen, W.-M., Will, P.M., Galstyan, A., Chuong, C.-M.: Hormone-inspired self-organization and distributed control of robotic swarms. Auton. Robots 17(1), 93\u2013105 (2004)","journal-title":"Auton. Robots"},{"issue":"4","key":"1_CR23","first-page":"385","volume":"63","author":"M Sirjani","year":"2004","unstructured":"Sirjani, M., Movaghar, A., Shali, A., de Boer, F.S.: Modeling and verification of reactive systems using rebeca. Fundam. Inform. 63(4), 385\u2013410 (2004)","journal-title":"Fundam. Inform."},{"issue":"7","key":"1_CR24","doi-asserted-by":"publisher","first-page":"1113","DOI":"10.1093\/comjnl\/bxp102","volume":"53","author":"M Sloman","year":"2010","unstructured":"Sloman, M., Lupu, E.C.: Engineering policy-based ubiquitous systems. Comput. J. 53(7), 1113\u20131127 (2010)","journal-title":"Comput. J."},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-46464-8_13","volume-title":"Theory and Application of Graph Transformations","author":"G Taentzer","year":"2000","unstructured":"Taentzer, G., Goedicke, M., Meyer, T.: Dynamic change management by distributed graph transformation: towards configurable distributed systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 179\u2013193. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/978-3-540-46464-8_13"},{"issue":"2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1016\/j.jnca.2010.12.003","volume":"34","author":"C Villalbaa","year":"2011","unstructured":"Villalbaa, C., Zambonelli, F.: Towards nature-inspired pervasive service ecosystems: concepts and simulation experiences. J. Network Comput. Appl. 34(2), 589\u2013602 (2011)","journal-title":"J. Network Comput. Appl."},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-14412-7_8","volume-title":"Self-Organizing Architectures","author":"M Viroli","year":"2010","unstructured":"Viroli, M., Casadei, M., Nardini, E., Omicini, A.: Towards a pervasive infrastructure for chemical-inspired self-organising services. In: Weyns, D., Malek, S., de Lemos, R., Andersson, J. (eds.) SOAR 2009. LNCS, vol. 6090, pp. 152\u2013176. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14412-7_8"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/11768869_16","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"IC Yu","year":"2006","unstructured":"Yu, I.C., Johnsen, E.B., Owe, O.: Type-safe runtime class upgrades in creol. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 202\u2013217. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11768869_16"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31517-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,21]],"date-time":"2023-09-21T00:13:07Z","timestamp":1695255187000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-31517-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030315160","9783030315177"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31517-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"22 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FSEN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamentals of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tehran","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iran","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fsen2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fsen.ir\/2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"\u00caasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"n\/a","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}