{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T11:28:11Z","timestamp":1730287691004,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/pads.2012.48","type":"proceedings-article","created":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T22:41:18Z","timestamp":1349044878000},"page":"250-257","source":"Crossref","is-referenced-by-count":6,"title":["Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets"],"prefix":"10.1109","author":[{"given":"Imran","family":"Mahmood","sequence":"first","affiliation":[]},{"given":"Rassul","family":"Ayani","sequence":"additional","affiliation":[]},{"given":"Vladimir","family":"Vlassov","sequence":"additional","affiliation":[]},{"given":"Farshad","family":"Moradi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1007\/b95112"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1109\/PADS.2009.14"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1007\/978-0-85729-277-3_7"},{"key":"15","article-title":"Behavioral verification of bom based composed models","author":"mahmood","year":"2010","journal-title":"European Modeling and Simulation Symposium"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1109\/PADS.2011.5936770"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/WSC.2004.1371487"},{"year":"2006","author":"gustavson","journal-title":"Guide for Base Object Model Use Amd Implemenration","key":"14"},{"key":"11","article-title":"Verification and validation","author":"mikel","year":"2009","journal-title":"Principles of Modeling and Simulation"},{"year":"2006","journal-title":"SISO Base Object Model (BOM) Template Specification","key":"12"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1007\/978-3-662-04558-9"},{"key":"3","article-title":"A theory of simulation composability","author":"petty","year":"2004","journal-title":"Virginia Modeling Analysis & Simulation Center"},{"year":"0","author":"michael","journal-title":"State Space Methods for Coloured Petri Nets","key":"20"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1201\/9781420010855.ch16"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1057\/jos.2011.7"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/WSC.1997.640389"},{"key":"7","first-page":"65","article-title":"Applying the levels of conceptual interoperability model in support of integratability, interoperability, and composability for system-of-systems engineering","volume":"5","author":"tolk","year":"2007","journal-title":"J Systemics Cybernetics and Informatics"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1002\/9780470590621.ch12"},{"year":"2003","author":"davis","journal-title":"Anderson Improving the Composability of Department of Defense Models and Simulations Rand National Defense","key":"5"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1145\/324138.324433"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/DS-RT.2007.32"},{"key":"8","article-title":"A multilevel composability model for semantic web services","volume":"17","author":"medjahed","year":"2006","journal-title":"Journal of IEEE Transactions on Knowledge and Data Engineering"}],"event":{"name":"2012 ACM\/IEEE\/SCS 26th Workshop on Principles of Advanced and Distributed Simulation (PADS)","start":{"date-parts":[[2012,7,15]]},"location":"Zhangjiajie, China","end":{"date-parts":[[2012,7,19]]}},"container-title":["2012 ACM\/IEEE\/SCS 26th Workshop on Principles of Advanced and Distributed Simulation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6305054\/6305864\/06305865.pdf?arnumber=6305865","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T00:38:36Z","timestamp":1490143116000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6305865\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/pads.2012.48","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}