Tag #qvt
38 papers:
ESEC-FSE-2018-HebigSBPW #atl #empirical #model transformation #transformation language- Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT (RH, CS, TB, JKP, AW), pp. 445–455.
BX-2017-SeifermannH #comparison #modelling #syntax- Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models (SS, JH), pp. 6–14.
ICMT-2017-Willink #eclipse #execution- The Micromapping Model of Computation; The Foundation for Optimized Execution of Eclipse QVTc/QVTr/UMLX (EDW), pp. 51–65.
SAC-2015-KimL #diagrams #sequence chart #using- Pattern-based transformation of sequence diagrams using QVT (DKK, BL), pp. 1492–1497.
ECMFA-2014-SchwichtenbergGHE #modelling #normalisation- Normalizing Heterogeneous Service Description Models with Generated QVT Transformations (SS, CG, ZH, GE), pp. 180–195.
AMT-2013-CalegariD #testing- Rule Chains Coverage for Testing QVT-Relations Transformations (DC, AD), pp. 32–41.
- ICMT-2013-WillinkHK
- Yet Another Three QVT Languages (EDW, HH, DSK), pp. 58–59.
FASE-2013-BradfieldS #calculus #game studies #μ-calculus- Enforcing QVT-R with μ-Calculus and Games (JCB, PS), pp. 282–296.
- FASE-2013-MacedoC #alloy #bidirectional #implementation #model transformation #using
- Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.
- FASE-2012-BradfieldS #calculus #recursion #μ-calculus
- Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal μ Calculus (JCB, PS), pp. 194–208.
- ECMFA-2011-ElaasarBL #verification
- Domain-Specific Model Verification with QVT (ME, LCB, YL), pp. 282–298.
- ICMT-2011-AmstelBKP #atl #model transformation #performance
- Performance in Model Transformations: Experiments with ATL and QVT (MvA, SB, IK, LFP), pp. 198–212.
MoDELS-2011-SongHCZSSM #incremental #modelling #runtime- Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.
- MoDELS-2011-StenzelMR #code generation #verification
- Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.
SEKE-2010-VilaMF #adaptation #analysis #strict #using- Using QVT for adapting question analysis to restricted domain QA systems (KV, JNM, AF), pp. 335–338.
- ICMT-2010-Perez-CastilloGP #implementation #process
- Implementing Business Process Recovery Patterns through QVT Transformations (RPC, IGRdG, MP), pp. 168–183.
- ECMDA-FA-2009-KublerG #approach #mining #using
- A Pattern Mining Approach Using QVT (JK, TG), pp. 50–65.
- ICMT-2009-Stevens #approach #game studies
- A Simple Game-Theoretic Approach to Checkonly QVT Relations (PS), pp. 165–180.
- MoDELS-2009-LaraG #petri net
- Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
- MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #using
- Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.
- MoDELS-2009-LaraG #petri net
- Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
- MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #using
- Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.
ASE-2009-WimmerKSKRS #debugging #petri net- A Petri Net Based Debugging Environment for QVT Relations (MW, GK, JS, AK, WR, WS), pp. 3–14.
GT-VMT-2006-RensinkN08 #graph transformation #semantics- Graph Transformation Semantics for a QVT Language (AR, RN), pp. 51–62.
ICEIS-DISI-2008-MoraGRPBGCR #metric #using- Software Measurement by Using QVT Transformations in an MDA Context (BM, FG, FR, MP, AB, AG, JÁC, IR), pp. 117–124.
- ICEIS-ISAS2-2008-AnwarENCK #approach #composition
- A QVT-Based Approach for Model Composition — Application to the VUML Profile (AA, SE, MN, BC, AK), pp. 360–367.
- ICMT-2008-RomeikatRMB
- Translation of QVT Relations into QVT Operational Mappings (RR, SR, PM, BB), pp. 137–151.
AGTIVE-2007-Kurtev #model transformation #standard #state of the art #transformation language- State of the Art of QVT: A Model Transformation Language Standard (IK), pp. 377–393.
- MoDELS-2007-GreenyerK #graph grammar
- Reconciling TGGs with QVT (JG, EK), pp. 16–30.
- MoDELS-2007-Stevens #bidirectional #model transformation #semantics
- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
- MoDELS-2007-GreenyerK #graph grammar
- Reconciling TGGs with QVT (JG, EK), pp. 16–30.
- MoDELS-2007-Stevens #bidirectional #model transformation #semantics
- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
- SAC-2007-ErcheWH #modelling #visual notation
- Mapping visual notations to MOF compliant models with QVT relations (ME, MW, CH), pp. 1037–1038.
- MoDELS-2006-HafnerAB #architecture #modelling #security #towards
- Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.
- MoDELS-2006-MarkovicB #ocl #semantics
- An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.
- MoDELS-2006-HafnerAB #architecture #modelling #security #towards
- Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.
- MoDELS-2006-MarkovicB #ocl #semantics
- An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.
- SAC-2006-JouaultK #architecture #atl #on the
- On the architectural alignment of ATL and QVT (FJ, IK), pp. 1188–1195.
