A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Filters
Bidirectional model transformations in QVT: semantic issues and open questions
2008
Journal of Software and Systems Modeling
Preserved Fulltext
We consider the OMG's Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. ...
We discuss what is meant by bidirectional transformations, and the model-driven development scenarios in which they are needed. ...
Acknowledgements The author would like to thank Reiko Heckel, Conrad Hughes, Gabriele Taentzer and especially Benjamin Pierce for helpful discussions. ...
doi:10.1007/s10270-008-0109-9
fatcat:36nawwjnrnakjgf2aqwaiild6a
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions
[chapter]
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
We consider the OMG's Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. ...
We discuss what is meant by bidirectional transformations, and the model-driven development scenarios in which they are needed. ...
Acknowledgements The author would like to thank Reiko Heckel, Conrad Hughes, Gabriele Taentzer and especially Benjamin Pierce for helpful discussions. ...
doi:10.1007/978-3-540-75209-7_1
fatcat:blo4ou4q5zga5lue4k4ycuaxlu
A Landscape of Bidirectional Model Transformations
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Model transformations are a key element in the OMG's Model Driven Development agenda. ...
In this survey paper we discuss the various notions of bidirectional transformation, and their motivation from the needs of software engineering. ...
In the author's opinion, realisation of the full potential of bidirectional transformations depends on progress in these areas. ...
doi:10.1007/978-3-540-88643-3_10
fatcat:ovpcbg5s2jgnvdddfdwzbkjb5q
IMPLEMENTATION OF NOVEL APPROACHES IN BIDIRECTIONAL MODEL TRANSFORMATION: A SYSTEMATIC LITERATURE REVIEW
2021
Azerbaijan Journal of High Performance Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
researchers, have been able to produce many approaches in bidirectional model transformations (bx), but the cost and best fir for effective model transformation, in particular, a quantities survey will ...
The main objective of this SLR is to provide an insight into the different approaches and establish a well-balanced approach that can be used in bidirectional model transformation in software development ...
In this paper, a QVT-R bidirectional model transformation tool is proposed to solve the issues in bidirectional transformation. ...
doi:10.32010/26166127.2021.4.1.91.112
fatcat:2mflbvhmffd7jeb4cs2vafwqpy
Maintaining consistency in networks of models: bidirectional transformations in the large
2019
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Discussions at Dagstuhl no. 18491 on Multidirectional Transformations and Synchronisations were also very helpful. ...
, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. ...
so, and in doing so, gave an elementary notion of the parts of a model that a bidirectional transformation reads and modifies. ...
doi:10.1007/s10270-019-00736-x
fatcat:6tixigesura7vo6zogso7ka6cm
A simple game-theoretic approach to checkonly QVT Relations
2011
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
language allows the definition of bidirectional model transformations, which are required in cases where two (or more) models must be kept consistent in the face of changes to either or both. ...
In order to give semantics to checkonly QVT-R transformations, we need to consider the overall structure of the transformation as given by when and where clauses, and the role of trace classes. ...
Acknowledgements I would like to thank the referees, and the developers of the QVT-R tools mentioned for answering my various enquiries. ...
doi:10.1007/s10270-011-0198-8
fatcat:7cl4zvqehvh7nhb4yjhw4gtjqa
A Simple Game-Theoretic Approach to Checkonly QVT Relations
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Abstract The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where two (or more) models must be kept consistent in ...
In order to give semantics to checkonly QVT-R transformations, we need to consider the overall structure of the transformation as given by when and where clauses, and the role of trace classes. ...
Acknowledgements I would like to thank the referees, and the developers of the QVT-R tools mentioned for answering my various enquiries. ...
doi:10.1007/978-3-642-02408-5_12
fatcat:owgsadpeqrg6tbfefntbindvey
A Petri Net Based Debugging Environment for QVT Relations
2009
2009 IEEE/ACM International Conference on Automated Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Transformation engines interpreting QVT Relations operate on a low level of abstraction, hide the operational semantics of a transformation and scatter metamodels, models, QVT code, and trace information ...
In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. ...
The semantics of check and enforce, especially in combination with bidirectional model transformations is not clearly defined as stated in [15] . ...
doi:10.1109/ase.2009.99
dblp:conf/kbse/WimmerKSKRS09
fatcat:7mgrr75m55g5lmjhzpgwfo4oza
Least-change bidirectional model transformation with QVT-R and ATL
2014
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations. ...
Recently, the checking semantics of QVT-R has been clarified and formalized. In this article we propose a QVT-R tool that complies to such semantics. ...
In this article, we propose a QVT-R bidirectional model transformation tool that addresses all these issues. ...
doi:10.1007/s10270-014-0437-x
fatcat:jefhxbv3g5f63nqbm2vzin6goi
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In earlier work we gave a game-based semantics for checkonly QVT-R transformations. ...
In this paper we show how to interpret checkonly QVT-R -or any future model transformation language structured similarly -in the modal mu calculus and use its well-understood model-checking game to lift ...
The first author is partly supported by UK EPSRC grant EP/G012962/1 'Solving Parity Games and Mu-Calculi'. ...
doi:10.1007/978-3-642-28872-2_14
fatcat:xt7ud4mzd5bnfcgdvn6kih5lra
Guest Editorial to the Special Section on MODELS 2007
2009
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
and related topics such as software modeling and model transformation. ...
The papers presented at the conference covered a wide range of issues from model transformation, meta modeling, model and consistency analysis, service and process modeling, language definition, as well ...
"Bidirectional model transformations in QVT: semantic issues and open questions" by Perdita Stevens discusses OMG's Queries, Views and Transformations (QVT) standard as applied to the specification of ...
doi:10.1007/s10270-009-0140-5
fatcat:vmyl3ej5fvbkrjyekhnryoo4wq
Engineering Bidirectional Transformations
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Bidirectional transformations, like software, need to be carefully engineered in order to provide guarantees about their correctness, completeness, acceptability and usability. ...
This paper summarises a collection of lectures pertaining to engineering bidirectional transformations using Model-Driven Engineering techniques and technologies. ...
The author also acknowledges the support of Innovate UK and the Aerospace Technology via the SECT-AIR grant, and the EPSRC, for their support for the Summer School in Bidirectional Transformations. ...
doi:10.1007/978-3-319-79108-1_5
fatcat:ic5ahadjljbunf4rvqdv3t7n6a
Bidirectional Synchronization of Multiple Views of Software Models
2008
Workshop on Domain-Specific Modeling Languages
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
A significant benefit of the approach is the resulting comprehensive solution to a recurrent problem in the software modeling field. ...
Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiview design environments ...
model transformations (QVT-Relations and graphgrammar based). ...
dblp:conf/dsml/Garcia08
fatcat:27twbbezujbilkbpih4ly7347y
Model Transformations
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Moreover, two specific application scenarios are proposed to highlight bidirectionality and higher-order transformations in the change propagation and coupled evolution domains, respectively. ...
This paper introduces a classification of model transformation approaches and languages, illustrating the characteristics of the most prominent ones. ...
bidirectional transformations, and its ASPbased semantics. ...
doi:10.1007/978-3-642-30982-3_4
fatcat:nzfocu6ypbgnpbdwxanqdauxwe
Modeling ODP Correspondences using QVT
english
2006
Proceedings of the 2nd International Workshop on Model-Driven Enterprise Information Systems
unpublished
english
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We initially show that QVT can be expressive enough to represent them, and discuss some of the issues that we have found when modeling ODP correspondences with QVT relations. ...
These viewpoints should be related, and these relationships made explicit in order to count with a set of complete and consistent specifications. ...
Acknowledgements The authors would like to thank the anonymous referees for their constructive comments and suggestions, that greatly helped us improve the contents and readability of the paper. ...
doi:10.5220/0002486000150026
fatcat:erkleqhegfauxghj6knhmfsb4q
« Previous
Showing results 1 — 15 out of 158 results