Concurrent system analysis using Petri nets: an optimized algorithm for finding net invariants
Computer Communications
Information and Software Technology
Verification validation and accreditation of simulation models
Proceedings of the 29th conference on Winter simulation
Synthesizing executable models of object oriented architectures
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Using XML and BOMS to rapidly compose simulations and simulation environments
WSC '04 Proceedings of the 36th conference on Winter simulation
A Rule-based Approach to Syntactic and Semantic Composition of BOMs
DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Building composable bridges between the conceptual space and the implementation space
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
An Approach for Validation of Semantic Composability in Simulation Models
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
| Hi-index | 0.00 |
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.