{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:45:16Z","timestamp":1730299516662,"version":"3.28.0"},"reference-count":49,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,5]]},"DOI":"10.1109\/sysose.2019.8753877","type":"proceedings-article","created":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T22:06:29Z","timestamp":1562277989000},"page":"49-56","source":"Crossref","is-referenced-by-count":11,"title":["Modeling Approaches for System-of-Systems Dynamic Architecture: Overview, Taxonomy and Future Prospects"],"prefix":"10.1109","author":[{"given":"Ahmad","family":"Mohsin","sequence":"first","affiliation":[]},{"given":"Naeem Khalid","family":"Janjua","sequence":"additional","affiliation":[]},{"given":"Syed M.S.","family":"Islam","sequence":"additional","affiliation":[]},{"given":"Valdemar Vicente","family":"Graciano Neto","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","volume":"36","author":"delgado","year":"2014","journal-title":"Develop an Executable Architecture for a System of Systems A Teaching Management Model"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"580","DOI":"10.1002\/j.2334-5837.2010.tb01090.x","article-title":"4.5. 2 model-based system of systems engineering with updm","volume":"20","author":"hause","year":"2010","journal-title":"INCOSE International Symposium"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3019612.3019802"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96733"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2016.7542925"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2016.7542926"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/318774.319258"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/52.469759"},{"key":"ref35","first-page":"45","article-title":"A maude based specification for sos architecture","author":"seghiri","year":"2013","journal-title":"In 13th SoSE"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.2495\/CR140181"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32775-9_6"},{"journal-title":"A Calculus of Communicating Systems","year":"1982","author":"milner","key":"ref27"},{"key":"ref29","first-page":"1","article-title":"Vienna development method","author":"fitzgerald","year":"2007","journal-title":"Wiley Encyclopedia of Computer Science and Engineering"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2008.4523909"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.74"},{"key":"ref22","first-page":"97","author":"lollini","year":"2016","journal-title":"AMADEOS SysML Profile for SoS Conceptual Modeling"},{"journal-title":"Systems Engineering with SysML\/UML Modeling Analysis Design","year":"2011","author":"weilkiens","key":"ref21"},{"key":"ref24","first-page":"1","author":"faldik","year":"2017","journal-title":"Modelling system of systems interface contract behaviour"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.133.6"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA-C.2018.00007"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60406-5_12"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.09.276"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.385971"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2465478.2465490"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-018-0245-1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2008.4518994"},{"key":"ref17","first-page":"27:1","article-title":"Model-based engineering & simulation of software-intensive sos: Experience report and lessons learned","author":"neto","year":"2018","journal-title":"12th ECSA Companion"},{"key":"ref18","first-page":"13:1","article-title":"Stimuli-sos: a model-based approach to derive stimuli generators for simulations of sos software architectures","volume":"23","author":"neto","year":"2017","journal-title":"J Braz Comp Soc"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2489850.2489857"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2006.1652264"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/AQTR.2014.6857843"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48992-6_1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2794381"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2489850.2489853"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.03.087"},{"key":"ref49","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/978-3-319-48992-6_14","article-title":"Statistical model checking of dynamic software architectures","author":"cavalcante","year":"2016","journal-title":"Proc European Conference on Software Architecture"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2013.39"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384130"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2005.1571563"},{"key":"ref48","first-page":"449","author":"hillstonat","year":"1995","journal-title":"Stochastic Process Algebras Integrating Qualitative and Quantitative Modelling"},{"key":"ref47","first-page":"132","author":"clark","year":"2007","journal-title":"Stochastic Process Algebras"},{"journal-title":"Ontology Driven Architectures and Potential Uses of the Semantic Web in Systems and Software Engineering","year":"2006","author":"tetlow","key":"ref42"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384151"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3019612.3019802"},{"key":"ref43","article-title":"Applications of ontologies in software engineering","author":"seedorf","year":"2006","journal-title":"2nd SWESE"}],"event":{"name":"2019 14th Annual Conference System of Systems Engineering (SoSE)","start":{"date-parts":[[2019,5,19]]},"location":"Anchorage, AK, USA","end":{"date-parts":[[2019,5,22]]}},"container-title":["2019 14th Annual Conference System of Systems Engineering (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8746987\/8753800\/08753877.pdf?arnumber=8753877","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:23:29Z","timestamp":1658262209000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8753877\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5]]},"references-count":49,"URL":"https:\/\/doi.org\/10.1109\/sysose.2019.8753877","relation":{},"subject":[],"published":{"date-parts":[[2019,5]]}}}