Results 1 - 10 of 216

Feature-based survey of model transformation approaches

by K. Czarnecki, S. Helsen , 2006
"... Model transformations are touted to play a key role in Model Driven Developmente. Although well-established standards for creating metamodels such as the Meta-Object Facility exist, there is currently no mature foundation for specifying transformations among models. We propose a framework for the cl ..."
Abstract - Cited by 196 (4 self) - Add to MetaCart
Model transformations are touted to play a key role in Model Driven Developmente. Although well-established standards for creating metamodels such as the Meta-Object Facility exist, there is currently no mature foundation for specifying transformations among models. We propose a framework for the classification of several existing and proposed model transformation approaches. The classification framework is given as a feature model that makes explicit the different design choices for model transformations. Based on our analysis of model transformation approaches, we propose a few major categories in which most approaches fit.

A taxonomy of model transformation

by Tom Mens, Krzysztof Czarnecki, Pieter Van Gorp - Proc. Dagstuhl Seminar on "Language Engineering for Model-Driven Software Development". Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl , 2005
"... This report summarises the results of the discussions of a working group on model transformation of the Dagstuhl Seminar on Language Engineering for Model-Driven Software Development. The main contribution is a taxonomy of model transformation. This taxonomy can be used to help developers in decidin ..."
Abstract - Cited by 181 (2 self) - Add to MetaCart
This report summarises the results of the discussions of a working group on model transformation of the Dagstuhl Seminar on Language Engineering for Model-Driven Software Development. The main contribution is a taxonomy of model transformation. This taxonomy can be used to help developers in deciding which model transformation approach is best suited to deal with a particular problem.

Refactoring OCL Annotated UML Class Diagrams

by Thomas Baar - In MoDELS’05, volume 3713 of LNCS , 2005
"... Abstract. Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current class diagram refactoring techniques concentrate on the diagrammatic part but neglect OCL constraints that might ..."
Abstract - Cited by 35 (6 self) - Add to MetaCart
Abstract. Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current class diagram refactoring techniques concentrate on the diagrammatic part but neglect OCL constraints that might become syntactically incorrect by changing the underlying class diagram. This paper formalizes the most important refactoring rules for class diagrams and classifies them with respect to their impact on annotated OCL constraints. For refactoring rules, whose application on class diagrams could make attached OCL constraints incorrect, we formally describe how the OCL constraints have to be refactored to preserve their syntactical correctness. Our refactoring rules are defined in the graph-grammar based formalism proposed by the QVT Merge Group for the specification of model transformations. 1
(Show Context)

An algebraic semantics for mof

by Artur Boronat, Jose ́ Meseguer - Formal Asp. Comput , 2010
"... Abstract. Model-driven development is a field within software engi-neering in which software artifacts are represented as models in order to improve productivity, quality, and cost effectiveness. In this field, the Meta-Object Facility (MOF) standard plays a crucial role by provid-ing a generic fram ..."
Abstract - Cited by 31 (4 self) - Add to MetaCart
Abstract. Model-driven development is a field within software engi-neering in which software artifacts are represented as models in order to improve productivity, quality, and cost effectiveness. In this field, the Meta-Object Facility (MOF) standard plays a crucial role by provid-ing a generic framework where the abstract syntax of different modeling languages can be defined. In this work, we present a formal, algebraic semantics of the MOF standard in membership equational logic (mel). By using the Maude language, which directly supports mel specifica-tions, this formal semantics is furthermore executable, and can be used to perform useful formal analyses. The executable algebraic framework for MOF obtained this way has been integrated within the Eclipse Modeling Framework as a plugin. In this way, formal analyses, such as semantic consistency checks, become available within Eclipse to provide formal support for model-driven development processes. Key words: MOF, model-driven development, membership equational logic, metamodeling semantics, reflection. 1
(Show Context)

An approach for the systematic development of domain-specific languages

by Mark Strembeck, Uwe Zdun - Software: Practice and Experience , 2009
"... Building tailored software systems for a particular application domain is a complex task. For this reason, domain-specific languages (DSLs) receive a constantly growing attention in recent years. So far the main focus of DSL research is on case studies and experience reports for the development of i ..."
Abstract - Cited by 26 (12 self) - Add to MetaCart
Building tailored software systems for a particular application domain is a complex task. For this reason, domain-specific languages (DSLs) receive a constantly growing attention in recent years. So far the main focus of DSL research is on case studies and experience reports for the development of individual DSLs, design ap-proaches and implementation techniques for DSLs, and the integration of DSLs with other software development approaches on a technical level. In this paper, we identify and describe the different activities that we conduct when engineering a DSL, and describe how these activities can be combined in order to define a tailored DSL engineering process. Our research results are based on the experiences we gained from multiple different DSL development projects and prototyping experiments. 1
(Show Context)

Taming Model Round-Trip Engineering

