{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T11:27:58Z","timestamp":1730287678025,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/pads.2011.5936769","type":"proceedings-article","created":{"date-parts":[[2011,7,7]],"date-time":"2011-07-07T11:00:43Z","timestamp":1310036443000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["An Analysis of the Cost of Validating Semantic Composability"],"prefix":"10.1109","author":[{"given":"Claudia","family":"Szabo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong Meng","family":"Teo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Automatic Verification of DEVS Models","author":"wainer","year":"2002","journal-title":"Spring Interoperability Workshop"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2009.14"},{"key":"ref12","article-title":"Formal Methods in the Verification and Validation of Simulation Models","author":"kennedy","year":"0","journal-title":"Proceedings of SISO Spring Interoperability Workshop"},{"key":"ref13","first-page":"163","article-title":"Modeling and Simulation Verification and Validation Challenges","volume":"25","author":"pace","year":"2004","journal-title":"Johns Hopkins APL Technical Digest"},{"key":"ref14","first-page":"103","article-title":"CODES: An Integrated Approach to Composable Modeling and Simulation","author":"teo","year":"2008","journal-title":"Proceedings of the IEEE Annual Simulation Symposium"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.7148\/2006-0253"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2000.899697"},{"key":"ref17","first-page":"277","article-title":"On the Power of Labels in Transition Systems","author":"srba","year":"2001","journal-title":"Proc Int Conf Concurrency Theory"},{"key":"ref18","first-page":"82","article-title":"Encoding Object-Z in Is-abelle\/HOL","author":"smith","year":"2002","journal-title":"Proceedings of the International Conference of B and Z Users"},{"key":"ref19","article-title":"Basis for a Theory of Semantic Composability","author":"petty","year":"2003","journal-title":"Proceedings of SISO Spring Interoperability Workshop"},{"journal-title":"Verification Validation and Accreditation","year":"1996","key":"ref4"},{"key":"ref27","article-title":"Model Verification and Validation for Rapidly Developed Simulation Models: Balancing Cost and Theory","author":"love","year":"2000","journal-title":"Conference Proceedings of the System Dynamics Society"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.1997.640389"},{"key":"ref6","article-title":"In Search of the Philosopher's Stone: Simulation Composability Versus Component-Based Software Design","author":"bartholet","year":"2004","journal-title":"Proc of the Fall Interoperability Workshop"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2006.39"},{"key":"ref8","article-title":"Object Model Use Cases: A Mechanism for Capturing Requirements and Supporting BOM Reuse","author":"gustavson","year":"1999","journal-title":"Spring Simulation Interoperability Workshop"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2008.4736133"},{"key":"ref2","article-title":"Composability Theory Overview and Update","author":"petty","year":"2005","journal-title":"Spring Interoperability Workshop"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2006.323173"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2000.899142"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2008.4736163"},{"journal-title":"Principles of the Spin Model Checker","year":"2008","author":"ben-ari","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2007.32"},{"key":"ref24","first-page":"2129","article-title":"Towards Realistic Million-Node Internet Simulations","author":"cowie","year":"0","journal-title":"Proc of International Conference on Parallel and Distributed Processing Techniques and Applications"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_18"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/358598.358609"},{"key":"ref25","first-page":"497","article-title":"Validation of Simulation Models","author":"sargent","year":"1979","journal-title":"Proc of the Winter Simulation Conference"}],"event":{"name":"2011 ACM\/IEEE\/SCS 25th Workshop on Principles of Advanced and Distributed Simulation (PADS)","start":{"date-parts":[[2011,6,14]]},"location":"Nice, France","end":{"date-parts":[[2011,6,17]]}},"container-title":["2011 IEEE Workshop on Principles of Advanced and Distributed Simulation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5936496\/5936744\/05936769.pdf?arnumber=5936769","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T03:14:23Z","timestamp":1490066063000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5936769\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/pads.2011.5936769","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}