Eureka AIR delivers breakthrough ideas for toughest innovation challenges, trusted by R&D personnel around the world.

Automatic model conversion method from SysML to AltaRica

A model conversion and model technology, applied in the field of automatic model conversion, which can solve the problems of difficult security analysis and lack of formal definitions.

Inactive Publication Date: 2020-05-19
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF2 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0028] Since SysML is a language that lacks a formal definition, it is difficult to perform security analysis on it

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
  • Automatic model conversion method from SysML to AltaRica
  • Automatic model conversion method from SysML to AltaRica
  • Automatic model conversion method from SysML to AltaRica

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0076] Embodiments of the present invention will be further described in detail below in conjunction with the accompanying drawings.

[0077] refer to Figure 15 , a kind of automatic model conversion method from SysML to AltaRica of the present invention, comprises the following steps:

[0078] Step 1: Analyze the syntax and semantics of the SysML model and the AltaRica3.0 model, and establish the mapping rules from the SysML design model to the AltaRica3.0 analysis model from the structure diagram and the behavior diagram;

[0079] Step 2: Establish the meta-model structure of SysML and AltaRica3.0, and use the ATL model conversion language to define the mapping rules to realize the automatic conversion between the SysML model and the AltaRica3.0 model.

[0080] In the embodiment, step 1 analyzes the module definition diagram, internal module diagram and state machine diagram in the SysML diagram, and combines the syntax and semantics of AltaRica3.0 to design the mapping ru...

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 an automatic model conversion method from SysML to AltaRica. The automatic model conversion method comprises the steps of: analyzing syntax and semantics of a SysML model and an AltaRica3.0 model, and establishing a mapping rule from a SysML design model to an AltaRica3.0 analysis model from two aspects of a structure diagram and a behavior diagram; and establishing SysML and AltaRica3.0 meta-model structures, defining a mapping rule by utilizing an ATL model conversion language, and realizing automatic conversion between the SysML model and the AltaRica3.0 model. The ATL-based model conversion method disclosed by the invention in combination with mapping rule description of the SysML model and the AltaRica model, the SysML design model is converted into the AltaRica model suitable for security analysis, so that the problem of conversion from the SysML design model to the AltaRica 3.0 analysis model is solved.

Description

technical field [0001] The invention belongs to the technical field of software model conversion, in particular to an automatic model conversion method from SysML to AltaRica. Background technique [0002] As system requirements increase day by day, software development becomes more and more complex, and the use of model-driven development methods can effectively reduce technical complexity. In a model-driven engineering environment, model-to-model transformation is an important part of the overall process. [0003] SysML is a standard modeling language for systems engineering, released by the Object Management Organization, it is a reuse and extension of a subset of UML2.0, used to build well-designed, well-structured and maintainable complex systems. like figure 1 As shown, there are a total of 9 SysML diagrams, in which many major UML diagrams are reused, such as sequence diagrams, use case diagrams, state machine diagrams, and package diagrams; while some diagrams have...

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): G06F8/35G06F8/30
CPCG06F8/31G06F8/35
Inventor 胡军唐红英
Owner NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
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
Eureka Blog
Learn More
PatSnap group products