The Community for Technology Leaders
2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation (2012)
Zhangjiajie China
July 15, 2012 to July 19, 2012
ISSN: 1087-4097
ISBN: 978-1-4673-1797-9
pp: 250-257
ABSTRACT
Model reuse is a promising and appealing convention for effective development of simulation systems as it offers reduction in development cost and time. Various methodological advances in this area have given rise to the development of different component reusability frameworks such as BOM (Base Object Model). But lack of component matching and weak support for compos ability verification and validation, in these frameworks, makes it difficult to achieve effective and meaningful reuse. In this paper we focus on Compos ability verification and propose a process to verify BOM based composed model at dynamic semantic level. We suggest an extension to the BOM components, to capture behavior at a greater detail. Then we transform the extended BOM into our proposed Colored Petri Nets (CPN) based component model so that the components can be composed and executed at an abstract level. Subsequently we advocate to use CPN tools and analysis techniques to verify that the model satisfy given requirements. We classify the properties of a system among different groups and express the model's requirements by selecting some of the properties from these groups to form requirement specification. Also we present an example of a Field Artillery model, in which we select a set of properties as requirement specification, and explain how CPN state-space analysis technique is used to verify the required properties. Our experience confirms that CPN tools provide strong support for verification of composed models.
INDEX TERMS
Bills of materials, Semantics, Analytical models, Image color analysis, System recovery, Petri nets, Standards, Field Artillery scenario, Model Verification, Model Transformation, Dynamic Semantic Composability, Colored Petri Nets, State-space Analysis, Deadlock
CITATION
Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Farshad Moradi, "Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets", 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation, vol. 00, no. , pp. 250-257, 2012, doi:10.1109/PADS.2012.48
183 ms
(Ver 3.3 (11022016))