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
Behavioral verification of BOM based composed models
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture (Closed 20120101), Software and Computer Systems, SCS (Closed 20120101).
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture (Closed 20120101), Software and Computer Systems, SCS (Closed 20120101).
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture (Closed 20120101), Software and Computer Systems, SCS (Closed 20120101).
Swedish Defense Research Agency (FOI).
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, Published paper (Refereed)
Abstract [en]

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.
Keyword [en]
Composability, model verification, deadlock detection, BOM, SCXML, model execution
National Category
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-53240Scopus ID: 2-s2.0-84871287736ISBN: 2-9524747-8-8 (print)ISBN: 978-295247478-8 OAI: oai:DiVA.org:kth-53240DiVA: diva2:469466
Conference
22th European Modeling and Simulation Symposium, EMSS 2010; Fes; Morocco; 13 October 2010 through 15 October 2010
Note

QC 20120117

Available from: 2012-01-17 Created: 2011-12-24 Last updated: 2014-08-15Bibliographically approved

Open Access in DiVA

No full text

Scopus

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 389 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