{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T08:11:47Z","timestamp":1790755907430,"version":"4.1.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030034238","type":"print"},{"value":"9783030034245","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-03424-5_6","type":"book-chapter","created":{"date-parts":[[2018,10,30]],"date-time":"2018-10-30T13:58:12Z","timestamp":1540907892000},"page":"79-93","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Engineering Collectives of Self-driving Vehicles: The SOTA Approach"],"prefix":"10.1007","author":[{"given":"Dhaminda B.","family":"Abeywickrama","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Mamei","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Franco","family":"Zambonelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,10,31]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abeywickrama, D.B., Bicocchi, N., Zambonelli, F.: SOTA: towards a general model for self-adaptive systems. In: Proceedings of the IEEE 21st International WETICE 2012 Conference, pp. 48\u201353, June 2012","DOI":"10.1109\/WETICE.2012.48"},{"issue":"4","key":"6_CR2","first-page":"291","volume":"15","author":"DB Abeywickrama","year":"2014","unstructured":"Abeywickrama, D.B., Hoch, N., Zambonelli, F.: Engineering and implementing software architectural patterns based on feedback loops. Scalable Comput. Pract. Exp. 15(4), 291\u2013308 (2014)","journal-title":"Scalable Comput. Pract. Exp."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Abeywickrama, D.B., Zambonelli, F.: Model checking goal-oriented requirements for self-adaptive systems. In: Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, pp. 33\u201342, April 2012","DOI":"10.1109\/ECBS.2012.30"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-319-46508-1_10","volume":"1","author":"L Belzner","year":"2016","unstructured":"Belzner, L., H\u00f6lzl, M.M., Koch, N., Wirsing, M.: Collective autonomic systems: towards engineering principles and their foundations. Trans. Found. Mastering Change 1, 180\u2013200 (2016)","journal-title":"Trans. Found. Mastering Change"},{"issue":"12","key":"6_CR5","doi-asserted-by":"publisher","first-page":"3328","DOI":"10.1109\/TITS.2017.2684625","volume":"18","author":"N Bicocchi","year":"2017","unstructured":"Bicocchi, N., Mamei, M., Sassi, A., Zambonelli, F.: On recommending opportunistic rides. IEEE Trans. Intell. Transp. Syst. 18(12), 3328\u20133338 (2017)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"7:1","DOI":"10.1145\/2619998","volume":"9","author":"R De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. TAAS 9(2), 7:1\u20137:29 (2014)","journal-title":"TAAS"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-319-47474-8_5","volume-title":"Self-Aware Computing Systems","author":"H Giese","year":"2017","unstructured":"Giese, H., Vogel, T., Diaconescu, A., G\u00f6tz, S., Kounev, S.: Architectural concepts for self-aware computing systems. In: Kounev, S., Kephart, J., Milenkoski, A., Zhu, X. (eds.) Self-Aware Computing Systems, pp. 109\u2013147. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-47474-8_5"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/978-3-319-16310-9_17","volume-title":"Software Engineering for Collective Autonomic Systems","author":"N Hoch","year":"2015","unstructured":"Hoch, N., Bensler, H.-P., Abeywickrama, D., Bure\u0161, T., Montanari, U.: The E-mobility case study. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 513\u2013533. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16310-9_17"},{"issue":"4","key":"6_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1082983.1083075","volume":"30","author":"A Lapouchnian","year":"2005","unstructured":"Lapouchnian, A., Liaskos, S., Mylopoulos, J., Yu, Y.: Towards requirements-driven autonomic systems design. ACM SIGSOFT Softw. Eng. Notes 30(4), 1\u20137 (2005)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/s10515-008-0027-7","volume":"15","author":"E Letier","year":"2008","unstructured":"Letier, E., Kramer, J., Magee, J., Uchitel, S.: Deriving event-based transition systems from goal-oriented requirements models. Autom. Softw. Eng. 15(2), 175\u2013206 (2008)","journal-title":"Autom. Softw. Eng."},{"key":"6_CR11","volume-title":"Concurrency: State Models and Java Programs","author":"J Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programs, 2nd edn. Wiley, Chichester (2006)","edition":"2"},{"issue":"1","key":"6_CR12","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.S.K.: From object-oriented to goal-oriented requirements analysis. Commun. ACM 42(1), 31\u201337 (1999)","journal-title":"Commun. ACM"},{"issue":"4","key":"6_CR13","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s11280-011-0112-x","volume":"14","author":"K Rasch","year":"2011","unstructured":"Rasch, K., Li, F., Sehic, S., Ayani, R., Dustdar, S.: Context-driven personalized service discovery in pervasive environments. World Wide Web 14(4), 295\u2013319 (2011)","journal-title":"World Wide Web"},{"issue":"Suppl. C","key":"6_CR14","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.scico.2014.11.016","volume":"102","author":"G Salvaneschi","year":"2015","unstructured":"Salvaneschi, G., Ghezzi, C., Pradella, M.: Contexterlang: a language for distributed context-aware self-adaptive applications. Sci. Comput. Program. 102(Suppl. C), 20\u201343 (2015). https:\/\/doi.org\/10.1016\/j.scico.2014.11.016","journal-title":"Sci. Comput. Program."},{"key":"6_CR15","unstructured":"Souza, V.E.S.: Requirements-based Software System Adaptation. Ph.D. thesis, DISI-University of Trento (2012)"},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MVT.2015.2508322","volume":"11","author":"E Uhlemann","year":"2016","unstructured":"Uhlemann, E.: Connected-vehicles applications are emerging [connected vehicles]. IEEE Veh. Technol. Mag. 11(1), 25\u201396 (2016)","journal-title":"IEEE Veh. Technol. Mag."},{"key":"6_CR17","unstructured":"Weyns, D.: Software engineering of self-adaptive systems: an organised tour and future challenges. In: Taylor, R., Kang, K.C., Cha, S. (eds.) Handbook of Software Engineering. Springer (2017)"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/2168260.2168268","volume":"7","author":"D Weyns","year":"2012","unstructured":"Weyns, D., Malek, S., Andersson, J.: Forms: unifying reference model for formal specification of distributed self-adaptive systems. ACM Trans. Auton. Adapt. Syst. 7(1), 8 (2012)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"6_CR19","doi-asserted-by":"publisher","unstructured":"Williams, R.A.: Lessons learned on development and application of agent-based models of complex dynamical systems. Simul. Model. Pract. Theory (2017). https:\/\/doi.org\/10.1016\/j.simpat.2017.11.001","DOI":"10.1016\/j.simpat.2017.11.001"},{"key":"6_CR20","volume-title":"Dynamics of Complex Systems","author":"YB Yam","year":"2002","unstructured":"Yam, Y.B.: Dynamics of Complex Systems. Perseus Books, New York (2002)"},{"key":"6_CR21","unstructured":"Yu, E.S.K.: Modelling strategic relationships for process reengineering. Ph.D. thesis, UMI Order No. GAXNN-02887 (Canadian dissertation) (1995)"},{"key":"6_CR22","doi-asserted-by":"publisher","unstructured":"Zambonelli, F., Bicocchi, N., Cabri, G., Leonardi, L., Puviani, M.: On self-adaptation, self-expression, and self-awareness in autonomic service component ensembles. In: 2011 Fifth IEEE Conference on Self-adaptive and Self-organizing Systems Workshops, pp. 108\u2013113, October 2011. https:\/\/doi.org\/10.1109\/SASOW.2011.24","DOI":"10.1109\/SASOW.2011.24"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/3-540-39173-8_2","volume-title":"Engineering Societies in the Agents World III","author":"F Zambonelli","year":"2003","unstructured":"Zambonelli, F., Van Dyke Parunak, H.: Signs of a revolution in computer science and software engineering. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 13\u201328. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-39173-8_2"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03424-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,29]],"date-time":"2020-12-29T12:03:11Z","timestamp":1609243391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03424-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030034238","9783030034245"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03424-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"31 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2018","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":"isola2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/isola2018\/","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":"Equinocs","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"149","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":"126","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":"0","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":"85% - 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":"2","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":"3","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":"invitation-based event","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}