Filters








158 Hits in 4.5 sec

Bidirectional model transformations in QVT: semantic issues and open questions

Perdita Stevens
2008 Journal of Software and Systems Modeling  
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]

Perdita Stevens
Lecture Notes in Computer Science  
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]

Perdita Stevens
2008 Lecture Notes in Computer Science  
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

Hafiz Gulfam Ahmad, Ghazi University, Dera Ghazi Khan, Pakistan, Iqra Tahir, Naveed Naeem Abbas, National University of Science & Technology, Islamabad, Pakistan, The Islamia University of Bahawalpur, Bahawalpur, Pakistan
2021 Azerbaijan Journal of High Performance Computing  
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

Perdita Stevens
2019 Journal of Software and Systems Modeling  
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

Perdita Stevens
2011 Journal of Software and Systems Modeling  
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]

Perdita Stevens
2009 Lecture Notes in Computer Science  
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

Manuel Wimmer, Gerti Kappel, Johannes Schoenboeck, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger
2009 2009 IEEE/ACM International Conference on Automated Software Engineering  
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

Nuno Macedo, Alcino Cunha
2014 Journal of Software and Systems Modeling  
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]

Julian Bradfield, Perdita Stevens
2012 Lecture Notes in Computer Science  
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

Gregor Engels
2009 Journal of Software and Systems Modeling  
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]

Richard F. Paige
2018 Lecture Notes in Computer Science  
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

Miguel Garcia
2008 Workshop on Domain-Specific Modeling Languages  
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]

Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio
2012 Lecture Notes in Computer Science  
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
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