Filters








5 Hits in 3.3 sec

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 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  ...  We restricted when and where clauses to be conjunctions of relation invocations only, and like the OMG standard, we did not consider cases in which a relation might (directly or indirectly) invoke itself  ...  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

Enforcing QVT-R with mu-Calculus and Games [chapter]

Julian Bradfield, Perdita Stevens
2013 Lecture Notes in Computer Science  
In previous work, we gave a precise game-theoretic semantics for the checkonly semantics of QVT-R transformations, including the recursive invocation of relations which is allowed and used, but not defined  ...  QVT-R is the standard Object Management Group bidirectional transformation language.  ...  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-37057-1_21 fatcat:wgnqawchfrgf5clxllmraf6mty

Implementing QVT-R Bidirectional Model Transformations Using Alloy [chapter]

Nuno Macedo, Alcino Cunha
2013 Lecture Notes in Computer Science  
QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations.  ...  The implementation is based on an embedding of both QVT-R transformations and UML class diagrams (annotated with OCL) in Alloy, a lightweight formal specification language with support for automatic model  ...  The authors would also like to thank the anonymous reviewers for the valuable comments and suggestions.  ... 
doi:10.1007/978-3-642-37057-1_22 fatcat:5kz36orjzrhbblowr4ntcatmem

Implementing QVT-R via semantic interpretation in UML-RSDS

K. Lano, S. Kolahdouz-Rahimi
2020 Journal of Software and Systems Modeling  
In this paper, we define a translation from QVT-R into UML-RSDS, which provides a logically oriented semantics for QVT-R, aligned with the RelToCore mapping semantics in the QVT standard.  ...  The QVT-Relations (QVT-R) model transformation language is an OMG standard notation for model transformation specification.  ...  via when and where clauses.  ... 
doi:10.1007/s10270-020-00824-3 fatcat:74dso64xzve25piguwltiqadgm

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.  ...  The implementation is based on an embedding of both QVT-R transformations and UML class diagrams (annotated with OCL) in Alloy, a lightweight formal specification language with support for automatic model  ...  Recently, a formal semantics of QVT-R was proposed [4] that is well-defined even in presence of infinite recursion, by resorting to modal mu calculus.  ... 
doi:10.1007/s10270-014-0437-x fatcat:jefhxbv3g5f63nqbm2vzin6goi