{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T10:01:31Z","timestamp":1764842491040,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,26]],"date-time":"2021-05-26T00:00:00Z","timestamp":1621987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,26]]},"DOI":"10.1145\/3459960.3459965","type":"proceedings-article","created":{"date-parts":[[2021,5,27]],"date-time":"2021-05-27T16:16:22Z","timestamp":1622132182000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration"],"prefix":"10.1145","author":[{"given":"Ashalatha","family":"Kunnappilly","sequence":"first","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]},{"given":"Peter","family":"Backeman","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2021,5,27]]},"reference":[{"volume-title":"Definition of service orchestration and federation algorithms, service monitoring algorithms","key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. D4.1. Definition of service orchestration and federation algorithms, service monitoring algorithms . http:\/\/5g-transformer.eu\/index.php\/deliverables\/. Accessed: 2020-07-24. [n.d.]. D4.1. Definition of service orchestration and federation algorithms, service monitoring algorithms. http:\/\/5g-transformer.eu\/index.php\/deliverables\/. Accessed: 2020-07-24."},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. USE: UML-based Specification Environment. https:\/\/sourceforge.net\/projects\/useocl\/. Accessed: 2020-07-24.  [n.d.]. USE: UML-based Specification Environment. https:\/\/sourceforge.net\/projects\/useocl\/. Accessed: 2020-07-24."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2018.8485943"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.23919\/CNSM.2017.8256017"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113766"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/647752.734550"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSCN.2016.7784887"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/984260"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.01171"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Ashalatha Kunnappilly Peter Backeman and Cristina Seceleanu. 2020. UML-based Modeling and Analysis of 5G Service Orchestration. (2020).  Ashalatha Kunnappilly Peter Backeman and Cristina Seceleanu. 2020. UML-based Modeling and Analysis of 5G Service Orchestration. (2020).","DOI":"10.1109\/APSEC51365.2020.00021"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_12_1","volume-title":"VNF Placement Optimization at the Edge and Cloud. Future Internet 11, 3","author":"Leivadeas Aris","year":"2019","unstructured":"Aris Leivadeas , George Kesidis , Mohamed Ibnkahla , and Ioannis Lambadaris . 2019. VNF Placement Optimization at the Edge and Cloud. Future Internet 11, 3 ( 2019 ). https:\/\/doi.org\/10.3390\/fi11030069 10.3390\/fi11030069 Aris Leivadeas, George Kesidis, Mohamed Ibnkahla, and Ioannis Lambadaris. 2019. VNF Placement Optimization at the Edge and Cloud. Future Internet 11, 3 (2019). https:\/\/doi.org\/10.3390\/fi11030069"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2017.3481355"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2946648"},{"volume-title":"From Software Engineering to Formal Methods and Tools, and Back","author":"Luque-Schempp Francisco","key":"e_1_3_2_1_15_1","unstructured":"Francisco Luque-Schempp , Pedro Merino-G\u00f3mez , Laura Panizo , 2019. How formal methods can contribute to 5g networks . In From Software Engineering to Formal Methods and Tools, and Back . Springer , 548\u2013571. Francisco Luque-Schempp, Pedro Merino-G\u00f3mez, Laura Panizo, 2019. How formal methods can contribute to 5g networks. In From Software Engineering to Formal Methods and Tools, and Back. Springer, 548\u2013571."},{"key":"e_1_3_2_1_16_1","unstructured":"Tahira Mahboob Young\u00a0Rok Jung and Min\u00a0Young Chung. 2020. Dynamic vnf placement to manage user traffic flow in software-defined wireless networks. Journal of Network and Systems Management(2020) 1\u201321.  Tahira Mahboob Young\u00a0Rok Jung and Min\u00a0Young Chung. 2020. Dynamic vnf placement to manage user traffic flow in software-defined wireless networks. Journal of Network and Systems Management(2020) 1\u201321."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2929325"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"A. Papageorgiou A. Fern\u00e1ndez-Fern\u00e1ndez S. Siddiqui and G. Carrozzo. 2020. On 5G network slice modelling: Service- resource- or deployment-driven?Computer Communications 149 (2020) 232\u2013240.  A. Papageorgiou A. Fern\u00e1ndez-Fern\u00e1ndez S. Siddiqui and G. Carrozzo. 2020. On 5G network slice modelling: Service- resource- or deployment-driven?Computer Communications 149 (2020) 232\u2013240.","DOI":"10.1016\/j.comcom.2019.10.024"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/EWSDN.2016.9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1186\/s40411-015-0026-x"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2017.1700127"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24072-5_18"}],"event":{"name":"ECBS 2021: 7th Conference on the Engineering of Computer Based Systems","acronym":"ECBS 2021","location":"Novi Sad Serbia"},"container-title":["7th Conference on the Engineering of Computer Based Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3459960.3459965","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3459960.3459965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:43Z","timestamp":1750191463000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3459960.3459965"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,26]]},"references-count":22,"alternative-id":["10.1145\/3459960.3459965","10.1145\/3459960"],"URL":"https:\/\/doi.org\/10.1145\/3459960.3459965","relation":{},"subject":[],"published":{"date-parts":[[2021,5,26]]},"assertion":[{"value":"2021-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}