Composability Test of BOM based models using Petri Nets
2010 (English)In: Proceedings of the 22nd IFIP International Conferenceon Testing Software and Systems: Short Papers / [ed] Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado, Montreal, QC Canada: CRIM (Centre de recherche informatique de Montréal) , 2010, 7-12 p.Conference paper (Refereed)
Reusability is a widely used concept which has recently receivedrenewed attention to meet the challenge of reducing cost and timeof simulation development. An approach to achieve effective reusabilityis through composition of predefined components which is promising buta daunting challenge in the research community. Base Object Model(BOM) is a component-based standard designed to support reusabilityand composability in distributed simulation community. BOM providesgood model representation for component reuse however this frameworklacks capability to express semantic and behavioral matching at the conceptuallevel. Furthermore there is a need for a technique to test thecorrectness of BOM-compositions in terms of structure and behavior. Inthis paper we discuss verification of BOM based model and test its suitabilityfor the intended purpose and objectives. We suggest a techniquethrough which the composed model can automatically be transformedinto a single Petri Net (PN) model and thus can further be verified usingdifferent existing PN analysis tools. We further motivate our approachby suggesting a deadlock detection technique as an example, and providea case study to clarify our approach.
Place, publisher, year, edition, pages
Montreal, QC Canada: CRIM (Centre de recherche informatique de Montréal) , 2010. 7-12 p.
Verification, Model Based testing, Composability, Petri Nets
IdentifiersURN: urn:nbn:se:kth:diva-53241ISBN: 978-2-89522-136-4OAI: oai:DiVA.org:kth-53241DiVA: diva2:469467
22nd IFIP International Conferenceon Testing Software and Systems, Natal, Brazil, October, 2010
QC 201201242012-01-242011-12-242012-01-24Bibliographically approved