{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T11:36:49Z","timestamp":1761824209087,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030436049"},{"type":"electronic","value":"9783030436056"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-43605-6_1","type":"book-chapter","created":{"date-parts":[[2020,3,18]],"date-time":"2020-03-18T00:03:27Z","timestamp":1584489807000},"page":"3-20","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4171-2445","authenticated-orcid":false,"given":"Flavio","family":"Oquendo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,18]]},"reference":[{"issue":"3","key":"1_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM TOSEM 6(3), 213\u2013249 (1997)","journal-title":"ACM TOSEM"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10838-013-9207-7","volume":"44","author":"J Blachowicz","year":"2013","unstructured":"Blachowicz, J.: The constraint interpretation of physical emergence. J. Gen. Philos. Sci. 44, 21\u201340 (2013). https:\/\/doi.org\/10.1007\/s10838-013-9207-7","journal-title":"J. Gen. Philos. Sci."},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-319-48992-6_14","volume-title":"Software Architecture","author":"E Cavalcante","year":"2016","unstructured":"Cavalcante, E., Quilbeuf, J., Traonouez, L.-M., Oquendo, F., Batista, T., Legay, A.: Statistical model checking of dynamic software architectures. In: Tekinerdogan, B., Zdun, U., Babar, A. (eds.) ECSA 2016. LNCS, vol. 9839, pp. 185\u2013200. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48992-6_14"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-48321-7_21","volume-title":"Fundamentals of Computation Theory","author":"C Ene","year":"1999","unstructured":"Ene, C., Muntean, T.: Expressiveness of point-to-point versus broadcast communications. In: Ciobanu, G., P\u0103un, G. (eds.) FCT 1999. LNCS, vol. 1684, pp. 258\u2013268. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48321-7_21"},{"key":"1_CR5","volume-title":"Digital Twin Driven Smart Manufacturing","author":"F Tao","year":"2019","unstructured":"Tao, F., Zhang, M., Nee, A.Y.C.: Digital Twin Driven Smart Manufacturing. Academic Press, Cambridge (2019)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Graciano Neto, V.V., et al.: ASAS: an approach to support simulation of smart systems. In: 51st HICSS, Waikoloa, Hawaii, USA, January 2018","DOI":"10.24251\/HICSS.2018.724"},{"key":"1_CR7","volume-title":"Virtually Perfect: Driving Innovative and Lean Products through Product Lifecycle Management","author":"M Grieves","year":"2011","unstructured":"Grieves, M.: Virtually Perfect: Driving Innovative and Lean Products through Product Lifecycle Management. Space Coast Press, Cocoa Beach (2011)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Guessi, M., Graciano, V.V., Bianchi, T., Felizardo, K.R., Oquendo, F., Nakagawa, E.Y.: A systematic literature review on the description of software architectures for systems-of-systems. In: 30th ACM SAC, Salamanca, Spain, April 2015","DOI":"10.1145\/2695664.2695795"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Guessi, M., Oquendo, F., Nakagawa, E.Y.: Checking the architectural feasibility of systems-of-systems using formal descriptions. In: 11th IEEE SoSE, Kongsberg, Norway, June 2016","DOI":"10.1109\/SYSOSE.2016.7542939"},{"key":"1_CR10","unstructured":"INCOSE, SE Vision 2025 (2014). www.incose.org\/AboutSE\/sevision"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Tivoli, M.: Automatic synthesis of modular connectors via composition of protocol mediation patterns. In: 35th ACM\/IEEE ICSE, May 2013","DOI":"10.1109\/ICSE.2013.6606546"},{"key":"1_CR12","unstructured":"ISO\/IEC\/IEEE 42010:2011: Systems and Software Engineering \u2013 Architecture Description, December 2011"},{"issue":"1","key":"1_CR13","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1109\/COMST.2015.2410831","volume":"18","author":"D Jia","year":"2016","unstructured":"Jia, D., Lu, K., Wang, J., Zhang, X., Shen, X.: A survey on platoon-based vehicular cyber-physical systems. IEEE Commun. Surv. Tutor. 18(1), 263\u2013284 (2016)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"5356","DOI":"10.1109\/ACCESS.2016.2603219","volume":"4","author":"O Kaiwartya","year":"2016","unstructured":"Kaiwartya, O., et al.: Internet of vehicles: motivation, layered architecture, network model, challenges, and future aspects. IEEE Access 4, 5356\u20135373 (2016)","journal-title":"IEEE Access"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Klein, J., van Vliet, H.: A systematic review of system-of-systems architecture research. In: 9th ACM QoSA, Vancouver, Canada, June 2013","DOI":"10.1145\/2465478.2465490"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Kopetz, H., H\u00f6ftberger, O., Fr\u00f6mel, B., Brancati, F., Bondavalli, A.: Towards an understanding of emergence in systems-of-systems. In: 10th IEEE SoSE, San Antonio, Texas, USA, May 2015","DOI":"10.1109\/SYSOSE.2015.7151925"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Kumar, P., Merzouki, R., Bouamama, B.O., Koubeissi, A.: Bond graph modeling of a class of system-of-systems. In: 10th IEEE SoSE, San Antonio, Texas, USA, May 2015","DOI":"10.1109\/SYSOSE.2015.7151976"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Labrado, J.D., Erol, B.A., Ortiz, J., Benavidez, P., Jamshidi, M., Champion, B.: Proposed testbed for the modeling and control of a system of autonomous vehicles. In: 11th IEEE SoSE, Kongsberg, Norway, June 2016","DOI":"10.1109\/SYSOSE.2016.7542934"},{"issue":"4","key":"1_CR19","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","volume":"1","author":"MW Maier","year":"1998","unstructured":"Maier, M.W.: Architecting principles for systems-of-systems. Syst. Eng. J. 1(4), 267\u2013284 (1998)","journal-title":"Syst. Eng. J."},{"key":"1_CR20","unstructured":"Malavolta, I., et al.: Architectural Languages Today: The Up-to-Date List of ADLs, 7 April 2019. http:\/\/www.di.univaq.it\/malavolta\/al\/"},{"key":"1_CR21","volume-title":"Communicating and Mobile Systems: The \u03c0-Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Motus, L., Preden, J.S., Meriste, M., Pahtma, R.: Self-aware architecture to support partial control of emergent behavior. In: 7th IEEE SoSE, Genoa, Italy, July 2012","DOI":"10.1109\/SYSoSE.2012.6384148"},{"issue":"4","key":"1_CR23","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/s10601-013-9145-3","volume":"18","author":"C Olarte","year":"2013","unstructured":"Olarte, C., Rueda, C., Valencia, F.D.: Models and emerging trends of concurrent constraint programming. Int. J. Constr. 18(4), 535\u2013578 (2013). https:\/\/doi.org\/10.1007\/s10601-013-9145-3","journal-title":"Int. J. Constr."},{"issue":"3","key":"1_CR24","first-page":"1","volume":"29","author":"F Oquendo","year":"2004","unstructured":"Oquendo, F.: \u03c0-ADL: an architecture description language based on the higher-order typed \u03c0-Calculus for specifying dynamic and mobile software architectures. ACM SEN 29(3), 1\u201314 (2004)","journal-title":"ACM SEN"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Oquendo, F.: Formally describing the software architecture of systems-of-systems with SosADL. In: 11th IEEE SoSE, Kongsberg, Norway, June 2016","DOI":"10.1109\/SYSOSE.2016.7542926"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Oquendo, F.: Case study on formally describing the architecture of a software-intensive system-of-systems with SosADL. In: 15th IEEE SMC, Budapest, Hungary, October 2016","DOI":"10.1109\/SMC.2016.7844575"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-48992-6_1","volume-title":"Software Architecture","author":"F Oquendo","year":"2016","unstructured":"Oquendo, F.: Software architecture challenges and emerging research in software-intensive systems-of-systems. In: Tekinerdogan, B., Zdun, U., Babar, A. (eds.) ECSA 2016. LNCS, vol. 9839, pp. 3\u201321. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48992-6_1"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Oquendo, F.: The \u03c0-Calculus for SoS: novel \u03c0-Calculus for the formal modeling of software-intensive systems-of-systems. In: Communicating Process Architectures (CPA 2016), August 2016","DOI":"10.1109\/SYSOSE.2016.7542925"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Oquendo, F.: Formally describing the architectural behavior of software-intensive systems-of-systems with SosADL. In: 21st IEEE ICECCS, Dubai, UAE, November 2016","DOI":"10.1109\/ICECCS.2016.012"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Oquendo, F.: Architecturally describing the emergent behavior of software-intensive system-of-systems with SosADL. In: 12th IEEE SoSE, Waikoloa, Hawaii, USA, June 2017","DOI":"10.1109\/SYSOSE.2017.7994941"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Oquendo, F.: On the emergent behavior oxymoron of system-of-systems architecture description. In: 13th IEEE SoSE, Paris, France, June 2018","DOI":"10.1109\/SYSOSE.2018.8428727"},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-030-00761-4_2","volume-title":"Software Architecture","author":"F Oquendo","year":"2018","unstructured":"Oquendo, F.: Formally describing self-organizing architectures for systems-of-systems on the internet-of-things. In: Cuesta, C.E., Garlan, D., P\u00e9rez, J. (eds.) ECSA 2018. LNCS, vol. 11048, pp. 20\u201336. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00761-4_2"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1007\/978-3-030-24289-3_57","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2019","author":"F Oquendo","year":"2019","unstructured":"Oquendo, F.: Dealing with uncertainty in software architecture on the internet-of-things with digital twins. In: Misra, S., et al. (eds.) ICCSA 2019. LNCS, vol. 11619, pp. 770\u2013786. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-24289-3_57"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Oquendo, F., Buisson, J., Leroux, E., Mogu\u00e9rou, G., Quilbeuf, J.: The SosADL studio: an architecture development environment for software-intensive systems-of-systems. In: SiSoS 2016, Copenhagen, DK. ACM, November 2016","DOI":"10.1145\/3175731.3176180"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Oquendo, F., Buisson, J., Leroux, E., Mogu\u00e9rou, G.: A formal approach for architecting software-intensive systems-of-systems with guarantees. In: 13th IEEE SoSE, Paris, France, June 2018","DOI":"10.1109\/SYSOSE.2018.8428726"},{"key":"1_CR36","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1002\/spe.2561","volume":"48","author":"M Ozkaya","year":"2018","unstructured":"Ozkaya, M.: The analysis of architectural languages for the needs of practitioners. Softw. Pract. Exp. 48, 985\u20131018 (2018)","journal-title":"Softw. Pract. Exp."},{"key":"1_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"806","DOI":"10.1007\/978-3-319-47166-2_56","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"J Quilbeuf","year":"2016","unstructured":"Quilbeuf, J., Cavalcante, E., Traonouez, L.-M., Oquendo, F., Batista, T., Legay, A.: A logic for the statistical model checking of dynamic software architectures. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 806\u2013820. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_56"},{"issue":"6","key":"1_CR38","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MM.2016.102","volume":"36","author":"D Roca","year":"2016","unstructured":"Roca, D., Nemirovsky, D., Nemirovsky, M., Milito, R., Valero, M.: Emergent behaviors in the internet-of-things: the ultimate ultra-large-scale system. IEEE Micro 36(6), 36\u201344 (2016)","journal-title":"IEEE Micro"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Silva, E., Cavalcante, E., Batista, T., Oquendo, F.: Bridging missions and architecture in software-intensive systems-of-systems. In: 21st IEEE ICECCS, Dubai, UAE, November 2016","DOI":"10.1109\/ICECCS.2016.034"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Wachholder, D., Stary, C.: Enabling emergent behavior in systems-of-systems through bigraph-based modeling. In: 10th IEEE SoSE, San Antonio, Texas, USA, May 2015","DOI":"10.1109\/SYSOSE.2015.7151954"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Wang, Z., Wu, G., Barth, M.J.: A review on cooperative adaptive cruise control (CACC) systems: architectures, controls, and applications. In: Intelligent Transportation Systems (ITSC 2018), Maui, HI, USA (2018)","DOI":"10.1109\/ITSC.2018.8569947"}],"container-title":["IFIP Advances in Information and Communication Technology","Internet of Things. A Confluence of Many Disciplines"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-43605-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,18]],"date-time":"2024-03-18T01:03:41Z","timestamp":1710723821000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-43605-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030436049","9783030436056"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-43605-6_1","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"18 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IFIPIoT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Internet of Things Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tampa, FL","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","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":"31 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifipiot2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ifip-iotconference.org\/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":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","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":"11","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":"50% - 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":"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":"8 invited papers are included.","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)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}