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

Content Provider	IEEE Xplore Digital Library
Author	Mahmood, I. Ayani, R. Vlassov, V. Moradi, F.
Copyright Year	2012
Abstract	Model reuse is a promising and appealing convention for effective development of simulation systems as it offers reduction in development cost and time. Various methodological advances in this area have given rise to the development of different component reusability frameworks such as BOM (Base Object Model). But lack of component matching and weak support for compos ability verification and validation, in these frameworks, makes it difficult to achieve effective and meaningful reuse. In this paper we focus on Compos ability verification and propose a process to verify BOM based composed model at dynamic semantic level. We suggest an extension to the BOM components, to capture behavior at a greater detail. Then we transform the extended BOM into our proposed Colored Petri Nets (CPN) based component model so that the components can be composed and executed at an abstract level. Subsequently we advocate to use CPN tools and analysis techniques to verify that the model satisfy given requirements. We classify the properties of a system among different groups and express the model's requirements by selecting some of the properties from these groups to form requirement specification. Also we present an example of a Field Artillery model, in which we select a set of properties as requirement specification, and explain how CPN state-space analysis technique is used to verify the required properties. Our experience confirms that CPN tools provide strong support for verification of composed models.
Starting Page	250
Ending Page	257
File Size	717039
Page Count	8
File Format	PDF
ISBN	9781467317979
ISSN	10874097
DOI	10.1109/PADS.2012.48
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2012-07-15
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Bills of materials Semantics Analytical models Image color analysis System recovery Petri nets Standards Field Artillery scenario Model Verification Model Transformation Dynamic Semantic Composability Colored Petri Nets State-space Analysis Deadlock
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

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

Composability Verification of Real Time System Models Using Colored Petri Nets

Fairness Verification of BOM-Based Composed Models Using Petri Nets

2013 uksim 15th international conference on computer modelling and simulation composability verification of real time system models using colored petri nets.

Composability verification of real time system models using timed colored petri nets.

Modeling and Verification of SCTP Association Management Based on Colored Petri Nets

Fairness Verification of BOM-Based Composed Models Using Petri Nets

Simulation of colored time Petri nets

Verification and Analysis of RSSP-1 Protocol Based on Colored Petri Nets

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

Similar Documents

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

Composability Verification of Real Time System Models Using Colored Petri Nets

Fairness Verification of BOM-Based Composed Models Using Petri Nets

2013 uksim 15th international conference on computer modelling and simulation composability verification of real time system models using colored petri nets.

Composability verification of real time system models using timed colored petri nets.

Modeling and Verification of SCTP Association Management Based on Colored Petri Nets

Fairness Verification of BOM-Based Composed Models Using Petri Nets

Simulation of colored time Petri nets

Verification and Analysis of RSSP-1 Protocol Based on Colored Petri Nets

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