Supercharge Your Innovation With Domain-Expert AI Agents!

Method for transforming AADL (Architecture Analysis and Design Language) component to interface automata model based on model driven engineering

An interface automaton and model-driven technology, applied in special data processing applications, instruments, electrical digital data processing, etc., can solve problems such as incomprehension, complex conversion relationships, and difficult reuse of conversion rules

Active Publication Date: 2013-04-17
NANJING UNIV
View PDF2 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] At present, the bottlenecks in traditional model conversion mainly include: semantic matching and grammatical mapping are often intertwined, conversion relationships are complex and difficult to understand, and conversion rules are difficult to reuse

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
  • Method for transforming AADL (Architecture Analysis and Design Language) component to interface automata model based on model driven engineering
  • Method for transforming AADL (Architecture Analysis and Design Language) component to interface automata model based on model driven engineering
  • Method for transforming AADL (Architecture Analysis and Design Language) component to interface automata model based on model driven engineering

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0054] The technical scheme of the present invention will be described in further detail below with reference to the accompanying drawings.

[0055] The main method of the present invention is based on the method of converting the AADL component to the interface automaton model based on model-driven engineering, and its main process is as follows: figure 1 Shown:

[0056] 1. Get the AADL model

[0057] 2. Construct AADL component meta-model

[0058] 3. Construct the IA (Interface Automata) metamodel

[0059] 4. Construct conversion rules from AADL to interface automata

[0060] 5. Create an ATL project, run the conversion rules, and use the conversion rules to convert the AADL model to the interface automaton.

[0061] The specific process is as attached figure 1 As shown, the main steps are as follows:

[0062] Step 10: Use OSATE to build the AADL model;

[0063] Step 11: Create AADL metamodel using EMF;

[0064] Step 12: Create an IA metamodel using EMF;

[0065] ...

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

Disclosed is a method for transforming an AADL (Architecture Analysis and Design Language) component to an interface automata model based on model driven engineering. The method includes the steps of: step 10, utilizing OSATE (Open Source AADL Tool Environment) to build an AADL model, step 11, utilizing EFM (Eclipse Modeling Framework) to build a meta AADL model, step 12, utilizing EFM to build IA (Information Architecture) meta model, step 13, creating a ATL (Active Template Library) project, programming a conversion file, importing the AADL model, the meta AADL model and an interface automata meta model in the ATL project, step 14, operating the ATL project to obtain a transformation result and inputting the transformation result into the interface automata. The method has the advantages of being capable of effectively solving the problem of a semi-formal AADL component model transforming to a formal model of an interface automata, being based on the idea of model driven engineering rather than traditional method, being capable of effectively utilizing existing modeling frames and model transformation method and the like.

Description

technical field [0001] The invention relates to computer modeling and model conversion verification, and mainly relates to a method for converting an AADL component into an interface automaton model based on model-driven engineering. Background technique [0002] With the development of embedded system, its architecture is more and more complex, and the traditional embedded system development method can no longer meet the current needs, so the model-driven method is introduced into the engineering development. MDE (Model Driven Engineering) is a model-centered software development framework proposed by the OMG organization; MDE emphasizes the application of models in the entire development process, and elevates the focus of software development from the code layer to the model layer. Embedded system development using model-driven technology should consider how to model at the initial design stage. Therefore, in the system modeling stage, the relevant properties of the model...

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
Inventor 张天张岩赵济州李宣东
Owner NANJING UNIV
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More