Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets

Mahmood, Imran; Ayani, Rassul; Vlassov, Vladimir; Moradi, Farshad

doi:10.1109/pads.2012.48

Cited by 6 publications

(7 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…. To amend these issues, semantic enhancements of BOMs have been developed [Moradi et al., ; Mojtahed, Svee, and Zdravkovic, ; Mojtahed et al., ], and methods for verifying the functionality of compositions have been researched [Mahmood et al., , ].…”

Section: Simulation Environments and Service Orientation: Past Researchmentioning

confidence: 99%

A Hybrid Architecture Framework for Simulations in a Service-Oriented Environment

2017

View full text Add to dashboard Cite

Service orientation, and more recently, the notions of cloud technology that service orientation enable, are designed to accommodate the need for flexible enterprise business processes. Through standardized interfaces, a service‐oriented architecture (SOA) should enable one to build and rebuild software systems readily and rapidly in a methodological manner. However, certain domains have specialized architectural standards; an example in point is modeling and simulation (M&S), for which there exist mature architectural standards, that may even have many of the characteristics strived for in SOA. An important issue is, therefore, how to integrate specialized architectures into a wider SOA. Using defense information systems and M&S as a case, we outline a hybrid architecture framework for specialized architectures in an encompassing SOA. Although it may be possible to dissolve a specialized architecture into the encompassing SOA at implementation time, we argue that it is important to be able to model the specialized architecture as an integral intact part. We further advocate a pragmatic notion of reference architecture in terms of appropriate level of abstraction and domain specificity to avoid pitfalls that may render architecture work unusable.

show abstract

Section: Simulation Environments and Service Orientation: Past Researchmentioning

confidence: 99%

A Hybrid Architecture Framework for Simulations in a Service-Oriented Environment

2017

View full text Add to dashboard Cite

show abstract

“…In this section we revisit our previously proposed approach [20] of dynamic semantic composability verification and extend it with additional features, particularly to support the verification of real-time system models. Before we discuss these additional features, we summarize our previous contributions as follows.…”

Section: Composability Verification Processmentioning

confidence: 99%

“…Once a standard BOM component is extended into E-BOM, which is transformed to our CPN based component model. The details of our proposed component model can be found in [20]. We proposed an automatic transformation method to convert E-BOM into CPN model.…”

Section: Composability Verification Processmentioning

confidence: 99%

“…In this paper, our main contribution (differentiated from the previous paper [20]) is summarized as follows. We upgrade our previously proposed verification process by support Time, so we present additional features in E-BOM to let the modeler specify time functions, for capturing the time specific system behavior.…”

Section: Composability Verification Processmentioning

confidence: 99%

“…We propose the time functions as extensions in the BOM standard (in addition to the ones previously proposed [20]). Time modalities do not exist originally in standard BOM.…”

Section: A E-bom Extensionmentioning

confidence: 99%

See 2 more Smart Citations

Composability Verification of Real Time System Models Using Colored Petri Nets

Mahmood

Ayani

Vlassov

et al. 2013

2013 UKSim 15th International Conference on Computer Modelling and Simulation

View full text Add to dashboard Cite

The discipline of component based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. It also promotes (re)use of modular components to build complex simulations. Many important issues in this area have been addressed, but composability verification is still considered a daunting challenge. In our observation most of the component based modeling frameworks possess weak built-in support for the composability verification, which is required to guarantee the correctness of the structural, behavioral and temporal aspects of the composition. In this paper we stage a practical approach to alleviate some of the challenges in composability verification and propose a process to verify composability of real-time system models. We emphasize on dynamic semantic level and present our approach using Colored Petri Nets and State Space analysis. We also present a Field Artillery model as an example of real-time system and explain how our approach verifies model composability.

show abstract

An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems

et al. 2019

View full text Add to dashboard Cite

Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets

Cited by 6 publications

References 15 publications

A Hybrid Architecture Framework for Simulations in a Service-Oriented Environment

A Hybrid Architecture Framework for Simulations in a Service-Oriented Environment

Composability Verification of Real Time System Models Using Colored Petri Nets

An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems

Contact Info

Product

Resources

About