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.

scholarly journals A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems

2021 ◽  
Vol 22 (2) ◽  
Author(s):  
Raida Elmansouri ◽  
Said Meghzili ◽  
Allaoua Chaoui
Keyword(s):  
Model Transformation ◽  
Integrated Approach ◽  
Software Systems ◽  
Sequential Process ◽  
Model Checker ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Activity Diagrams ◽  
Uml 2.0

This paper proposes an approach integrating UML 2.0 Activity Diagrams (UML2-AD) and Communicating Sequential Process (CSP) for modeling and verication of software systems. A UML2-AD is used for modeling a software system while CSP is used for verication purposes. The proposed approach consists of another way of transforming UML2-AD models to Communicating Sequential Process (CSP) models. It focuses also on checking the correctness of some properties of the transformation itself. These properties are specified using Linear Temporal Logic (LTL) and verified using the GROOVE model checker. This approach is based on Model Driven Engineering (MDE). The meta-modelling is realized using AToMPM tool while the model transformation and the correctness of its properties are realized using GROOVE tool. Finally, we illustrated this approach through a case study.

Metamodel Matching Techniques

2014 ◽  
Vol 5 (2) ◽  
pp. 70-94 ◽  
Author(s):  
Lamine Lafi ◽  
Jamel Feki ◽  
Slimane Hammoudi
Keyword(s):  
Model Transformation ◽  
Transformation Process ◽  
Software Systems ◽  
Model Driven Engineering ◽  
Modeling Framework ◽  
Model Driven ◽  
Systems Model ◽  
Model Transformation Language ◽  
Automatic Matching ◽  
Matching Techniques

During the last decade, Model Driven Engineering (MDE) has been proposed for supporting the development, maintenance and evolution of software systems. Model Driven Architecture (MDA), Software Factories and Eclipse Modeling Framework (EMF) are among the most representatives MDE approaches. Nowadays, it is well recognized that model transformation is at the heart of MDE approaches and, consequently represents one of the most important operations in MDE. However, despite the multitude of model transformation language proposals emerging from academic world and industry, these transformations are often manually specified; which is a tedious and error-prone task, and therefore an expensive process. Matching operation between metamodels is the keystone toward a (semi-)automatic transformation process. In this paper, the authors review metamodel matching techniques of the literature and then analyze their pros and cons in order to show how they can be useful for a semi-automatic transformation process. The result is a comparison of metamodel matching techniques, highlighting their similarities and differences in terms of information used for matching, demonstrating significant similarities between these techniques. Next, the authors compare four well-known metamodel matching techniques namely Similarity flooding, SAMT4MDE+ (extended Semi-Automatic Matching Tool for Model Driven Engineering), ModelCVS and AML (AtlanMod Matching Language) on ten couples of metamodels. For this comparison, the authors define a set of six criteria inspired from the database schema matching. One among these criteria is relevant to the quality of matching and for which we define a quality measure metrics. Furthermore, the authors develop a plug-in under Eclipse to support our comparison using ten couples of metamodels.

scholarly journals BADF: Bat inspired Optimize solution for model transformation assisted with fitness function of Adaptive dragonfly algorithm (ADF)

2021 ◽  
Author(s):  
Pramod Pandurang Jadhav
Keyword(s):  
Software Engineering ◽  
Model Transformation ◽  
Fitness Function ◽  
Class Diagram ◽  
Model Driven Engineering ◽  
Engineering Model ◽  
Relational Schema ◽  
Dragonfly Algorithm ◽  
Model Driven

Abstract Model transformation is the conspicuous research statement in the area of software engineering. Model transformation (MT) is playing the measure role in the Model driven engineering (MDE), which is helpful to transfer the model from one set of databases to another set of databases by considering the simulation and also support to various language. Propose work elaborate the Bat inspired optimize solution for model transformation using Adaptive Dragonfly Algorithm (BADF), and transform Class diagram (CLD) in to the relational schema (RS), accompanied by fitness function. Further performance of the proposed algorithm is appraised using Automatic Correctness (AC) and fitness measure, by comparing existing algorithm.

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
Sign in / Sign up

Export Citation Format

Share Document