Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Composability Test of BOM based models using Petri Nets
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture, Software and Computer Systems, SCS.
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture, Software and Computer Systems, SCS.
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture, Software and Computer Systems, SCS.
Swedish Defense Research Agency (FOI).
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, Published paper (Refereed)
Abstract [en]

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.
Keyword [en]
Verification, Model Based testing, Composability, Petri Nets
National Category
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-53241ISBN: 978-2-89522-136-4 (print)OAI: oai:DiVA.org:kth-53241DiVA: diva2:469467
Conference
22nd IFIP International Conferenceon Testing Software and Systems, Natal, Brazil, October, 2010
Note
QC 20120124Available from: 2012-01-24 Created: 2011-12-24 Last updated: 2012-01-24Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Mahmood, ImranAyani, RassulVlassov, Vladimir
By organisation
Software and Computer Systems, SCS
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 47 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf