• Corpus ID: 2703369

ODM-based UML Model Transformations using Prolog ?

  title={ODM-based UML Model Transformations using Prolog ?},
  author={Jes{\'u}s Manuel Almendros-Jim{\'e}nez},
In this paper we present a framework for the specification of model transformations by means of Prolog rules, using the ODM representation of UML models. In addition, Prolog rules are also used for the validation of source and target models w.r.t. their ODM based metamodels. We have validated our proposal by means of a prototype developed under SWI-Prolog. 

Figures from this paper

Teaching Model Driven Engineering from a Relational Database Perspective
We reinterpret MDE from the viewpoint of relational databases to provide an alternative way to teach, understand, and demonstrate MDE using concepts and technologies that should be familiar to
Automatic generation of automation applications based on ontology transformations
In this paper an ontology driven approach to the design of control systems, in particular, control applications of IEC 61499 standard is proposed and an extension of SWRL (called eSWRL) is informally introduced.
Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies
The aim of automatically generating a cyber-physical control system (more precisely, an IEC61499 control system) is discussed and an interpreter of eSWRL is developed using the Prolog language.
The Effect of Increased Reliance on Information Systems and Relational Databases in Airline Industries: A Case Study of British Airways
This research informs the Aviation Sector on the unique role played by these systems and how it can make or break their organisation by analysing in depth on what information systems and relational database systems really are how they work and how they can be managed and developed into better practice.


ATL: A model transformation tool
Formal and Tool Support for Model Driven Engineering with Maude
It is shown how some basic operations on models, such as model subtyping, type inference, and metric evaluation, can be easily specified and implemented in Maude, and made available in development environments such as Eclipse.
Feature-based survey of model transformation approaches
A framework for the classification of several existing and proposed model transformation approaches is proposed, given as a feature model that makes explicit the different design choices for model transformations.
Model transformations and tool integration
  • L. Tratt
  • Computer Science
    Software & Systems Modeling
  • 2004
The need for dedicated approaches to model transformations, particularly for the data involved in tool integration, is motivated, the challenges involved are outlined, and a number of technologies and techniques are presented which allow the construction of flexible, powerful and practical model transformations.
Transformation: The Missing Link of MDA
The strengths and weaknesses of the different technologies and requirements for a transformation language for performing the kind of model-to-model transformations required to realise the MDA vision are identified.
On the interoperability of model-to-model transformation languages
State of the Art of QVT: A Model Transformation Language Standard
The typical transformation scenarios that developers encounter in software development are summarized and a comparison between the desirable and the formulated requirements for QVT is allowed to initially evaluate the adequacy of the QVT language.
Implementing a practical declarative logic-based model transformation engine
The design of specific features of the Tefkat transformation engine intended to facilitate writing and debugging declarative transformation specifications are discussed, and important implementation techniques used to avoid performance problems are described.
MOVA : A Tool for Modeling , Measuring and Validating UML Class Diagrams
The MOVA tool is a rewriting-based UML [8] modeling, measuring, and validation tool developed as part of a broader effort for integrating rigorous modeling and validation into the software
Practical Declarative Model Transformation with Tefkat
The language adopts a declarative paradigm, wherein users may concern themselves solely with the relations between the models rather than needing to deal explicitly with issues such as order of rule execution and pattern searching/traversal of input models.