Transfer method from demand model to simulation model

A simulation model and model conversion technology, applied in special data processing applications, instruments, electrical digital data processing, etc., can solve problems such as difficulty in verifying demand models, save labor costs, avoid dependencies, and improve development efficiency.

Inactive Publication Date: 2015-04-01
AVIC NO 631 RES INST
View PDF2 Cites 10 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] Aiming at the problem that the requirement model is difficult to verify, the present invention proposes a conversion method from the requirement model to the simulation model, which can realize the automatic conversion from the requirement model to the simulation model

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
  • Transfer method from demand model to simulation model
  • Transfer method from demand model to simulation model
  • Transfer method from demand model to simulation model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0028] Concrete steps of the present invention are as follows:

[0029] 1 Establish a model conversion framework

[0030] Model to framework such as figure 1 As shown, it is divided into three layers. The top M3 layer is the meta-meta-model layer, M2 is the meta-model layer, and M1 is the model layer. According to the relationship among various models in model-driven theory, meta-metamodel can generate meta-metamodel and meta-model, and models can be generated according to meta-model. The meta-meta-model can be defined by itself, and at the same time, it can generate a requirement model meta-model, a simulation model meta-model, and ATL language. The requirement model meta-model generates the requirement model, the simulation model meta-model generates the simulation model, and the ATL language generates the ATL model. For the user, it only needs to input the demand model, and through a series of conversions, it will be automatically converted into a simulation model.

[...

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 aims to resolves the problem that a demand model is difficult to be verified and provides a transfer method from the demand model to a simulation model. The transfer method enables the automatic transferring from the demand model to the simulation model to be realized. The transfer method includes firstly designing a transferring frame from the demand model to the simulation model. On the basis, a meta-model of demand model, a meta-model of simulation model, a transferring rule from the meta-model of demand model to the meta-model of simulation model are respectively designed. Finally the automatic transferring from the demand model to the simulation model is realized. The transfer method enables the isomorphic property of the two different models of the demand model and the simulation model to be realized. The development efficiency of embed software is increased. The development of driving model is rich and improved. The transfer method also provides technical support for embed software in flight control system, highway control system, airborne avionics system and the like.

Description

technical field [0001] The invention relates to a model conversion method from a demand model to a simulation model. Background technique [0002] Requirements modeling is an important activity in software requirements engineering. Requirements engineers use different modeling methods to identify, understand, and mine the expectations of requirements providers for the system, so as to build structural models, behavior models, or other Various pairs of models showing different characteristics of the software to be developed. How to verify the correctness of the requirement model, you can use a formal method, but the formal method is difficult to understand and requires software developers to have a strong mathematical foundation. For this reason, we use simulation to verify the correctness of the demand model. How to transition from the requirement model to the simulation model, usually software developers manually complete the simulation model according to the requirement ...

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06F17/50
Inventor 郭鹏李亚晖牛文生张亚棣叶宏
Owner AVIC NO 631 RES INST
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