{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:55:36Z","timestamp":1729626936159,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/rcis.2015.7128913","type":"proceedings-article","created":{"date-parts":[[2015,6,24]],"date-time":"2015-06-24T11:56:17Z","timestamp":1435146977000},"page":"504-509","source":"Crossref","is-referenced-by-count":1,"title":["Enabling system models automated evaluation through cross-concept information utilization"],"prefix":"10.1109","author":[{"given":"George-Dimitrios","family":"Kapos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2012.6465139"},{"journal-title":"SysML-Modelica Transformation (SyM)","year":"2012","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2008.4518997"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2011.17"},{"first-page":"1","article-title":"Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification, Version 1.1","year":"2011","key":"ref14"},{"article-title":"An integrated framework for automated simulation of SysML models using DEVS","year":"2012","author":"kapos","key":"ref15"},{"key":"ref16","first-page":"176","article-title":"Integrating uml, marte and sysml to improve requirements specification and traceability in the embedded domain","author":"rota","year":"2014","journal-title":"2014 12th IEEE International Conference on Industrial Informatics (INDIN) INDIN"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24485-8_41"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1921532.1921556","article-title":"Tepe: A sysml language for time-constrained property modeling and formal verification","volume":"36","author":"knorreck","year":"2011","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/NOTERE.2011.5957992"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2011.5747539"},{"key":"ref3","article-title":"Combining SysML and formal methods for safety requirements verification","author":"petin","year":"0","journal-title":"22nd International Conference on Software & Systems Engineering and their Applications"},{"journal-title":"Model Driven Systems Development with Rational Products","year":"2008","author":"nolan","key":"ref6"},{"journal-title":"Simulation Modeling and Analysis","year":"2006","author":"law","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2007.4419675"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2011.17"},{"journal-title":"Systems Modeling Language (SYSML) Specification Version 1 3","year":"2012","author":"inc","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2009.5429164"},{"article-title":"Foundational Concepts for Model Driven System Design","year":"2000","author":"baker","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0205-x"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2008.24"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1177\/0037549714533842"},{"year":"0","key":"ref24","article-title":"MagicDraw UML"},{"key":"ref23","first-page":"357","article-title":"DEVS-based simulation web services for net-centric T&E","author":"mittal","year":"2007","journal-title":"SCSC Proceedings of the 2007 summer computer simulation conference"},{"key":"ref26","first-page":"1","article-title":"XML-based DEVS modeling and interpretation","author":"meseth","year":"2009","journal-title":"SpringSim Proceedings of the 2009 Spring Simulation Multiconference"},{"key":"ref25","first-page":"279","article-title":"A W3C XML schema for DEVS scenarios","author":"martin","year":"2007","journal-title":"Spring Simulation Multiconference 2007"}],"event":{"name":"2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS)","start":{"date-parts":[[2015,5,13]]},"location":"Athens, Greece","end":{"date-parts":[[2015,5,15]]}},"container-title":["2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7121393\/7128853\/07128913.pdf?arnumber=7128913","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T10:27:07Z","timestamp":1498213627000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7128913\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/rcis.2015.7128913","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}