Colored Petri net-based formal description and verification method for mission thread of capability

A verification method and formal description technology, applied in special data processing applications, instruments, electrical digital data processing, etc., can solve the problem of lack of formal models and methods, mission thread analysis and verification, etc.

Active Publication Date: 2017-08-01
THE 28TH RES INST OF CHINA ELECTRONICS TECH GROUP CORP
View PDF6 Cites 3 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

But these modeling languages ​​lack formal mo...

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Colored Petri net-based formal description and verification method for mission thread of capability
  • Colored Petri net-based formal description and verification method for mission thread of capability
  • Colored Petri net-based formal description and verification method for mission thread of capability

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0030] The present invention will be further described below in conjunction with the accompanying drawings and specific embodiments.

[0031] combine Figure 13 As shown, the description method based on Petri net (Colored Petri Net, CPN) in the form of capability mission thread includes the following steps:

[0032] 1. Provide the information table of the mission thread. According to the transfer process of the information table between activities, sort out and analyze the relationship between activities in the mission thread, including the relationship between activities, that is, the logical relationship, and the relationship between activity input and output, that is, activity rules;

[0033] (1) if figure 1 As shown, the logical relationship includes six types of sequence, parallel, selection, synchronous and, synchronous or, and ring, as follows:

[0034] ①Sequence: Activity A must be completed before Activity B begins. Sequential flow implies a dependency between two ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a colored Petri net (CPN)-based formal description and verification method for a mission thread of a capability. The method comprises the steps of describing a logic relationship and an activity rule in the mission thread; introducing a synchronizer to formalize the logic relationship, and establishing a looped synchronization net; building a mission thread logic model based on the looped synchronization net; establishing a conversion relationship between the activity rule and a CPN, thereby building a mission thread semantic model based on the mission thread logic model; proposing two verification criterions based on the fluency and consistency of the mission thread semantic model; and adding time dynamics to the mission thread semantic model to perform expansion to obtain a hybrid mission thread model, performing simulation analysis and obtaining an attribute value. According to the method, the mission thread semantic model for formal description of the mission thread of the capability is proposed, so that the deficiencies of other thread modeling languages in mission thread formal modeling and analysis verification are overcome; and complex simulation analysis and acquisition of the attribute value of the mission thread are supported, and system assessment can be supported.

Description

technical field [0001] The invention belongs to the field of system structure verification, and in particular relates to a coloring Petri net-based capability mission thread form description and verification method. Background technique [0002] A concept of operations (CONOPS) describes how a specific set of activities is performed, and the ability to perform these activities depends on many factors and the inherent interrelationships among these factors. Capabilities can be described by one or more mission threads, and a mission thread is usually defined as "a set of operational activities, the execution sequence and time-related attributes of the activities, and the information required to complete the activities". By mapping capabilities to operations, it is possible to bridge the gap between capability analysis and operations analysis, and to identify how operations are achieved using the various available capability elements; it can also be used to trace operations to ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F17/50
CPCG06F30/20
Inventor 陶智刚蒋飞蒋锴任志宏孔俊俊徐浩
Owner THE 28TH RES INST OF CHINA ELECTRONICS TECH GROUP CORP
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap