Research on the Model Transformation Method and Application of Formal Model Driven Engineering (FMDE)

2021 ◽  
pp. 234-254
Author(s):  
Ya Liu ◽  
Jinyun Xue ◽  
Zhiheng Zhang ◽  
Yang Liu ◽  
Hongwen Hu
Keyword(s):  
Model Transformation ◽  
Formal Model ◽  
Transformation Method ◽  
Model Driven Engineering ◽  
Model Driven

Research on Model Transformation Method Oriented to Model Driven ERP System

2013 ◽  
Vol 670 ◽  
pp. 208-215
Author(s):  
Ying Che ◽  
G. Wang ◽  
M. Lv ◽  
B.Y. Ren
Keyword(s):  
Enterprise Resource Planning ◽  
Model Transformation ◽  
Implementation Process ◽  
Resource Planning ◽  
Transformation Method ◽  
Erp System ◽  
Model Driven ◽  
Existing Problems ◽  
Mapping Rules ◽  
Independent Model

The model transformation from Computation Independent Model (CIM) to Platform Independent Model (PIM) level is one of the crucial and difficult points in the implementation process of model-driven Enterprise Resource Planning (ERP) system. For achieving the semantic conforming transformation between these two abstract modeling levels in Model Driven Architecture (MDA), a model transformation method based on ontology technology was proposed, which was a semi-automatic and general method. Firstly, the existing problems of model transformation from CIM level to PIM level in current studies were analyzed. Then, a model transformation framework based on ontology was built, the basic concepts relating to ontology were defined, and the whole architecture was described. After that, the transformation method was researched from two parts, the discovering of mapping rules and the occurrence of model transformation, which included the discovering technology of mapping rules based on similarity and the working principles of model transformation generator. Finally, a model transformation example was provided for validating the practicability and feasibility of proposed theories.

scholarly journals XRTSDIC: model transformation from PIM to PSM

2018 ◽  
Vol 7 (1.8) ◽  
pp. 92
Author(s):  
G Ramesh
Keyword(s):  
Software Design ◽  
Model Transformation ◽  
Source Code ◽  
Object Oriented ◽  
Proof Of Concept ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Relationship Analysis ◽  
Uml Class Diagram ◽  
Computer Aided Software Engineering

Computer Aided Software Engineering (CASE) has been growing faster in software industry. As part of it Model Driven Engineering (MDE) has been around for focusing on models and transforming them from one model to other model. The tool named Extensible Real Time Software Design Inconsistency Checker (XRTSDIC) proposed by us in previous paper supports UML modelling, design inconsistency checking and model transformation from UML to ERD to SQL. In this paper it is extended further to facilitate model transformation from PIM (UML class diagram) to PSM (source code). We proposed an algorithm and defined model transformation and consistency rules. The extended framework has provision for class relationship analysis and support for choosing different object oriented languages like C#, C++ and Java. While transforming the model, we used the concept of dialects. Dialect is the class with transformation functionality which has ability to adapt to syntax and semantics of chosen language. Different dialects are made available for different languages. Thus the proposed system is capable of transforming models and the prototype application we built and extended demonstrates the proof of concept. The empirical results revealed that the model transformation is consistent and accurate.

A Model Driven Engineering Approach to Reduce Large Queueing Networks

2017 ◽  
Vol 10 (2) ◽  
pp. 1-18 ◽  
Author(s):  
Ahlem Nasri ◽  
Abdelhabib Bourouis
Keyword(s):  
Residence Time ◽  
Queueing Networks ◽  
Model Transformation ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Exact Results ◽  
Model Driven Engineering ◽  
Transformation Techniques ◽  
Model Driven ◽  
Global Mean

Modeling complex systems, including discrete event systems, remains a challenge. The complexity and the size of such systems prevent understanding their models. This article proposes an approach for reducing queuing networks large models into smaller ones. The objective is to reduce the analysis as well as the simulation times in addition to the better understanding of the system under study. The basic idea is to divide the model into a set of smaller, hierarchically organized and more manageable sub-models, which are analyzed in isolation. The key contributions of this work are the substitution of each sub-model by a single M/G/8 station and the automation of the decomposition process using model transformation techniques. The main conclusion is that the reduction approach provides exact results for the global mean number of clients and mean residence time at the whole network.

Evolution in Model-Driven Software Product-Line Architectures

2009 ◽  
pp. 102-132 ◽  
Author(s):  
Gan Deng ◽  
Douglas C. Schmidt ◽  
Aniruddha Gokhale ◽  
Jeff Gray ◽  
Yuehua Lin ◽  
...  
Keyword(s):  
Model Transformation ◽  
Product Line ◽  
Domain Model ◽  
Modeling Language ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Transformation Rules ◽  
Domain Evolution ◽  
Software Product

This chapter describes our approach to model-driven engineering (MDE)-based product line architectures (PLAs) and presents a solution to address the domain evolution problem. We use a case study of a representative software-intensive system from the distributed real-time embedded (DRE) systems domain to describe key challenges when facing domain evolution and how we can evolve PLAs systematically and minimize human intervention. The approach uses a mature metamodeling tool to define a modeling language in the representative DRE domain, and applies a model transformation tool to specify modelto- model transformation rules that precisely define metamodel and domain model changes. Our approach automates many tedious, time consuming, and error-prone tasks of model-to-model transformation, thus significantly reducing the complexity of PLA evolution.

scholarly journals Modeling Framework for Medical Data Semantic Transformations

10.29007/l2vs ◽  
2018 ◽  
Author(s):  
Alexander Vodyaho ◽  
Nataly Zhukova ◽  
Dmitry Kurapeev ◽  
Mikhail Lushnov
Keyword(s):  
Model Transformation ◽  
Information Technologies ◽  
Main Idea ◽  
Model Driven Engineering ◽  
Modeling Framework ◽  
Suggested Approach ◽  
Model Driven ◽  
Is Development ◽  
Model Driven Approach ◽  
Wide Usage

