Verifying dynamic semantic composability of BOM-based composed models using colored petri nets
2012 (English)In: Principles of Advanced and Distributed Simulation (PADS), 2012 ACM/IEEE/SCS 26th Workshop on, IEEE , 2012, 250-257 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
IEEE , 2012. 250-257 p.
, Workshop on Principles of Advanced and Distributed Simulation, ISSN 1087-4097
Colored Petri Nets, Deadlock, Dynamic Semantic Composability, Field Artillery scenario, Model Transformation, Model Verification, State-space Analysis
IdentifiersURN: urn:nbn:se:kth:diva-108019DOI: 10.1109/PADS.2012.48ISI: 000312652600040ScopusID: 2-s2.0-84869461615ISBN: 978-076954714-5OAI: oai:DiVA.org:kth-108019DiVA: diva2:580181
2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation, PADS 2012, 15 July 2012 through 19 July 2012, Zhangjiajie
FunderICT - The Next Generation
QC 201212212012-12-212012-12-192014-01-24Bibliographically approved