Name
Abstract | ||
|---|---|---|
Model reuse is a promising and appealing convention for effective development of simulation systems. However it poses daunting challenges to various issues in research such as Reusability and Composability in model integration. Various methodological advances in this area have given rise to the development of different component reusability frameworks such as BOM (Base Object Model). However, lack of component matching and support for composability verification and validation makes it difficult to achieve effective and meaningful reuse. For this reason there is a need for adequate methods to verify and validate composability of a BOM based composed model. A verified composed model ensures the satisfaction of desired system properties. Fairness, as defined in section II, is an important system property which ensures that no component in a composition is delayed indefinitely. Fairness in a composed model guarantees the participation of all components in order to achieve the desired objectives. In this paper we focus on verification and propose to transform a composed BOM into a Petri Nets model and use different analysis techniques to perform its verification. We propose an algorithm to verify fairness property and provide a case study of a manufacturing system to explain our approach. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1109/PADS.2011.5936770 | Principles of Advanced and Distributed Simulation |
Keywords | Field | DocType |
Petri nets,digital simulation,formal verification,software reusability,BOM-based composed models,Petri Nets model,base object model,component matching,component reusability frameworks,composability verification,fairness verification,manufacturing system,model integration | Petri net,Unified Modeling Language,Verification and validation,Computer science,Reuse,Object model,Real-time computing,Composability,Reusability,Distributed computing,Formal verification | Conference |
ISSN | ISBN | Citations |
1087-4097 E-ISBN : 978-1-4577-1365-1 | 978-1-4577-1365-1 | 2 |
PageRank | References | Authors |
0.41 | 6 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Imran Mahmood | 1 | 17 | 6.57 |
| Rassul Ayani | 2 | 575 | 57.86 |
| Vladimir Vlassov | 3 | 220 | 34.73 |
| Farshad Moradi | 4 | 89 | 12.21 |