Behavioral verification of BOM based composed models
2010 (English)In: 22th European Modeling and Simulation Symposium, EMSS 2010 / [ed] Agostine Bruzzone, Claudia Frdman, Francesco Longo, Khalid Mekouar, Miquel Angel Piera, Fes, Moroco: ESISA Ecole Supérieure d'Ingénierie en Sciences Appliquées , 2010, 341-350 p.Conference paper (Refereed)
A verified composition of predefined reusable simulation components such as BOM (Base Object Model) plays a significant role in saving time and cost in the development of various simulations. BOM represents a reusable component framework and posses the ability to rapidly compose simulations but lacks semantic and behavioral expressiveness required to match components for a suitable composition. Moreover external techniques are required to evaluate behavioral verification of BOM based components. In this paper we discuss behavioral verification and propose an approach to verify the dynamic behavior of a set of composed BOM components against given specifications. We further define a Model Tester that provides means to verify behavior of a composed model during its execution. We motivate our verification approach by suggesting solutions for some of the categories of system properties. We also provide a case study to clarify our approach.
Place, publisher, year, edition, pages
Fes, Moroco: ESISA Ecole Supérieure d'Ingénierie en Sciences Appliquées , 2010. 341-350 p.
Composability, model verification, deadlock detection, BOM, SCXML, model execution
IdentifiersURN: urn:nbn:se:kth:diva-53240ScopusID: 2-s2.0-84871287736ISBN: 2-9524747-8-8ISBN: 978-295247478-8OAI: oai:DiVA.org:kth-53240DiVA: diva2:469466
22th European Modeling and Simulation Symposium, EMSS 2010; Fes; Morocco; 13 October 2010 through 15 October 2010
QC 201201172012-01-172011-12-242014-08-15Bibliographically approved