ODM-based UML Model Transformations using Prolog ?
@inproceedings{AlmendrosJimnez2011ODMbasedUM, title={ODM-based UML Model Transformations using Prolog ?}, author={Jes{\'u}s Manuel Almendros-Jim{\'e}nez}, year={2011} }
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.
5 Citations
Teaching Model Driven Engineering from a Relational Database Perspective
- Computer ScienceMoDELS
- 2013
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
- Computer ScienceProceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)
- 2014
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
- Computer ScienceDoCEIS
- 2016
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.
Eighth International Workshop on Constraint Handling Rules Workshop Organization Program Chair Modeling Dependent Events with Chrism for Probabilistic Abduction . . 48 Boosting Chr through Hardware Acceleration Chr for Spoken and Other Biological Languages
- Computer Science
- 2011
A completely general framework that allows to synthesize reconfigurable hardware easily employable in a wide range of application, since a small modification to the high level code affects a huge portion of low level HDL code (resulting in a remarkable time saving for the programmer).
The Effect of Increased Reliance on Information Systems and Relational Databases in Airline Industries: A Case Study of British Airways
- Computer Science, Business
- 2017
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.
References
SHOWING 1-10 OF 43 REFERENCES
Formal and Tool Support for Model Driven Engineering with Maude
- Computer ScienceJ. Object Technol.
- 2007
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
- Computer ScienceIBM Syst. J.
- 2006
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
- Computer ScienceSoftware & 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
- Computer ScienceICGT
- 2002
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
- Computer ScienceSci. Comput. Program.
- 2007
State of the Art of QVT: A Model Transformation Language Standard
- Computer ScienceAGTIVE
- 2007
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
- Computer ScienceSAC '07
- 2007
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
- Computer Science
- 2007
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
- Computer ScienceMoDELS
- 2005
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.