Nowadays inthe domain of modern information technologies there is an evident trend of wide usage of intel- ligent information systems (IS), where processing of incoming data is based on multiple semantic-oriented transformations. Model Driven Engineering approach is widely used for intelligent IS development. The effectiveness of this approach is defined by availability for developers sufficient number of domain oriented models, which describe the classes of solutions and suggest effective tools for model transformation. In the paper a model driven approach for development of intelligent IS is described. The main idea of the suggest- ed approach is an implementation of semantic oriented transformations. This approach was used by the authors for building real IS for different subject domains. The example of practical usage of the suggested approach for medical IS development is described.

scholarly journals Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size

2021 ◽  
Author(s):  
Stefan Höppner ◽  
Timo Kehrer ◽  
Matthias Tichy
Keyword(s):  
Model Transformation ◽  
Historical Perspective ◽  
General Purpose ◽  
Model Transformations ◽  
Future Research ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Transformation Language ◽  
Key Concepts ◽  
Code Changes

AbstractModel transformations are among the key concepts of model-driven engineering (MDE), and dedicated model transformation languages (MTLs) emerged with the popularity of the MDE pssaradigm about 15 to 20 years ago. MTLs claim to increase the ease of development of model transformations by abstracting from recurring transformation aspects and hiding complex semantics behind a simple and intuitive syntax. Nonetheless, MTLs are rarely adopted in practice, there is still no empirical evidence for the claim of easier development, and the argument of abstraction deserves a fresh look in the light of modern general purpose languages (GPLs) which have undergone a significant evolution in the last two decades. In this paper, we report about a study in which we compare the complexity and size of model transformations written in three different languages, namely (i) the Atlas Transformation Language (ATL), (ii) Java SE5 (2004–2009), and (iii) Java SE14 (2020); the Java transformations are derived from an ATL specification using a translation schema we developed for our study. In a nutshell, we found that some of the new features in Java SE14 compared to Java SE5 help to significantly reduce the complexity of transformations written in Java by as much as 45%. At the same time, however, the relative amount of complexity that stems from aspects that ATL can hide from the developer, which is about 40% of the total complexity, stays about the same. Furthermore we discovered that while transformation code in Java SE14 requires up to 25% less lines of code, the number of words written in both versions stays about the same. And while the written number of words stays about the same their distribution throughout the code changes significantly. Based on these results, we discuss the concrete advancements in newer Java versions. We also discuss to which extent new language advancements justify writing transformations in a general purpose language rather than a dedicated transformation language. We further indicate potential avenues for future research on the comparison of MTLs and GPLs in a model transformation context.

scholarly journals Content Based Model Transformations: Solutions to Existing Issues with Application in Information Security

2016 ◽  
Vol 11 (2) ◽  
pp. 233
Author(s):  
Justinas Janulevicius ◽  
Simona Ramanauskaite ◽  
Nikolaj Goranin ◽  
Antanas Cenys
Keyword(s):  
Software Engineering ◽  
Information Security ◽  
Model Transformation ◽  
Model Transformations ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Production Models ◽  
Dependent Model ◽  
The Cost

Model-Driven Engineering uses models in various stages of the software engineering. To reduce the cost of modelling and production, models are reused by transforming. Therefore the accuracy of model transformations plays a key role in ensuring the quality of the process. However, problems exist when trying to transform a very abstract and content dependent model. This paper describes the issues arising from such transformations. Solutions to solve problems in content based model transformation are proposed as well. The usage of proposed solutions allowing realization of semi-automatic transformations was integrated into a tool, designed for OPC/XML drawing file transformations to CySeMoL models. The accuracy of transformations in this tool has been analyzed and presented in this paper to acquire data on the proposed solutions influence to the accuracy in content based model transformation.

A Formalization Model Transformation Approach on Workflow Automatic Execution from CIM Level to PIM Level

2019 ◽  
Vol 29 (09) ◽  
pp. 1179-1217
Author(s):  
Zonghua Li ◽  
Xiaofeng Zhou ◽  
Zhengwei Ye
Keyword(s):  
Petri Nets ◽  
Model Transformation ◽  
Formal Model ◽  
Transformation Rule ◽  
Modeling Framework ◽  
Target Model ◽  
Model Driven ◽  
Bridge Model ◽  
Transformation Approach ◽  
Level Model

Model transformation is a keystone in carrying out model-driven development. Currently, many studies have focused on model transformation, those researches study the automatic transformation from PIM to PSM and from PSM to code, but only few have dealt with how the CIM-level model is automatically mapped onto the PIM-level model. Even though some studies have proposed the semi-automatic transformation from CIM-level model to PIM-level model, only few mechanisms are discussed to protect the consistency between the CIM-level model and the PIM-level model in these researches because notation specification of these CIM-level model and PIM-level model does not contain precise semantics. Focusing on workflow perspective, this paper proposes an automatic model transformation approach, which applies a formal model to define the automatic mapping of the workflow from CIM-level model to PIM-level model. This proposal extends Petri nets model elements to define a bridge model, then we use this bridge model to link the CIM-level model (BPMN) and PIM-level model (SCM) following model-driven approach. The metamodels, the transformation rule and the transformation plug-ins have been defined in Eclipse Modeling Framework. Meanwhile, the plug-ins have been empirically validated by a Travel Agency case study. This study shows that using extended Petri nets model as a bridge model to define an automatic model transformation between CIM-level model and PIM-level model is feasible. This approach by means of formal model can ensure the correctness and completeness of the target model, and it can also maintain the consistency between the source model and target model.

Sign in / Sign up

Export Citation Format

Share Document