Results 151 to 160 of about 3,412 (182)
Some of the next articles are maybe not open access.
Design pattern evolutions in QVT
Software Quality Journal, 2010One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads to adaptable software since the design pattern instances could be changed with minimal impact on other parts of the system.
Jing Dong 0005, Yajing Zhao, Yongtao Sun
openaire +2 more sources
Formal Verification of QVT Transformations for Code Generation
Software & Systems Modeling, 2011We present a formal calculus for operational QVT. The calculus is implemented in the interactive theorem prover KIV and allows to prove properties of QVT transformations for arbitrary meta models. Additionally, we present a framework for provably correct Java code generation. The framework uses a meta model for a Java abstract syntax tree as the target
Kurt Stenzel +2 more
openaire +1 more source
Yet Another Three QVT Languages
2013The early enthusiasm, in 2002, for model to model transformation languages led to eight submissions for an OMG standard[1] comprising three languages, yet no commercial products. The QVT Core language was intended as the foundation for QVT Relations but the available implementations have ignored the core language. Rather than ignoring the core language,
Edward D. Willink +2 more
openaire +2 more sources
Domain-Specific Model Verification with QVT
2011Model verification is the process of checking models for known problems (or anti-patterns). We propose a new approach to declaratively specify and automatically detect problems in domain-specific models using QVT (Query/View/Transformation). Problems are specified with QVT-Relations transformations from models where elements involved in problems are ...
Maged Elaasar +2 more
openaire +1 more source
A Pattern Mining Approach Using QVT
2009Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. Models are used in various contexts, where the possibility to perform different kinds of analyses based on the modelled applications is one of these potentials.
Jens Kübler, Thomas Goldschmidt
openaire +2 more sources
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, 2006
In the context of Model Driven Engineering (MDE), models are the main development artifacts and model transformations are among the most important operations applied to models. A number of specialized languages have been proposed in order to specify model transformations. The OMG has, for instance, adopted the QVT specification. Apart from the software
Frédéric Jouault +4 more
openaire +3 more sources
In the context of Model Driven Engineering (MDE), models are the main development artifacts and model transformations are among the most important operations applied to models. A number of specialized languages have been proposed in order to specify model transformations. The OMG has, for instance, adopted the QVT specification. Apart from the software
Frédéric Jouault +4 more
openaire +3 more sources
Pattern-Based Model Transformation Using QVT
2012 19th Asia-Pacific Software Engineering Conference, 2012A design pattern addresses a recurring design problem by providing a proven solution for reuse in software development. However, due to the informal nature of prevailing pattern descriptions, it is difficult to reuse design patterns in practice. There has been much work on tool support for pattern reuse.
Sunuk Park, Dae-Kyoo Kim, Sooyong Park
openaire +2 more sources
Shortcomings of the Embedding of OCL into QVT ImperativeOCL
2009MOF QVT introduces ImperativeOCL as an imperative language for operational descriptions of model transformations (QVT operational mappings). ImperativeOCL extends conventional OCL by expressions with side-effects. A couple of semantical problems arise from the way OCL is embedded into ImperativeOCL --- imperative expressions are modelled as a subtype ...
Fabian Büttner, Mirco Kuhlmann
openaire +2 more sources
Performance in Model Transformations: Experiments with ATL and QVT
2011Model transformations are increasingly being incorporated in software development processes. However, as systems being developed with transformations grow in size and complexity, the performance of the transformations tends to degrade. In this paper we investigate the factors that have an impact on the execution performance of model transformations. We
Marcel van Amstel +3 more
openaire +2 more sources
Institution-Based Semantics for MOF and QVT-Relations
2013To cope with formal verification issues within the Model-Driven Engineering (MDE) paradigm, a separation of duties between software developers is usually proposed: MDE experts define models and transformations, while formal verification experts conduct the verification process.
Daniel Calegari, Nora Szasz
openaire +2 more sources