{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:18:22Z","timestamp":1740100702317,"version":"3.37.3"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100017413","name":"Innovation Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100017413","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100017413","name":"Innovation Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100017413","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010002","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100010002","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,4,25]]},"DOI":"10.1109\/noms54207.2022.9789830","type":"proceedings-article","created":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T21:21:22Z","timestamp":1654809682000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Correctness, Completeness, Consistency: Challenges of Migrating Arrowhead System-of-Systems Models"],"prefix":"10.1109","author":[{"given":"Geza","family":"Kulcsar","sequence":"first","affiliation":[{"name":"IncQuery Labs Ltd,Budapest,Hungary"}]},{"given":"Johannes","family":"Kristan","sequence":"additional","affiliation":[{"name":"IncQuery Labs Ltd,Budapest,Hungary"}]},{"given":"Sven Erik","family":"Jeroschewski","sequence":"additional","affiliation":[{"name":"IncQuery Labs Ltd,Budapest,Hungary"}]}],"member":"263","reference":[{"year":"0","key":"ref10","article-title":"Eclipse Papyurus"},{"article-title":"Unified modeling language (UML) version 2.5.1","year":"2017","author":"cook","key":"ref11"},{"journal-title":"OMG Systems Modeling Language (OMG SysML) version 1 4","year":"2015","key":"ref12"},{"year":"0","key":"ref13","article-title":"Eclipse Papyrus Testimonials"},{"year":"0","key":"ref14","article-title":"Papyrus GEFx Integration Repository"},{"year":"0","key":"ref15","article-title":"Github Repository of Arrowhead SysML 1.6 Profile Implementation for Eclipse Papyrus"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2014.7048877"},{"key":"ref17","first-page":"6","article-title":"An introduction to UML profiles","volume":"2","author":"fuentes-fern\u00e1ndez","year":"2004","journal-title":"UML and Model Engineering"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"643","DOI":"10.3390\/smartcities4020033","article-title":"Smart city solution engineering","volume":"4","author":"delsing","year":"0","journal-title":"Smart Cities"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1201\/9781315367897-4"},{"article-title":"Referenzarchitekturmodell industrie 4.0 (rami 4.0)","year":"2015","author":"adolphs","key":"ref4"},{"key":"ref3","volume":"58","author":"jamshidi","year":"2009","journal-title":"System of Systems Engineering Innovations for the Twenty-First Century"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-022-00455-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS47738.2020.9110310"},{"year":"0","key":"ref8","article-title":"Eclipse Hono"},{"key":"ref7","article-title":"Bringing clouds down to earth: Modeling arrowhead deployments via eclipse vorto","author":"kulcs\u00e1r","year":"2020","journal-title":"Proc of 1st Eclipse Research International Conference on Security Artificial Intelligence and Modelling for the next generation Internet of Things"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DSDIS.2015.11"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1002\/9781118579435","author":"micouin","year":"2014","journal-title":"Model Based Systems Engineering Fundamentals and Methods"},{"year":"0","key":"ref9","article-title":"Eclipse Ditto"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS47738.2020.9110365"},{"journal-title":"OMG Meta Object Facility (MOF) Core Specification Version 2 4 1","year":"2013","key":"ref22"},{"journal-title":"EMF Eclipse Modeling Framework","year":"2009","author":"steinberg","key":"ref21"},{"year":"0","key":"ref23","article-title":"Eclipse Vorto"}],"event":{"name":"NOMS 2022-2022 IEEE\/IFIP Network Operations and Management Symposium","start":{"date-parts":[[2022,4,25]]},"location":"Budapest, Hungary","end":{"date-parts":[[2022,4,29]]}},"container-title":["NOMS 2022-2022 IEEE\/IFIP Network Operations and Management Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9789703\/9789704\/09789830.pdf?arnumber=9789830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T22:22:28Z","timestamp":1700691748000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9789830\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,25]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/noms54207.2022.9789830","relation":{},"subject":[],"published":{"date-parts":[[2022,4,25]]}}}