by Shane Sendall, Jochen Küster - In Proceedings of Workshop ’Best Practices for Model-Driven Software Development , 2004
"... Abstract: Round-trip engineering is a challenging task that will become an important enabler for many Model-Driven Software Development approaches. Model round-trip engineering involves synchronizing models and keeping them consistent, thus enabling the software engineer to freely move between diffe ..."
Abstract - Cited by 24 (0 self) - Add to MetaCart
Abstract: Round-trip engineering is a challenging task that will become an important enabler for many Model-Driven Software Development approaches. Model round-trip engineering involves synchronizing models and keeping them consistent, thus enabling the software engineer to freely move between different representations. This vision of complete round-trip engineering is only realized to a limited degree in tools nowadays, and it proves to be a very difficult problem to solve in general. In this paper, our goal is to clarify some of the issues in automating round-trip engineering and point out some of the highlevel qualities that are desirable for round-trip engineering approaches to possess. Clarifying this domain is an important first step towards being able to systematically automate round-trip engineering of models. 1.

RubyTL: A Practical, Extensible Transformation Language

by Jesús Sánchez Cuadrado, Jesús García Molina, Marcos Menarguez - in 2nd European Conference on Preliminary Version Preliminary Version Model Driven Architecture , 2006
"... Abstract. Model transformation is a key technology of model driven development approaches. A lot of research therefore is being carried out to understand the nature of model transformations and find out desirable characteristics of transformation languages. In recent years, several transformation la ..."
Abstract - Cited by 20 (3 self) - Add to MetaCart
Abstract. Model transformation is a key technology of model driven development approaches. A lot of research therefore is being carried out to understand the nature of model transformations and find out desirable characteristics of transformation languages. In recent years, several transformation languages have been proposed. We present the RubyTL transformation language which has been designed as an extensible language–a set of core features along with an extension mechanism. RubyTL provides a framework for experimenting with features of hybrid transformation languages. In addition, RubyTL has been created as a domain specific language embedded in the Ruby programming language. In this paper we show the core features of the language through a simple example and explain how the language can be extended to provide more features. 1
(Show Context)

Update Transformations in the Small with the Epsilon Wizard Language

by Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack, Louis M. Rose - Journal of Object Technology (JOT), Special Issue for TOOLS Europe , 2007
"... We present the Epsilon Wizard Language (EWL), a tool-supported language for specifying and executing automated update transformations in the small based on existing model elements and input from the user. We discuss on EWL’s requirements and relevant design decisions, as well as the infrastructure u ..."
Abstract - Cited by 18 (2 self) - Add to MetaCart
We present the Epsilon Wizard Language (EWL), a tool-supported language for specifying and executing automated update transformations in the small based on existing model elements and input from the user. We discuss on EWL’s requirements and relevant design decisions, as well as the infrastructure upon which the language has been developed. We also provide concrete working examples to demonstrate how EWL can be used to automate the process of constructing and refactoring models. 1
(Show Context)

Optimizing Requirements Decisions With KEYS

by Omid Jalali, Tim Menzies, Martin Feather , 2008
"... ... for external access to five of JPL’s real-world requirements models, anonymized to conceal proprietary information, but retaining their computational nature. Experimentation with these models, reported herein, demonstrates a dramatic speedup in the computations performed on them. These models ha ..."
Abstract - Cited by 17 (8 self) - Add to MetaCart
... for external access to five of JPL’s real-world requirements models, anonymized to conceal proprietary information, but retaining their computational nature. Experimentation with these models, reported herein, demonstrates a dramatic speedup in the computations performed on them. These models have a well defined goal: select mitigations that retire risks which, in turn, increases the number of attainable requirements. Such a non-linear optimization is a well-studied problem. However identification of not only (a) the optimal solution(s) but also (b) the key factors leading to them is less well studied. Our technique, called KEYS, shows a rapid way of simultaneously identifying the solutions and their key factors. KEYS improves on prior work by several orders of magnitude. Prior experiments with simulated annealing or treatment learning took tens of minutes to hours to terminate. KEYS runs much faster than that; e.g for one model, KEYS ran 13,000 times faster than treatment learning (40 minutes versus 0.18 seconds). Processing these JPL models is a non-linear optimization problem: the fewest mitigations must be selected while achieving the most requirements. Non-linear optimization is a well studied problem. With this paper, we challenge other members of the PROMISE community to improve on our results with other techniques.

Building Domain-Specific Languages for Model-Driven Development

by Jesús Sánchez Cuadrado, Jesús García Molina - IEEE SOFTWARE , 2009
"... The emergence of the model-driven development paradigm has revitalized interest in domain-specific languages. Embedding a DSL in a dynamic language facilitates rapid development. This article illustrates dynamic-language features and techniques that the authors found useful while developing embedded ..."
Abstract - Cited by 16 (2 self) - Add to MetaCart
The emergence of the model-driven development paradigm has revitalized interest in domain-specific languages. Embedding a DSL in a dynamic language facilitates rapid development. This article illustrates dynamic-language features and techniques that the authors found useful while developing embedded DSLs in Ruby for a model-driven development tool. For this domain, it's possible to achieve a runtime performance comparable to existing tools while shortening development time. This article is part of a special issue on dynamically typed languages.