A Study on Model Transformation Mechanism Using Graph Comparison Algorithms and Software Model Property Information

2011 ◽  
pp. 256-264
Author(s):  
Jong-won Ko ◽  
Hwa-young Jeong ◽  
Young-jae Song
Keyword(s):  
Model Transformation ◽  
Model Property ◽  
Transformation Mechanism ◽  
Software Model ◽  
Graph Comparison ◽  
Comparison Algorithms

A Study on Model Transformation Mechanism Using Graph Comparison Algorithm, Abstract Factory Pattern and Bridge Pattern

2011 ◽  
Vol 121-126 ◽  
pp. 2476-2481
Author(s):  
Jong Won Ko ◽  
Young Jae Song
Keyword(s):  
Model Transformation ◽  
Service Providers ◽  
Abstract Syntax ◽  
Formal Representation ◽  
Transformation Mechanism ◽  
Design Models ◽  
Abstract Syntax Tree ◽  
Syntax Tree ◽  
Software Model ◽  
Bridge Pattern

In order to easily port mobile applications suitable for each platform, that have been developed under diverse development environment for individual wireless communication service providers, or redevelop them on a specific platform, it is required to reuse them at software model level that is a software development paradigm for MDA (Model Driven Architecture). Verification of existing design models and test models for the study, mainly checking (Model Checking) with a code-based software designed to define in the abstract syntax tree or on the models generated using refactoring on design models for refinery operations and define how to perform. The problem with these traditional research methods, but the first model, design model for checking the information with the model by defining a formal representation in the form of an abstract syntax tree, as you've shown how to perform verification of the model to perform refactoring. Additional steps need to define more complex due to a software problem that is not the way to the model suitable for optimization refactoring. In this paper, as defined in the MDA-based model transformation studies of a reusable model transformation patterns, abstract factory pattern and the bridge pattern given the pattern information automatically through the software model offers a way to perform refactoring..

Visual Modeling and Simulation Research of a Kind of On-Orbit Servicing Spacecraft

2014 ◽  
Vol 538 ◽  
pp. 184-188
Author(s):  
Bing Shuai Li ◽  
Jian Xin Zhang ◽  
Qiang Zhang ◽  
Xiao Peng Wei
Keyword(s):  
Model Transformation ◽  
Model Building ◽  
Universal Method ◽  
Simulation Approach ◽  
Post Processing ◽  
Simulation Research ◽  
Visual Modeling ◽  
Software Model ◽  
Aerospace Technology ◽  
Task Simulation

On-orbit servicing technology is a novel aerospace technology, which has important economic and military value. Reference to two on-orbit servicing programs named Orbital Express and Phoenix, the paper provides visual modeling and on-orbit module replacement simulation approach for a type of spacecraft based on satellite tool kit (STK). A kind of universal method for STK model building is presented, which includes multi-software model transformation and manual encoding. Some key problems about model integration and post processing, that helps complex STK model building, has also been summarized. An on-orbit replacement task simulation system based on co-simulation of MATLAB and STK can provide effective technical support for the aerospace program.

Model transformation verification using similarity and graph comparison algorithm

2013 ◽  
Vol 74 (20) ◽  
pp. 8907-8920 ◽  
Author(s):  
Jong-Won Ko ◽  
Kyung-Yong Chung ◽  
Jung-Soo Han
Keyword(s):  
Model Transformation ◽  
Graph Comparison ◽  
Model Transformation Verification

scholarly journals Towards an automatic model transformation mechanism from UML state machines to DEVS models

2015 ◽  
Author(s):  
Ariel González ◽  
Carlos Luna ◽  
Roque Cuello ◽  
Marcela Pérez ◽  
Marcela Daniele
Keyword(s):  
Modeling And Simulation ◽  
Model Transformation ◽  
Discrete Event ◽  
State Machines ◽  
System Specification ◽  
Transformation Mechanism ◽  
Simulation Tools ◽  
Model Driven ◽  
Uml State Machines ◽  
Devs Formalism

The development of complex event-driven systems requires studies and analysis prior to deployment with the goal of detecting unwanted behavior. UML is a language widely used by the software engineering community for modeling these systems through state machines, among other mechanisms. Currently, these models do not have appropriate execution and simulation tools to analyze the real behavior of systems. Existing tools do not provide appropriate libraries (sampling from a probability distribution, plotting, etc.) both to build and to analyze models. Modeling and simulation for design and prototyping of systems are widely used techniques to predict, investigate and compare the performance of systems. In particular, the Discrete Event System Specification (DEVS) formalism separates the modeling and simulation; there are several tools available on the market that run and collect information from DEVS models. This paper proposes a model transformation mechanism from UML state machines to DEVS models in the Model-Driven Development (MDD) context, through the declarative QVT Relations language, in order to perform simulations using tools, such as PowerDEVS. A mechanism to validate the transformation is proposed. Moreover, examples of application to analyze the behavior of an automatic banking machine and a control system of an elevator are presented.

A Methodology of Model Transformation in MDA: from CIM to PIM

2015 ◽  
Vol 10 (12) ◽  
pp. 1186 ◽  
Author(s):  
Yassine Rhazali ◽  
Y. Hadi ◽  
A. Mouloudi
Keyword(s):  
Model Transformation
Sign in / Sign up

Export Citation Format

Share Document