Results 281 to 290 of about 1,058,068 (314)

Adaptability of model transformations

2023
Model Driven Engineering (MDE) is an emerging approach for software development. This thesis focuses on one of the main research topics in MDE: transforming models. This topic may be studied from process and artifact perspectives. The artifact perspective involves transformation definitions and models.
openaire   +2 more sources

Model transformation by demonstration

Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, 2009
A common approach toward model transformation is to write transformation rules in specialized languages. However, their usage may present challenges to those who are unfamiliar with a specific model transformation language or a particular metamodel definition.
Yu Sun 0002, Jules White, Jeff Gray 0001
openaire   +2 more sources

Modeling Language Transformations

L'objet, 2003
The advent of model driven software engineering necessitates that there are frameworks and techniques that enable the translation of software expressed in one language to another language. Although the ability to do this is not new, compilers have long been addressing this need for programming languages; existing techniques are bespoke for the source ...
Tony Clark 0001, Andy Evans, Girish Maskeri Rama, Paul Sammut, James S. Willans   +4 more
openaire   +1 more source

Models and Transformations in MDA

2009 First International Conference on Computational Intelligence, Communication Systems and Networks, 2009
Model Driven Architecture (MDA) is a software design approach initiated by OMG. Models, Modeling, and Model Driven Architecture are the basis for a set of software development approaches known as model-driven development (MDD). Models are the central artifacts in MDA, which aim at transformation from platform independent to platform dependent models ...
Yashwant Singh, Manu Sood
openaire   +1 more source

Generative model transformer

Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03, 2003
The Generative Model Transformer (GMT) project is an Open Source initiative to build a Model Driven Architecure™ tool that allows fully customisable Platform Independent Models, Platform Description Models, Texture Mappings, and Refinement Transformations.
Jorn Bettin, Ghica van Emde Boas
openaire   +1 more source

Model Transformation by Example

2006
In advanced XML transformer tools, XSLT rules are generated automatically after relating simple source and target XML documents. In this paper, we generalize this approach for the design of model transformations: transformation rules are derived semi-automatically from an initial prototypical set of interrelated source and target models.
openaire   +1 more source

Proving Model Transformations

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010
Within the MDA context, model transformations (MT) play an important role as they ensure consistency and significant time savings. Several MT frameworks have been deployed and successfully used in practice. Like for any software, the development of MT programs is error prone.
Hung Ledang, Hubert Dubois
openaire   +1 more source

The Transformation of the Nordic Models

Cooperation and Conflict, 1987
With reference to an extensive comparative study of the Nordic economic political models, this article discusses some perspectives for the 1990s. Five economic political models developed as the Nordic area was integrated into the postwar world economy.
Jan Otto Andersson, Lars Mjøsset
openaire   +1 more source

On Model Transformation Reuse

2009 33rd Annual IEEE International Computer Software and Applications Conference, 2009
Model transformation is the key technique of MDA and MDD. However, developing a model transformation is a difficult work. Because that model transformation is a special kind of software, the ideas of software reuse can be applied to transformation development to lower the cost and to avoid duplicated works. But there are some barriers to transformation
Xiao He 0005, Zhiyi Ma, Yan Zhang, Weizhong Shao   +3 more
openaire   +1 more source

Proofs-as-Model-Transformations

2008
This paper provides an overview of how to develop model transformations that are "provably correct" with respect to a given functional specification. The approach is based in a mathematical formalism called Constructive Type Theory (CTT) and a related synthesis formal method known as proofs-as-programs.
openaire   +1 more source