BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
model transformation
Google model transformation

Tag #model transformation

389 papers:

BXBX-2019-WeidmannAFVSL #bidirectional #emoflon #incremental
Incremental Bidirectional Model Transformation with eMoflon: : IBeX (NW, AA, LF, GV, AS, EL), pp. 45–55.
MoDELSMoDELS-2019-BurguenoCG #architecture #network
An LSTM-Based Neural Network Architecture for Model Transformations (LB, JC, SG), pp. 294–299.
ESEC-FSEESEC-FSE-2019-Greiner #on the #product line #reuse
On extending single-variant model transformations for reuse in software product line engineering (SG), pp. 1160–1163.
FASEFASE-2019-Boronat #dependence #injection
Offline Delta-Driven Model Transformation with Dependency Injection (AB), pp. 134–150.
ICSAICSA-2018-CortellessaET #architecture #bidirectional #co-evolution #modelling #petri net #uml
Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models (VC, RE, MT0), pp. 125–134.
ICMTICMT-2018-BruelCGJKLMSV #classification #comparison #metamodelling #reuse
Model Transformation Reuse Across Metamodels — A Classification and Comparison of Approaches (JMB, BC, EG, JMJ, JK, JdL, GM, ES, HV), pp. 92–109.
ICMTICMT-2018-DanielSC #query #scalability
Scalable Queries and Model Transformations with the Mogwaï Tool (GD, GS, JC), pp. 175–183.
ICMTICMT-2018-LanoRSA #specification #technical debt
Technical Debt in Model Transformation Specifications (KL, SKR, MS, HA), pp. 127–141.
ICMTICMT-2018-TisiC #coq #domain-specific language #named
CoqTL: An Internal DSL for Model Transformation in Coq (MT, ZC), pp. 142–156.
ICMTICMT-2018-TomaszekLWS #network
Virtual Network Embedding: Reducing the Search Space by Model Transformation Techniques (ST, EL, LW, AS), pp. 59–75.
MoDELSMoDELS-2018-Boronat #domain-specific language #performance
Expressive and Efficient Model Transformation with an Internal DSL of Xtend (AB), pp. 78–88.
MoDELSMoDELS-2018-BurguenoBMV #modelling
Expressing Confidence in Models and in Model Transformation Elements (LB, MFB, NM, AV), pp. 57–66.
MoDELSMoDELS-2018-DiskinMWWL #assurance #refinement
Assurance via model transformations and their hierarchical refinement (ZD, TM, AW, SWW, ML), pp. 426–436.
MoDELSMoDELS-2018-LaraGCS #product line
Model Transformation Product Lines (JdL, EG, MC, RS), pp. 67–77.
MoDELSMoDELS-2018-SelwayGSOD #contract #development #integration #visual notation
Integration of Visual Contracts and Model Transformation for Enhanced MDE Development (MS, GG, MS, KRO, RMD), pp. 415–425.
MoDELSMoDELS-2018-WestfechtelG #multi #variability
From Single- to Multi-Variant Model Transformations: Trace-Based Propagation of Variability Annotations (BW, SG), pp. 46–56.
ESEC-FSEESEC-FSE-2018-HebigSBPW #atl #empirical #qvt #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.
ESEC-FSEESEC-FSE-2018-HeH #bidirectional
Putback-based bidirectional model transformations (XH, ZH), pp. 434–444.
ECMFAECMFA-2017-RuscioEIPS #approach #migration #variability
A Feature-Based Approach for Variability Exploration and Resolution in Model Transformation Migration (DDR, JE, LI, AP, WS), pp. 71–89.
ICMTICMT-2017-Boronat #atl #semantics
Experimentation with a Big-Step Semantics for ATL Model Transformations (AB), pp. 3–18.
ICMTICMT-2017-KehrerAH #automation #rule-based #specification
Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations (TK, AMA, RH), pp. 92–107.
ICMTICMT-2017-KehrerP0 #development #difference #maintenance #towards #version control
Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations (TK, CP, DS), pp. 86–91.
ICMTICMT-2017-LanoRTS #design pattern #overview
A Survey of Model Transformation Design Pattern Usage (KL, SKR, SYT, MS), pp. 108–118.
MoDELSMoDELS-2017-CuadradoGLCC #constraints
Translating Target to Source Constraints in Model-to-Model Transformations (JSC, EG, JdL, RC, JC), pp. 12–22.
MoDELSMoDELS-2017-HidakaJT #on the #transformation language
On Additivity in Transformation Languages (SH, FJ, MT), pp. 23–33.
ASEASE-2017-DanielJSC #framework #named #scalability
Gremlin-ATL: a scalable model transformation framework (GD, FJ, GS, JC), pp. 462–472.
FASEFASE-2017-ChengT #approach #atl #deduction #fault #locality
A Deductive Approach for Fault Localization in ATL Model Transformations (ZC, MT), pp. 300–317.
FASEFASE-2017-DiskinGC #traceability
Traceability Mappings as a Fundamental Instrument in Model Transformations (ZD, AG, JC), pp. 247–263.
FASEFASE-2017-LaraRRGIPC #modelling #requirements #reuse #type system
Reusing Model Transformations Through Typing Requirements Models (JdL, JDR, DDR, EG, LI, AP, JSC), pp. 264–282.
ICSTICST-2017-ChengT #deduction #incremental #relational #verification
Incremental Deductive Verification for Relational Model Transformations (ZC, MT), pp. 379–389.
IFM-2016-ChechikFS0 #reuse
Perspectives of Model Transformation Reuse (MC, MF, RS, DS0), pp. 28–44.
BXBX-2016-DiskinEPC #bidirectional #formal method #nondeterminism
Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization (ZD, RE, AP, KC), pp. 15–31.
BXBX-2016-KramerR #automation #bidirectional
Automated Inversion of Attribute Mappings in Bidirectional Model Transformations (MEK, KR), pp. 61–76.
ICMTICMT-2016-FleckTW #search-based
Search-Based Model Transformations with MOMoT (MF, JT, MW), pp. 79–87.
ICMTICMT-2016-HerreraWP #syntax #transformation language
A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax (ASBH, EDW, RFP), pp. 3–18.
ICMTICMT-2016-KlintS
Model Transformation with Immutable Data (PK, TvdS), pp. 19–35.
ICMTICMT-2016-PopoolaKR #generative #named #transformation language
EMG: A Domain-Specific Transformation Language for Synthetic Model Generation (SP, DSK, HHR), pp. 36–51.
ICMTICMT-2016-StrueberPA #clone detection #detection #graph #transformation language
Clone Detection for Graph-Based Model Transformation Languages (DS, JP, VA), pp. 191–206.
MoDELSMoDELS-2016-AcretoaieSS
Model transformation for end-user modelers with VMTL (VA, HS, DS), p. 305.
MoDELSMoDELS-2016-AlkhaziRKWG #approach #atl #automation #refactoring #search-based
Automated refactoring of ATL model transformations: a search-based approach (BA, TR, MK, MW, WIG), pp. 295–304.
SLESLE-2016-BenelallamTCLC #clustering #distributed #performance
Efficient model partitioning for distributed model transformations (AB, MT, JSC, JdL, JC), pp. 226–238.
FASEFASE-2016-0001RACTP #automation #named #variability
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules (DS0, JR, TA, MC, GT, JP), pp. 122–140.
SEKESEKE-2015-MagalhaesAM #approach #framework #independence #on the #platform #specification
On the Specification of Model Transformations through a Platform Independent Approach (APM, AMSA, RSPM), pp. 558–561.
SEKESEKE-2015-MagalhaesMA #case study #design #experience #metamodelling #towards
Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design (APM, RSPM, AMSA), pp. 625–630.
ECMFAECMFA-J-2012-SelimWCD15 #deployment #industrial #legacy #migration #modelling
Model transformations for migrating legacy deployment models in the automotive industry (GMKS, SW, JRC, JD), pp. 365–381.
ICMTICMT-J-2012-AtkinsonGT15 #modelling #multi #transformation language
Enhancing classic transformation languages to support multi-level modeling (CA, RG, CVT), pp. 645–666.
ICMTICMT-J-2012-GuerraS15 #testing
Specification-driven model transformation testing (EG, MS), pp. 623–644.
ICMTICMT-J-2012-KuselSWKRS15 #question #reuse #transformation language
Reuse in model-to-model transformation languages: are we there yet? (AK, JS, MW, GK, WR, WS), pp. 537–572.
AMTAMT-2015-DyckGLSG #automation #behaviour #towards #verification
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.
AMTAMT-2015-GholizadehDKM #analysis
Analysis of Source-to-Target Model Transformations in QueST (HG, ZD, SK, TSEM), pp. 46–55.
AMTAMT-2015-SelimCDLO #case study #debugging #experience #verification
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report (GMKS, JRC, JD, LL, BJO), pp. 26–35.
ECMFAECMFA-2015-SaxonBA #black box
Opening the Black-Box of Model Transformation (JTS, BB, DHA), pp. 171–186.
ICMTICMT-2015-AcretoaieSS #editing
Transparent Model Transformation: Turning Your Favourite Model Editor into a Transformation Tool (VA, HS, DS), pp. 121–130.
ICMTICMT-2015-BergmannDHHRUV #framework #platform
Viatra 3: A Reactive Model Transformation Platform (GB, ID, ÁH, ÁH, IR, ZU, DV), pp. 101–110.
ICMTICMT-2015-CriadoMIC #reuse #using
Enabling the Reuse of Stored Model Transformations Through Annotations (JC, SMP, LI, JC), pp. 43–58.
ICMTICMT-2015-CuadradoGL #component #reuse
Reusable Model Transformation Components with bentō (JSC, EG, JdL), pp. 59–65.
ICMTICMT-2015-GammaitoniK #alloy #named #transformation language
F-Alloy: An Alloy Based Model Transformation Language (LG, PK), pp. 166–180.
ICMTICMT-2015-Hinkel #co-evolution #transformation language
Change Propagation in an Internal Model Transformation Language (GH), pp. 3–17.
ICMTICMT-2015-JouaultBBCS #functional #ocl #towards
Towards Functional Model Transformations with OCL (FJ, OB, MB, MC, GS), pp. 111–120.
ICMTICMT-2015-RichaBP #algebra #atl #graph transformation
Translating ATL Model Transformations to Algebraic Graph Transformations (ER, EB, LP), pp. 183–198.
ICMTICMT-2015-TrollmannA #graph grammar #modelling #multi
Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models (FT, SA), pp. 214–229.
MoDELSMoDELS-2015-CuadradoGL #atl
Quick fixing ATL model transformations (JSC, EG, JdL), pp. 146–155.
MoDELSMoDELS-2015-GogollaVBH #testing
Employing classifying terms for testing model transformations (MG, AV, LB, FH), pp. 312–321.
MoDELSMoDELS-2015-HolldoblerRW #transformation language
Systematically deriving domain-specific transformation languages (KH, BR, IW), pp. 136–145.
MoDELSMoDELS-2015-Rodriguez-Echeverria #analysis #approach #evolution #statistics
A statistical analysis approach to assist model transformation evolution (RRE, FM), pp. 226–235.
SLESLE-2015-BenelallamGTC #atl #distributed #pipes and filters
Distributed model-to-model transformation with ATL on MapReduce (AB, AG, MT, JC), pp. 37–48.
SLESLE-2015-EramoPR #bidirectional #nondeterminism
Managing uncertainty in bidirectional model transformations (RE, AP, GR), pp. 49–58.
FASEFASE-2015-StruberRCT #approach #performance #reuse #variability
A Variability-Based Approach to Reusable and Efficient Model Transformations (DS, JR, MC, GT), pp. 283–298.
GT-VMTGT-VMT-2014-WangBL #alloy #graph #using #verification
Verification of Graph-based Model Transformations Using Alloy (XW, FB, YL).
ICGTICGT-2014-AnjorinLST #graph grammar #performance #static analysis
A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation (AA, EL, AS, GT), pp. 130–145.
ICGTICGT-2014-SelimLCDO #graph #specification #verification
Specification and Verification of Graph-Based Model Transformation Properties (GMKS, LL, JRC, JD, BJO), pp. 113–129.
ICEISICEIS-v2-2014-PanfilenkoEML #impact analysis #independence #platform #recommendation #requirements
Recommendations for Impact Analysis of Model Transformations — From the Requirements Model to the Platform-independent Model (DVP, AE, CM, PL), pp. 428–434.
SEKESEKE-2014-HuHCC #diagrams #execution #uml
Extended DEVSML as a Model Transformation Intermediary to Make UML Diagrams Executable (JH, LH, BC, XC), pp. 314–317.
SEKESEKE-2014-JiangCKZD #source code #testing #using
Testing Model Transformation Programs using Metamorphic Testing (MJ, TYC, FCK, ZZ, ZD), pp. 94–99.
AMTAMT-2014-GholizadehDM #approach #query
A Query Structured Approach for Model Transformation (HG, ZD, TSEM), pp. 54–63.
AMTAMT-2014-PoskittDPR #bidirectional #towards
Towards Rigorously Faking Bidirectional Model Transformations (CMP, MD, RFP, AR), pp. 70–75.
AMTAMT-2014-RentschlerWNHR #automation #clustering #legacy
Remodularizing Legacy Model Transformations with Automatic Clustering Techniques (AR, DW, QN, LH, RR), pp. 4–13.
AMTAMT-2014-RichaBPBR #algebra #graph transformation #testing #towards #using
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
AMTAMT-2014-TroyaWBV #approximate #towards
Towards Approximate Model Transformations (JT, MW, LB, AV), pp. 44–53.
BXBX-2014-MacedoCP #framework #multi #towards
Towards a Framework for Multidirectional Model Transformations (NM, AC, HP), pp. 71–74.
BXBX-2014-Wider #bidirectional #domain-specific language #implementation #scala #transformation language
Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala (AW), pp. 63–70.
ECMFAECMFA-2014-CuadradoGL #towards #transformation language
Towards the Systematic Construction of Domain-Specific Transformation Languages (JSC, EG, JdL), pp. 196–212.
ICMTICMT-2014-CuadradoGL #reuse #reverse engineering #usability
Reverse Engineering of Model Transformations for Reusability (JSC, EG, JdL), pp. 186–201.
ICMTICMT-2014-ErginS #design pattern #graph #towards
Towards a Language for Graph-Based Model Transformation Design Patterns (HE, ES), pp. 91–105.
ICMTICMT-2014-GonzalezC #analysis #constraints #generative #testing
Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
ICMTICMT-2014-JilaniIK #approach #generative #testing
A Search Based Test Data Generation Approach for Model Transformations (AAJ, MZI, MUK), pp. 17–24.
ICMTICMT-2014-WieberAS #automation #graph grammar #on the #testing
On the Usage of TGGs for Automated Model Transformation Testing (MW, AA, AS), pp. 1–16.
MODELSMoDELS-2014-BakiSCMF #learning
Learning Implicit and Explicit Control in Model Transformations by Example (IB, HAS, QC, PM, MF), pp. 636–652.
MODELSMoDELS-2014-BascianiRIP #automation #metamodelling
Automated Chaining of Model Transformations with Incompatible Metamodels (FB, DDR, LI, AP), pp. 602–618.
MODELSMoDELS-2014-DavidRV #streaming
Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
MODELSMoDELS-2014-GomesBA #classification #pattern matching #tool support
Classification of Model Transformation Tools: Pattern Matching Techniques (CG, BB, VA), pp. 619–635.
ICSEICSE-2014-ChenPYNZ #adaptation #generative #incremental #runtime #self
Self-adaptation through incremental generative model transformations at runtime (BC, XP, YY, BN, WZ), pp. 676–687.
ICSEICSE-2014-SalayFRSC #product line
Lifting model transformations to product lines (RS, MF, JR, ADS, MC), pp. 117–128.
SACSAC-2014-BassoOF #java
Extending JUnit 4 with Java annotations and reflection to test variant model transformation assets (FPB, TCdO, KF), pp. 1601–1608.
SACSAC-2014-BassoPOF #adaptation #case study #experience #generative #lessons learnt
Generative adaptation of model transformation assets: experiences, lessons and drawbacks (FPB, RMP, TCdO, MDDF), pp. 1027–1034.
SLESLE-2014-JukssVVV
Dynamic Scope Discovery for Model Transformations (MJ, CV, DV, HV), pp. 302–321.
SLESLE-2014-TisiJDSC #assembly
fUML as an Assembly Language for Model Transformation (MT, FJ, JD, ZS, HC), pp. 171–190.
GCMGCM-J-2012-KniemeyerK #graph transformation #named #transformation language
XL4C4D — Adding the Graph Transformation Language XL to CINEMA 4D (OK, WK).
ICEISICEIS-v2-2013-PanfilenkoHEL #architecture #recommendation
Model Transformation Recommendations for Service-Oriented Architectures (DVP, KH, BE, EL), pp. 248–256.
AMTAMT-2013-KuselSWRSK #atl #case study #reuse
Reality Check for Model Transformation Reuse: The ATL Transformation Zoo Case Study (AK, JS, MW, WR, WS, GK), pp. 42–51.
AMTAMT-2013-MatragkasKPZ #approach #testing
A Traceability-Driven Approach to Model Transformation Testing (NDM, DSK, RFP, AZ), pp. 2–11.
AMTAMT-2013-NalchigarSC #non-functional #requirements #towards #transformation language
Towards a Catalog of Non-Functional Requirements in Model Transformation Languages (SN, RS, MC), pp. 72–81.
AMTAMT-2013-TichyKL #detection #performance #smell
Detecting Performance Bad Smells for Henshin Model Transformations (MT, CK, GL), pp. 82–91.
ECMFAECMFA-2013-0002G #debugging #execution
End-User Support for Debugging Demonstration-Based Model Transformation Execution (YS, JG), pp. 86–100.
ICMTICMT-2013-ButtnerEGL #refinement
Checking Model Transformation Refinement (FB, ME, EG, JdL), pp. 158–173.
ICMTICMT-2013-CuadradoL #challenge #streaming
Streaming Model Transformations: Scenarios, Challenges and Initial Solutions (JSC, JdL), pp. 1–16.
ICMTICMT-2013-FaunesSB #approach
Genetic-Programming Approach to Learn Model Transformation Rules from Examples (MF, HAS, MB), pp. 17–32.
ICMTICMT-2013-FinotMSA #testing
Partial Test Oracle in Model Transformation Testing (OF, JMM, GS, CA), pp. 189–204.
ICMTICMT-2013-RentschlerNHR #interactive #maintenance #performance #visual notation
Interactive Visual Analytics for Efficient Maintenance of Model Transformations (AR, QN, LH, RHR), pp. 141–157.
MODELSMoDELS-2013-SelimBCDW #automation #industrial #verification
Automated Verification of Model Transformations in the Automotive Industry (GMKS, FB, JRC, JD, SW), pp. 690–706.
PPDPPPDP-2013-LamoMRL #approach #bidirectional #declarative #graph
A declarative and bidirectional model transformation approach based on graph co-spans (YL, FM, AR, JdL), pp. 1–12.
REER-BR-2013-SiqueiraS #portuguese #requirements
Transformação de um Modelo de Empresa em Requisitos de Software (FLS, PSMS).
ASEASE-2013-AvazpourGG #automation #specification #tool support #using #visualisation
Tool support for automatic model transformation specification using concrete visualisations (IA, JG, LG), pp. 718–721.
ASEASE-2013-SaadaHNS #multi #optimisation #using
Recovering model transformation traces using multi-objective optimization (HS, MH, CN, HAS), pp. 688–693.
GPCEGPCE-2013-BassoPOB #reuse #scalability
Supporting large scale model transformation reuse (FPB, RMP, TCdO, LBB), pp. 169–178.
FASEFASE-2013-MacedoC #alloy #bidirectional #implementation #qvt #using
Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.
TACASTACAS-2013-MateescuS #model checking #named #π-calculus
PIC2LNT: Model Transformation for Model Checking an Applied π-Calculus (RM, GS), pp. 192–198.
QoSAQoSA-2012-EramoCPT #architecture #bidirectional #refactoring
Performance-driven architectural refactoring through bidirectional model transformations (RE, VC, AP, MT), pp. 55–60.
CSMRCSMR-2012-Varro #maintenance
Keynote 2: A Bridge Over Troubled Water — Synergies between Model Transformation and Software Maintenance Techniques (DV), pp. 5–6.
SFMSFM-2012-Becker #analysis #non-functional
Model Transformations in Non-functional Analysis (SB), pp. 263–289.
SFMSFM-2012-RuscioEP
Model Transformations (DDR, RE, AP), pp. 91–136.
SFMSFM-2012-VallecilloGBWH #specification #testing
Formal Specification and Testing of Model Transformations (AV, MG, LB, MW, LH), pp. 399–437.
ICGTICGT-2012-GieseL #automation #behaviour #invariant #towards #verification
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.
EDOCEDOC-2012-DohringSG #adaptation #approach #aspect-oriented #recursion #rule-based #runtime #weaving #workflow
Emulating Runtime Workflow Adaptation and Aspect Weaving by Recursive Rule-Based Sub-Process Selection — A Model Transformation Approach (MD, AS, IG), pp. 133–142.
SEKESEKE-2012-MarchettiG #framework #logic #using
Model Transformation for Frameworks Using Logical Planning (GAM, ESG), pp. 563–569.
SEKESEKE-2012-PimentelSDCF #architecture #evolution #towards
Towards Architectural Evolution through Model Transformations (JP, ES, DD, JC, AF), pp. 448–451.
ICMTICMT-J-2011-CuadradoGL12 #atl #flexibility
Flexible Model-to-Model Transformation Templates: An Application to ATL (JSC, EG, JdL), pp. 1–28.
ICMTICMT-J-2011-WimmerKKRSSKPLSW12 #inheritance #transformation language
Surveying Rule Inheritance in Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS, DSK, RFP, ML, AS, DW), pp. 1–46.
AMTAMT-2012-AmraniDLLSSSW #towards
Towards a model transformation intent catalog (MA, JD, LL, LL, RS, GS, ES, MW), pp. 3–8.
AMTAMT-2012-EtienABP
Chaining model transformations (AE, VA, XB, RFP), pp. 9–14.
AMTAMT-2012-HildebrandtLG #development #framework #graph grammar
The MDELab tool framework for the development of correct model transformations with triple graph grammars (SH, LL, HG), pp. 33–34.
AMTAMT-2012-SelimCD #state of the art #testing
Model transformation testing: the state of the art (GMKS, JRC, JD), pp. 21–26.
AMTAMT-2012-TaentzerAEH #refactoring #rule-based #towards
Towards refactoring of rule-based, in-place model transformation systems (GT, TA, CE, RH), pp. 41–46.
AMTAMT-2012-TisoRL #case study #experience #testing
Early experiences on model transformation testing (AT, GR, ML), pp. 15–20.
BXBX-2012-LambersHGO #bidirectional #graph grammar
Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (LL, SH, HG, FO), pp. 84–99.
ECMFAECMFA-2012-LauderAVS #bidirectional #graph grammar #precedence
Bidirectional Model Transformation with Precedence Triple Graph Grammars (ML, AA, GV, AS), pp. 287–302.
ECMFAECMFA-2012-RiekeS #refinement #specification
Specifying Refinement Relations in Vertical Model Transformations (JR, OS), pp. 210–225.
ECMFAECMFA-2012-SelimWCD #case study #industrial #legacy #migration #modelling
Model Transformations for Migrating Legacy Models: An Industrial Case Study (GMKS, SW, JRC, JD), pp. 90–101.
ICMTICMT-2012-AmstelBS #traceability #visualisation
Traceability Visualization in Model Transformations with TraceVis (MvA, MvdB, AS), pp. 152–159.
ICMTICMT-2012-AndovaBE #reuse
Reusable and Correct Endogenous Model Transformations (SA, MvdB, LE), pp. 72–88.
ICMTICMT-2012-AtkinsonGT #multi #towards
Towards Multi-level Aware Model Transformations (CA, RG, CT), pp. 208–223.
ICMTICMT-2012-Cuadrado #product line #towards #transformation language
Towards a Family of Model Transformation Languages (JSC), pp. 176–191.
ICMTICMT-2012-Fernandez-RoperoPWP #assessment #empirical #simulation
Empirical Assessment of Business Model Transformations Based on Model Simulation (MFR, RPC, BW, MP), pp. 137–151.
ICMTICMT-2012-GeorgeWS #domain-specific language #scala #transformation language #type safety
Type-Safe Model Transformation Languages as Internal DSLs in Scala (LG, AW, MS), pp. 160–175.
ICMTICMT-2012-Guerra #generative #testing
Specification-Driven Test Generation for Model Transformations (EG), pp. 40–55.
ICMTICMT-2012-PachecoC #bidirectional #multi #named #transformation language #xml
Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas (HP, AC), pp. 89–104.
ICMTICMT-2012-SenMTC #modelling #using
Using Models of Partial Knowledge to Test Model Transformations (SS, JMM, MT, JC), pp. 24–39.
ICMTICMT-2012-VallecilloG #type system #using
Typing Model Transformations Using Tracts (AV, MG), pp. 56–71.
ICMTICMT-2012-WimmerKKRSS #reuse #rule-based #transformation language
Fact or Fiction — Reuse in Rule-Based Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS), pp. 280–295.
MODELSMoDELS-2012-AranegaEM #feature model #using
Using Feature Model to Build Model Transformation Chains (VA, AE, SM), pp. 562–578.
MODELSMoDELS-2012-KainzBK #approach
A Generic Approach Simplifying Model-to-Model Transformation Chains (GK, CB, AK), pp. 579–594.
MODELSMoDELS-2012-SaadaDHNS #generative
Generation of Operational Transformation Rules from Examples of Model Transformations (HS, XD, MH, CN, HAS), pp. 546–561.
ASEASE-2012-FaunesSB #algorithm #generative #using
Generating model transformation rules from examples using an evolutionary algorithm (MF, HAS, MB), pp. 250–253.
ASEASE-2012-Gabmeyer #verification
Formal verification techniques for model transformations specified by-demonstration (SG), pp. 390–393.
ICSEICSE-2012-Chioasca #automation #machine learning #requirements #using
Using machine learning to enhance automated requirements model transformation (EVC), pp. 1487–1490.
ICSEICSE-2012-RazaviK #partial evaluation
Partial evaluation of model transformations (AR, KK), pp. 562–572.
SACSAC-2012-AlebrahimCHCH #architecture #design #interactive #problem
Designing architectures from problem descriptions by interactive model transformation (AA, IC, MH, CC, DH), pp. 1256–1258.
SACSAC-2012-DelgadoRGP #collaboration #process
Model transformations for Business-IT alignment: from collaborative business process to SoaML service model (AD, FR, IGRdG, MP), pp. 1720–1722.
LDTALDTA-2012-BachCMP
Model transformations with Tom (JCB, XC, PEM, MP), p. 4.
SLESLE-2012-GarciaDA #approach #automation #co-evolution
Model Transformation Co-evolution: A Semi-automatic Approach (JG, OD, MA), pp. 144–163.
ICSTICST-2012-AmraniLSCDVTC #approach #verification
A Tridimensional Approach for Studying the Formal Verification of Model Transformations (MA, LL, GMKS, BC, JD, HV, YLT, JRC), pp. 921–928.
ICSTICST-2012-SyrianiG #challenge #quality
Challenges for Addressing Quality Factors in Model Transformation (ES, JG), pp. 929–937.
ICSTICST-2012-UjhelyiHV #slicing
Dynamic Backward Slicing of Model Transformations (ZU, ÁH, DV), pp. 1–10.
ECSAECSA-2011-NavarroCPR #architecture #using
Using Model Transformation Techniques for the Superimposition of Architectural Styles (EN, CEC, DEP, CR), pp. 379–387.
QoSAQoSA-ISARCS-2011-KavimandanGKG #architecture #product line #quality #reuse
Managing the quality of software product line architectures through reusable model transformations (AK, ASG, GK, JG), pp. 13–22.
GCMGCM-2010-GolasEH11 #graph grammar #specification
Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions (UG, HE, FH).
GT-VMTGT-VMT-2011-EhrigHSB #constraints #graph grammar
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars (HE, FH, HS, CB).
ICEISICEIS-J-2011-LezocheAP #concept #information management #semantics
Formal Fact-Oriented Model Transformations for Cooperative Information Systems Semantic Conceptualisation (ML, AA, HP), pp. 117–131.
ICMTICMT-J-2010-DiskinXC11 #bidirectional #symmetry
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case (ZD, YX, KC), pp. 137–161.
BXBX-2011-Diskin1 #bidirectional #weaving
From State- to Delta-Based Bidirectional Model Transformations: Unweaving Alignment and Update Propagation (ZD), p. 55.
BXBX-2011-Ehrig #constraints
Propagation of Constraints along Model Transformations (HE), p. 56.
BXBX-2011-Greenyer #bidirectional #transformation language
Unified (Bidirectional) Transformation Language (JG), p. 58.
BXBX-2011-Hermann #analysis #graph grammar
Analysis of Model Transformations based on TGGs (FH), p. 52.
ECMFAECMFA-2011-DolquesDFHNP #automation #learning
Easing Model Transformation Learning with Automatically Aligned Examples (XD, AD, JRF, MH, CN, FP), pp. 189–204.
ECMFAECMFA-2011-GogollaV #testing
Tractable Model Transformation Testing (MG, AV), pp. 221–235.
ICMTICMT-2011-AmstelB #analysis #maintenance
Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare (MvA, MvdB), pp. 108–122.
ICMTICMT-2011-AmstelBKP #atl #performance #qvt
Performance in Model Transformations: Experiments with ATL and QVT (MvA, SB, IK, LFP), pp. 198–212.
ICMTICMT-2011-BauerK
Combining Specification-Based and Code-Based Coverage for Model Transformation Chains (EB, JMK), pp. 78–92.
ICMTICMT-2011-CuadradoGL #reuse
Generic Model Transformations: Write Once, Reuse Everywhere (JSC, EG, JdL), pp. 62–77.
ICMTICMT-2011-EgyedDGLMNR #co-evolution #consistency
Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance (AE, AD, AG, RELH, PM, AN, AR), pp. 1–14.
ICMTICMT-2011-HornE #transformation language
The GReTL Transformation Language (TH, JE), pp. 183–197.
ICMTICMT-2011-LanoR #development #modelling
Model-Driven Development of Model Transformations (KL, SKR), pp. 47–61.
ICMTICMT-2011-WimmerKKRSSKPLSW #comparison #inheritance #transformation language
A Comparison of Rule Inheritance in Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS, DSK, RFP, ML, AS, DW), pp. 31–46.
MODELSMoDELS-2011-DiskinXCEHO #bidirectional #symmetry
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.
MODELSMoDELS-2011-DragoGM #quality #towards
Towards Quality Driven Exploration of Model Transformation Spaces (MLD, CG, RM), pp. 2–16.
MODELSMoDELS-2011-KainzBK #automation #concept #metamodelling
Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation (GK, CB, AK), pp. 17–31.
MODELSMoDELS-2011-SteelD
Domain-Specific Model Transformation in Building Quantity Take-Off (JS, RD), pp. 198–212.
MODELSMoDELS-2011-TisiPJC #execution #lazy evaluation
Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.
MODELSMoDELS-2011-WagelaarTCJ #composition #rule-based #semantics #towards
Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.
TOOLSTOOLS-EUROPE-2011-BauerKE #quality #testing
Test Suite Quality for Model Transformation Chains (EB, JMK, GE), pp. 3–19.
ASEASE-2011-HidakaHIKN #bidirectional #framework #named
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations (SH, ZH, KI, HK, KN), pp. 480–483.
ASEASE-2011-UjhelyiHV #slicing #towards
Towards dynamic backward slicing of model transformations (ZU, ÁH, DV), pp. 404–407.
SACSAC-2011-ChangH #approach #multi #using #verification
A model transformation approach for verifying multi-agent systems using SPIN (LC, XH), pp. 37–42.
SACSAC-2011-NakagawaYOH #design #framework #multi #named
IMPULSE: a design framework for multi-agent systems based on model transformation (HN, NY, AO, SH), pp. 1411–1418.
SLESLE-2011-SeibelHNG #black box #composition #execution
A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations (AS, RH, SN, HG), pp. 19–39.
SLESLE-2011-Wider #bidirectional #combinator #scala #towards
Towards Combinators for Bidirectional Model Transformations in Scala (AW), pp. 367–377.
QoSAQoSA-2010-KapovaGBH #maintenance #metric
Evaluating Maintainability with Code Metrics for Model-to-Model Transformations (LK, TG, SB, JH), pp. 151–166.
IFMIFM-2010-HulsbuschKRSSW #comparison #semantics
Showing Full Semantics Preservation in Model Transformation — A Comparison of Techniques (MH, BK, AR, MS, CS, HW), pp. 183–198.
IFMIFM-2010-LanoR #specification #uml #using #verification
Specification and Verification of Model Transformations Using UML-RSDS (KL, SKR), pp. 199–214.
SEFMSEFM-2010-HegedusBRV #simulation
Back-annotation of Simulation Traces with Change-Driven Model Transformations (ÁH, GB, IR, DV), pp. 145–155.
GT-VMTGT-VMT-2010-BottoniFP #constraints
Preserving constraints in horizontal model transformations (PB, AF, FPP).
GT-VMTGT-VMT-2010-Schatz #verification
Verification of Model Transformations (BS).
GT-VMTGT-VMT-2010-SyrianiV #transformation language
De-/Re-constructing Model Transformation Languages (ES, HV).
ICGTICGT-2010-Biermann #emf #formal method #graph transformation
EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment (EB), pp. 381–383.
ICGTICGT-2010-HermannEOG #analysis #behaviour #formal method #functional #graph grammar
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (FH, HE, FO, UG), pp. 155–170.
ICGTICGT-2010-Ujhelyi #source code #static typing #type checking
Static Type Checking of Model Transformation Programs (ZU), pp. 413–415.
KEODKEOD-2010-TeguiakAJS #approach #design #incremental #ontology
Incremental Design of Ontologies — A Model Transformation-based Approach (HVT, YAA, SJ, ÉS), pp. 94–103.
SEKESEKE-2010-HuSW #architecture #named
ISE — Integrated Service Engineering: Applying an Architecture for Model to Model Transformations (HH, GS, GW), pp. 452–457.
ICMTICMT-2010-DiskinXC #bidirectional
From State- to Delta-Based Bidirectional Model Transformations (ZD, YX, KC), pp. 61–76.
ICMTICMT-2010-FiorentiniMOP #approach #testing
A Constructive Approach to Testing Model Transformations (CF, AM, MO, IP), pp. 77–92.
ICMTICMT-2010-LangerWK
Model-to-Model Transformations By Demonstration (PL, MW, GK), pp. 153–167.
MODELSMoDELS-v1-2010-ArendtBJKT #concept #emf #named #tool support
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations (TA, EB, SJ, CK, GT), pp. 121–135.
MODELSMoDELS-v1-2010-GuerraLKPS #named #product line
transML: A Family of Languages to Model Model Transformations (EG, JdL, DSK, RFP, OMdS), pp. 106–120.
MODELSMoDELS-v1-2010-KolovosRAPPB #emf #using
Taming EMF and GMF Using Model Transformation (DSK, LMR, SbA, RFP, FACP, GB), pp. 211–225.
MODELSMoDELS-v1-2010-LucioBA #automation #validation
A Technique for Automatic Validation of Model Transformations (LL, BB, VA), pp. 136–150.
MODELSMoDELS-v2-2010-InsfranGA #design #development #guidelines #quality
Design Guidelines for the Development of Quality-Driven Model Transformations (EI, JGH, SA), pp. 288–302.
MODELSMoDELS-v2-2010-KainzBSK #component #development #metamodelling
Model-to-Metamodel Transformation for the Development of Component-Based Systems (GK, CB, SS, AK), pp. 391–405.
MODELSMoDELS-v2-2010-LanoR #modelling #slicing #uml #using
Slicing of UML Models Using Model Transformations (KL, SKR), pp. 228–242.
SACSAC-2010-EtienMLB #independence
Combining independent model transformations (AE, AM, TL, XB), pp. 2237–2243.
SLESLE-2010-BarrocaLAFS #named #transformation language
DSLTrans: A Turing Incomplete Transformation Language (BB, LL, VA, RF, VS), pp. 296–305.
SLESLE-2010-CicchettiREP #bidirectional #named #transformation language
JTL: A Bidirectional and Change Propagating Transformation Language (AC, DDR, RE, AP), pp. 183–202.
FASEFASE-2010-BoronatO #realtime
Formal Real-Time Model Transformations in MOMENT2 (AB, PCÖ), pp. 29–43.
FASEFASE-2010-JacksonSBK #reuse
Reusing Model Transformations While Preserving Properties (EKJ, WS, DB, GK), pp. 44–58.
FASEFASE-2010-RutleRLW #constraints #formal method
A Formalisation of Constraint-Aware Model Transformations (AR, AR, YL, UW), pp. 13–28.
ICSTICST-2010-AsztalosLL #automation #towards #verification
Towards Automated, Formal Verification of Model Transformations (MA, LL, TL), pp. 15–24.
ICSTICST-2010-Rahimi #specification #uml
Specification of UML Model Transformations (SKR), pp. 323–326.
QoSAQoSA-2009-KavimandanG #optimisation #realtime
Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems (AK, ASG), pp. 18–35.
GT-VMTGT-VMT-2009-EhrigEE #refactoring
Refactoring of Model Transformations (HE, KE, CE), pp. 128–146.
GT-VMTGT-VMT-2009-EhrigHS #correctness #graph grammar
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (HE, FH, CS), pp. 67–84.
ECMFAECMDA-FA-2009-GronmoMO #comparison #transformation language
Comparison of Three Model Transformation Languages (RG, BMP, GKO), pp. 2–17.
ECMFAECMDA-FA-2009-TisiJFCB #higher-order #on the #using
On the Use of Higher-Order Model Transformations (MT, FJ, PF, SC, JB), pp. 18–33.
ICMTICMT-2009-AmstelLB #asf+sdf #metric #quality #using
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations (MvA, CFJL, MvdB), pp. 239–248.
ICMTICMT-2009-BergmannHRV #pattern matching #performance
Efficient Model Transformations by Combining Pattern Matching Strategies (GB, ÁH, IR, DV), pp. 20–34.
ICMTICMT-2009-FabroABJ #using
Achieving Rule Interoperability Using Chains of Model Transformations (MDDF, PA, JB, FJ), pp. 249–259.
ICMTICMT-2009-Garcia-MagarinoGF #algorithm #generative #transformation language
Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages (IGM, JJGS, RFF), pp. 52–66.
ICMTICMT-2009-GuerraLO
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions (EG, JdL, FO), pp. 83–99.
ICMTICMT-2009-HillairetBL #query
Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa (GH, FB, JYL), pp. 116–131.
ICMTICMT-2009-PetterBM #constraints
Solving Constraints in Model Transformations (AP, AB, MM), pp. 132–147.
ICMTICMT-2009-SenBM #automation #generative #testing
Automatic Model Generation Strategies for Model Transformation Testing (SS, BB, JMM), pp. 148–164.
ICMTICMT-2009-XiongSHT #bidirectional #parallel
Supporting Parallel Updates with Bidirectional Model Transformations (YX, HS, ZH, MT), pp. 213–228.
MODELSMoDELS-2009-EhrigEHP #correctness #graph grammar #on the fly
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
MODELSMoDELS-2009-GinerP #agile #development #testing
Test-Driven Development of Model Transformations (PG, VP), pp. 748–752.
MODELSMoDELS-2009-JurackT #concept #distributed #graph transformation #towards #using
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MODELSMoDELS-2009-KusterGZ #automation #development #incremental #testing #using
Incremental Development of Model Transformation Chains Using Automated Testing (JMK, TG, OZ), pp. 733–747.
MODELSMoDELS-2009-RathVV
Change-Driven Model Transformations (IR, GV, DV), pp. 342–356.
MODELSMoDELS-2009-SunWG
Model Transformation by Demonstration (YS, JW, JG), pp. 712–726.
MODELSMoDELS-2009-EhrigEHP #correctness #graph grammar #on the fly
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
MODELSMoDELS-2009-GinerP #agile #development #testing
Test-Driven Development of Model Transformations (PG, VP), pp. 748–752.
MODELSMoDELS-2009-JurackT #concept #distributed #graph transformation #towards #using
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MODELSMoDELS-2009-KusterGZ #automation #development #incremental #testing #using
Incremental Development of Model Transformation Chains Using Automated Testing (JMK, TG, OZ), pp. 733–747.
MODELSMoDELS-2009-RathVV
Change-Driven Model Transformations (IR, GV, DV), pp. 342–356.
MODELSMoDELS-2009-SunWG
Model Transformation by Demonstration (YS, JW, JG), pp. 712–726.
OOPSLAOOPSLA-2009-NandaMSS #approach #automation
Demystifying model transformations: an approach based on automated rule inference (MGN, SM, VSS, SS), pp. 341–360.
PPDPPPDP-2009-Tarau #data transformation #declarative #embedded #transformation language
An embedded declarative data transformation language (PT), pp. 171–182.
GTTSEGTTSE-2009-FritzscheG #model management #performance
Model Transformation Chains and Model Management for End-to-End Performance Decision Support (MF, WG), pp. 345–363.
SACSAC-2009-HidakaHKN #approach #composition #development #towards
Towards a compositional approach to model transformation for software development (SH, ZH, HK, KN), pp. 468–475.
SLESLE-2009-IrazabalP #data type #modelling #transformation language
Model Transformation Languages Relying on Models as ADTs (JI, CP), pp. 133–143.
SLESLE-2009-LevendovszkyBNK #approach #automation #domain-specific language #evolution #novel
A Novel Approach to Semi-automated Evolution of DSML Model Transformation (TL, DB, AN, GK), pp. 23–41.
FASEFASE-2009-BoronatHM #logic #semantics #verification
Rewriting Logic Semantics and Verification of Model Transformations (AB, RH, JM), pp. 18–33.
QoSAQoSA-2008-MalletR #analysis #distributed
Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems (JM, SR), pp. 55–70.
CSMRCSMR-2008-SiikarlaS #interactive #reuse
Decision Reuse in an Interactive Model Transformation (MS, TS), pp. 123–132.
WCREWCRE-2008-Muliawan #higher-order #transformation language #using
Extending a Model Transformation Language Using Higher Order Transformations (OM), pp. 315–318.
SEFMSEFM-2008-GeihsBRW #automation #ontology
Ontology-Based Automatic Model Transformations (KG, PAB, RR, JW), pp. 387–391.
GT-VMTGT-VMT-2006-KoehlerHKRVW08 #development #modelling #visual notation
The Role of Visual Modeling and Model Transformations in Business-driven Development (JK, RH, JMK, KR, JV, MW), pp. 5–15.
GT-VMTGT-VMT-2006-NarayananK08 #towards #verification
Towards Verifying Model Transformations (AN, GK), pp. 191–200.
GT-VMTGT-VMT-2008-EhrigEH #algebra #approach #graph grammar #integration
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars (HE, KE, FH).
GT-VMTGT-VMT-2008-NarayananK #verification
Verifying Model Transformations by Structural Correspondence (AN, GK).
ICGTICGT-2008-EhrigE #correctness #graph #semantics #using
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation (HE, CE), pp. 194–210.
ICGTICGT-2008-EhrigP #analysis #formal method #graph #kernel
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (HE, UP), pp. 178–193.
ICGTICGT-2008-Gorp #development #modelling
Model-Driven Development of Model Transformations (PVG), pp. 517–519.
ICGTICGT-2008-LaraG
Pattern-Based Model-to-Model Transformation (JdL, EG), pp. 426–441.
EDOCEDOC-2008-KavimandanKG #automation #enterprise #synthesis #using #workflow
Automated Context-Sensitive Dialog Synthesis for Enterprise Workflows Using Templatized Model Transformations (AK, RK, ASG), pp. 159–168.
BXBX-2008-Nakano1
Typechecking Model Transformation (KN), p. 50.
BXBX-2008-Pierantonio1 #co-evolution
Change Propagation in Model Transformation (AP), p. 49.
ECMFAECMDA-FA-2008-EngelsKRSSW #behaviour #process #towards #uml
From UML Activities to TAAL — Towards Behaviour-Preserving Model Transformations (GE, AK, AR, MS, CS, HW), pp. 94–109.
ICMTICMT-2008-CuadradoM #composition #reuse
Approaches for Model Transformation Reuse: Factorization and Composition (JSC, JGM), pp. 168–182.
ICMTICMT-2008-HemelKV #code generation
Code Generation by Model Transformation (ZH, LCLK, EV), pp. 183–198.
ICMTICMT-2008-KolovosPP #transformation language
The Epsilon Transformation Language (DSK, RFP, FP), pp. 46–60.
ICMTICMT-2008-Kurtev #transformation language
Application of Reflection in Model Transformation Languages (IK), pp. 199–213.
ICMTICMT-2008-RathBOV #incremental #pattern matching
Live Model Transformations Driven by Incremental Pattern Matching (IR, GB, , DV), pp. 107–121.
ICMTICMT-2008-VignagaPB #contract #interactive #using
Extracting Object Interactions Out of Software Contracts Using Model Transformations (AV, DP, MCB), pp. 245–259.
ICMTICMT-2008-Wagelaar #composition #rule-based #transformation language
Composition Techniques for Rule-Based Model Transformation Languages (DW), pp. 152–167.
MODELSMoDELS-2008-BiermannET #emf #graph transformation #precise #semantics
Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
MODELSMoDELS-2008-CabotCGL #analysis #declarative #invariant
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.
MODELSMoDELS-2008-FalleriHLN #automation #generative #metamodelling
Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
MODELSMoDELS-2008-KessentiniSB #optimisation #problem
Model Transformation as an Optimization Problem (MK, HAS, MB), pp. 159–173.
MODELSMoDELS-2008-SanchezFSHU #aspect-oriented #composition #weaving
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation (PS, LF, DS, SH, RU), pp. 766–781.
MODELSMoDELS-2008-BiermannET #emf #graph transformation #precise #semantics
Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
MODELSMoDELS-2008-CabotCGL #analysis #declarative #invariant
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.
MODELSMoDELS-2008-FalleriHLN #automation #generative #metamodelling
Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
MODELSMoDELS-2008-KessentiniSB #optimisation #problem
Model Transformation as an Optimization Problem (MK, HAS, MB), pp. 159–173.
MODELSMoDELS-2008-SanchezFSHU #aspect-oriented #composition #weaving
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation (PS, LF, DS, SH, RU), pp. 766–781.
TOOLSTOOLS-EUROPE-2008-StrommerW #concept #framework #tool support
A Framework for Model Transformation By-Example: Concepts and Tool Support (MS, MW), pp. 372–391.
SACSAC-2008-Deba #approach #modelling #on the #transducer
On the conformity of models: a transducer-based approach for model transformation (EAD), pp. 791–796.
ATEMATEM-J-2006-AmelunxenS #formal method #uml
Formalising model transformation rules for UML/MOF 2 (CA, AS), pp. 204–222.
LDTALDTA-2007-KallebergV08 #compilation #transformation language
Fusing a Transformation Language with an Open Compiler (KTK, EV), pp. 21–36.
SLESLE-2008-FritzscheJAMGSBK #automation #embedded #modelling
Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains (MF, JJ, UA, SM, WG, ITAS, TJB, PK), pp. 134–150.
SLESLE-2008-GorpKJ #higher-order #integration #transformation language
Transformation Language Integration Based on Profiles and Higher Order Transformations (PVG, AK, DJ), pp. 208–226.
SLESLE-2008-LiangD #evaluation #txl #using
A Practical Evaluation of Using TXL for Model Transformation (HL, JD), pp. 245–264.
CSLCSL-2008-Thomas #decidability #monad #proving
Model Transformations in Decidability Proofs for Monadic Theories (WT), pp. 23–31.
ICSTICST-2008-SenBM #modelling #multi #on the #testing
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (SS, BB, JMM), pp. 328–337.
ECSAECSA-2007-MansetVM #architecture #grid
Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations (DM, HV, RM), pp. 308–312.
AGTIVEAGTIVE-2007-BalasubramanianNNNSTK
Applying a Grouping Operator in Model Transformations (DB, AN, SN, BN, FS, RT, GK), pp. 410–425.
AGTIVEAGTIVE-2007-BiermannEEKT #emf #framework
The EMF Model Transformation Framework (EB, KE, CE, CK, GT), pp. 566–567.
AGTIVEAGTIVE-2007-FussT #algorithm #graph transformation #simulation #transformation language
Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages (CF, VET), pp. 442–455.
AGTIVEAGTIVE-2007-KoehlerGKPRVV #assurance #development #quality
Combining Quality Assurance and Model Transformations in Business-Driven Development (JK, TG, JMK, CP, KR, JV, HV), pp. 1–16.
AGTIVEAGTIVE-2007-Kurtev #qvt #standard #state of the art #transformation language
State of the Art of QVT: A Model Transformation Language Standard (IK), pp. 377–393.
GT-VMTGT-VMT-2007-BalasubramanianNNSTK #graph transformation #transformation language
A Subgraph Operator for Graph Transformation Languages (DB, AN, SN, FS, RT, GK).
GT-VMTGT-VMT-2007-KohlerLT #constraints #graph
Ensuring Containment Constraints in Graph-based Model Transformation Approaches (CK, HL, GT).
ICEISICEIS-EIS-2007-MurzekK #process
Business Process Model Transformation Issues — The Top 7 Adversaries Encountered at Defining Model Transformations (MM, GK), pp. 144–151.
ECMFAECMDA-FA-2007-BordbarHES
Model Transformation from OWL-S to BPEL Via SiTra (BB, GH, ME, AS), pp. 43–58.
MODELSMoDELS-2007-AnastasakisBGR #alloy #named #uml
UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
MODELSMoDELS-2007-HibberdLR #debugging #forensics
Forensic Debugging of Model Transformations (MH, ML, KR), pp. 589–604.
MODELSMoDELS-2007-Stevens #bidirectional #qvt #semantics
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
MODELSMoDELS-2007-AnastasakisBGR #alloy #named #uml
UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
MODELSMoDELS-2007-HibberdLR #debugging #forensics
Forensic Debugging of Model Transformations (MH, ML, KR), pp. 589–604.
MODELSMoDELS-2007-Stevens #bidirectional #qvt #semantics
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
TOOLSTOOLS-EUROPE-2007-LohmannGJS #graph grammar #workflow
Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations (CL, JG, JJ, TS), pp. 253–273.
SACSAC-MT-J-2006-AlanenLP07 #diagrams
Creating and reconciling diagrams after executing model transformations (MA, TL, IP), pp. 155–178.
SACSAC-MT-J-2006-JouaultK07 #on the #transformation language
On the interoperability of model-to-model transformation languages (FJ, IK), pp. 114–137.
SACSAC-MT-J-2006-KurtevBJ07 #atl #composition #rule-based #transformation language
Rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 138–154.
SACSAC-MT-J-2006-Tratt07
Model transformations in MT (LT), pp. 196–213.
SACSAC-MT-J-2006-VarroB07 #framework #transformation language
The model transformation language of the VIATRA2 framework (DV, AB), pp. 214–234.
ASEASE-2007-NakagawaTH #approach #generative #modelling #requirements #specification
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models (HN, KT, SH), pp. 531–532.
ASEASE-2007-NaslavskyZR #modelling #testing #towards
Towards leveraging model transformation to support model-based testing (LN, HZ, DJR), pp. 509–512.
ASEASE-2007-XiongLHZTM #automation #towards
Towards automatic model synchronization from model transformations (YX, DL, ZH, HZ, MT, HM), pp. 164–173.
ESEC-FSEESEC-FSE-2007-KlarKS #in the large
Model transformation in the large (FK, AK, AS), pp. 285–294.
ESEC-FSEESEC-FSE-2007-ZhouLZ #approach
A segment-based approach for reconcilable model transformation (XZ, YL, JZ), pp. 517–520.
GTTSEGTTSE-2007-PielMD #compilation #multi
Model Transformations for the Compilation of Multi-processor Systems-on-Chip (ÉP, PM, JLD), pp. 459–473.
GTTSEGTTSE-2007-Stevens #bidirectional
A Landscape of Bidirectional Model Transformations (PS), pp. 408–424.
SACSAC-2007-CuadradoM #transformation language
A phasing mechanism for model transformation languages (JSC, JGM), pp. 1020–1024.
SACSAC-2007-Lamari #automation #generative #testing #towards #verification
Towards an automated test generation for the verification of model transformations (ML), pp. 998–1005.
SACSAC-2007-LawleyR #declarative #implementation
Implementing a practical declarative logic-based model transformation engine (ML, KR), pp. 971–977.
SACSAC-2007-VaraVCM #database #development
Model transformation for object-relational database development (JMV, BV, JMC, EM), pp. 1012–1019.
SACSAC-2007-VarroB #automation #induction #logic programming #using
Automating model transformation by example using inductive logic programming (DV, ZB), pp. 978–984.
FASEFASE-2007-EhrigEEHT #bidirectional
Information Preserving Bidirectional Model Transformations (HE, KE, CE, FH, GT), pp. 72–86.
CBSECBSE-2006-GrassiMS #analysis #approach #component #performance #reliability
A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems (VG, RM, AS), pp. 270–284.
QoSAQoSA-2006-MarcoM #performance
Model Transformation in Software Performance Engineering (ADM, RM), pp. 95–110.
CSMRCSMR-2006-GraafWD #architecture #migration #using
Migrating Supervisory Control Architectures Using Model Transformations (BG, SW, AvD), pp. 153–164.
CSMRCSMR-2006-IvkovicK #architecture #framework #refactoring #semantics #using
A Framework for Software Architecture Refactoring using Model Transformations and Semantic Annotations (II, KK), pp. 135–144.
ICFPICFP-2006-KawanakaH #bidirectional #named #transformation language #xml
biXid: a bidirectional transformation language for XML (SK, HH), pp. 201–214.
ICGTICGT-2006-VarroVEPT #analysis #petri net #termination
Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.
ICEISICEIS-ISAS-2006-ReiterKRSS #framework #generative #transformation language
A Generator Framework for Domain-Specific Model Transformation Languages (TR, EK, WR, WS, MS), pp. 27–35.
ECMFAECMDA-FA-2006-CuadradoMT #named #transformation language
RubyTL: A Practical, Extensible Transformation Language (JSC, JGM, MMT), pp. 158–172.
ECMFAECMDA-FA-2006-Kleppe #named
MCC: A Model Transformation Environment (AK), pp. 173–187.
ECMFAECMDA-FA-2006-MottuBT #analysis #mutation testing #testing
Mutation Analysis Testing for Model Transformations (JMM, BB, YLT), pp. 376–390.
ECMFAECMDA-FA-2006-WagelaarS #comparison
A Comparison of Configuration Techniques for Model Transformations (DW, RVDS), pp. 331–345.
MODELSMoDELS-2006-BezivinBGJKL #exclamation #modelling
Model Transformations? Transformation Models! (JB, FB, MG, FJ, IK, AL), pp. 440–453.
MODELSMoDELS-2006-BruckerDW #analysis #semantics
A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.
MODELSMoDELS-2006-CuadradoM #empirical
A Plugin-Based Language to Experiment with Model Transformation (JSC, JGM), pp. 336–350.
MODELSMoDELS-2006-HearndenLR #evolution #incremental #modelling
Incremental Model Transformation for the Evolution of Model-Driven Systems (DH, ML, KR), pp. 321–335.
MODELSMoDELS-2006-Varro
Model Transformation by Example (DV), pp. 410–424.
MODELSMoDELS-2006-BezivinBGJKL #exclamation #modelling
Model Transformations? Transformation Models! (JB, FB, MG, FJ, IK, AL), pp. 440–453.
MODELSMoDELS-2006-BruckerDW #analysis #semantics
A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.
MODELSMoDELS-2006-CuadradoM #empirical
A Plugin-Based Language to Experiment with Model Transformation (JSC, JGM), pp. 336–350.
MODELSMoDELS-2006-HearndenLR #evolution #incremental #modelling
Incremental Model Transformation for the Evolution of Model-Driven Systems (DH, ML, KR), pp. 321–335.
MODELSMoDELS-2006-Varro
Model Transformation by Example (DV), pp. 410–424.
SACSAC-2006-AlanenLP #diagrams
Reconciling diagrams after executing model transformations (MA, TL, IP), pp. 1267–1272.
SACSAC-2006-BaloghV #framework #transformation language
Advanced model transformation language constructs in the VIATRA2 framework (AB, DV), pp. 1280–1287.
SACSAC-2006-BaloghVVP #compilation #plugin
Compiling model transformations to EJB3-specific transformer plugins (AB, GV, DV, AP), pp. 1288–1295.
SACSAC-2006-BezivinPV
Special track on model transformation (MT 2006) (JB, AP, AV), pp. 1186–1187.
SACSAC-2006-CaceresCVM #hypermedia #information management #modelling #web
Model transformations for hypertext modeling on web information systems (PC, VdC, JMV, EM), pp. 1232–1239.
SACSAC-2006-KurtevBJ #atl #composition #evaluation #rule-based #transformation language
Evaluation of rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 1202–1209.
SACSAC-2006-Tratt #transformation language
The MT model transformation language (LT), pp. 1296–1303.
LDTALDTA-J-2004-Cordy #transformation language #txl
The TXL source transformation language (JRC), pp. 190–210.
FASEFASE-2006-BoronatCR #algebra #specification
Algebraic Specification of a Model Transformation Engine (AB, JÁC, IR), pp. 262–277.
WICSAWICSA-2005-Matinlassi #architecture #quality
Quality-Driven Software Architecture Model Transformation (MM), pp. 199–200.
CAiSECAiSE-2005-RizopoulosM #approach #concept #generative
A General Approach to the Generation of Conceptual Model Transformations (NR, PM), pp. 326–341.
CAiSECAiSE-2005-RuscioP #data-driven #development #web
Model Transformations in the Development of Data-Intensive Web Applications (DDR, AP), pp. 475–490.
ECMFAECMDA-FA-2005-0003SAJ #semantics
Semantic Anchoring with Model Transformations (KC, JS, SA, EKJ), pp. 115–129.
ECMFAECMDA-FA-2005-Bloomfield #industrial #metamodelling
MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry (TB), pp. 9–18.
ECMFAECMDA-FA-2005-GrunskeGL #graph grammar #specification #visual notation
A Graphical Specification of Model Transformations with Triple Graph Grammars (LG, LG, ML), pp. 284–298.
ASEASE-2005-LinG #approach #automation #evolution
A model transformation approach to automatic model construction and evolution (YL, JG), pp. 448–451.
ATEMATEM-2004-GirbaFD05 #evolution #metamodelling #using
Using Meta-Model Transformation to Model Software Evolution (TG, JMF, SD), pp. 57–64.
FASEFASE-2005-EhrigELTVV #termination
Termination Criteria for Model Transformation (HE, KE, JdL, GT, DV, SVG), pp. 49–63.
ICGTICGT-2004-ClarkESW #design #metamodelling #transformation language
Transformation Language Design: A Metamodelling Foundation (TC, AE, PS, JSW), pp. 13–21.
CAiSECAiSE-2004-KovseH #named #workflow
MT-Flow — An Environment for Workflow-Supported Model Transformations in MDA (JK, TH), pp. 160–174.
UMLUML-2004-RottgerZ #development #modelling #non-functional #refinement
Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation (SR, SZ), pp. 275–289.
UMLUML-2004-VarroP
Generic and Meta-transformations for Model Transformation Engineering (DV, AP), pp. 290–304.
EDOCEDOC-2003-DuddyGLRS #approach #declarative #reuse
Model Transformation: A declarative, reusable patterns approach (KD, AG, ML, KR, JS), pp. 174–185.
CAiSECAiSE-2002-Saeki
Role of Model Transformation in Method Engineering (MS), pp. 626–642.
EDOCEDOC-2002-OldevikSEB #code generation #framework
Framework for Model Transformation and Code Generation (JO, AS, BE, AJB), pp. 181–189.
EDOCEDOC-2002-Peltier #domain-specific language
MTrans, a DSL for Model Transformation (MP), pp. 190–199.
ICLPICLP-2002-BryS #declarative #query #semistructured data #simulation #towards #transformation language #unification #xml
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification (FB, SS), pp. 255–270.
TOOLSTOOLS-USA-2001-Bezivin01a #composition
From Object Composition to Model Transformation with the MDA (JB), pp. 350–354.
CAiSECAiSE-2000-BehrensR #behaviour #code generation #named
StateLator — Behavioral Code Generation as an Instance of a Model Transformation (TB, SR), pp. 401–416.
CAiSECAiSE-1999-McBrienP #approach
A Uniform Approach to Inter-model Transformations (PM, AP), pp. 333–348.
WCREWCRE-1996-BlahaP
A Catalog of Object Model Transformations (MRB, WJP), p. 87–?.
PPDPPLILP-1990-Ferdinand #functional #pattern matching #transformation language #using
Pattern Matching in a Functional Transformation Language using Treeparsing (CF), pp. 358–371.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.