Fairness Verification of BOM-Based Composed Models Using Petri Nets

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

doi:10.1109/pads.2011.5936770

Cited by 3 publications

(1 citation statement)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is argued that the BOM template is not sufficient for component matching and that it gives weak support for verification and validation of a composition; e.g., Mahmood et al. . 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

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

Mahmood

Ayani

Vlassov

et al. 2012

2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation

View full text Add to dashboard Cite

Research on Improvement of Structure Optimization of Cross-type BOM and Related Traversal Algorithm

Sui¹,

Teng²,

Zhao³

et al. 2013

Advances in Multimedia, Communication and Networking

View full text Add to dashboard Cite

Based on an analysis of the advantages and disadvantages of single-layer and multi-layer BOM structure, and combine with specific examples of products, a more practical-crosstype BOM structure method is presented. Aiming to solve the system efficiency problems brought by the BOM operation in manufacturing. Regarding the queue as a temporary table, we put forward an improved multi-layer BOM traversal algorithm, makes full use of the basic operation characteristics and setting marks in related fields queue and simplifies the complexity of the algorithm. Compared with the traditional recursive algorithm and hierarchical algorithm, the improved algorithm has the advantages of fast speed, low resource consumption, and high practicability. And the improved algorithm is verified through an example.

show abstract

Fairness Verification of BOM-Based Composed Models Using Petri Nets

Cited by 3 publications

References 18 publications

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

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

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

Research on Improvement of Structure Optimization of Cross-type BOM and Related Traversal Algorithm

Contact Info

Product

Resources

About