Research Themes & Software

research theme picture

Funded GTA positions 2020

Apply for a funded GTA position, starting in September 2020. Apply by 6 February 2020.

research theme picture

EMF-Syncer

EMF-Syncer facilitates the adoption of Model-Driven Engineering techniques, and EMF-supported tooling, in JVM programs.

  1. Boronat, A. (2019). Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling. In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, CA, November 11-15. ACM.
    @inproceedings{BoronatASE19,
      author = {Boronat, Artur},
      title = {Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling},
      booktitle = {Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, CA, November 11-15},
      year = {2019},
      publisher = {{ACM}},
      webdownload = {2019-boronat-ase.pdf},
      slideshare = {https://www.slideshare.net/aboronat/codefirst-modeldriven-engineeringon-the-agile-adoption-of-mde}
    }
    
research theme picture

YAMTL

YAMTL is an EMF-based model-to-model transformation engine whose transformations are defined with an internal DSL of Xtend. The main strenghts of the language are its interoperability with Java, its expressiveness and its performance. YAMTL model transformation can also be executed incrementally.

  1. Boronat, A. (2018). Expressive and Efficient Model Transformation with an Internal DSL of Xtend. In Proceedings of the 21th ACM/IEEE International Conference on MoDELS (pp. 78–88). ACM.
    @inproceedings{yamtl,
      author = {Boronat, Artur},
      title = {Expressive and Efficient Model Transformation with an Internal DSL of Xtend},
      booktitle = {Proceedings of the 21th {ACM/IEEE} International Conference on MoDELS},
      publisher = {ACM},
      year = {2018},
      pages = {78--88},
      webdoi = {https://doi.org/10.1145/3239372.3239386},
      webdownload = {2018-boronat-models.pdf},
      slideshare = {https://www.slideshare.net/aboronat/expressive-and-efficient-model-transformation-with-an-internal-dsl-of-xtend}
    }
    
  1. Boronat, A. (2019). Offline Delta-Driven Model Transformation with Dependency Injection. In FASE 2019 (Vol. 11424, pp. 134–150). Springer.
    @inproceedings{BoronatFASE19,
      author = {Boronat, Artur},
      title = {Offline Delta-Driven Model Transformation with Dependency Injection},
      booktitle = {{FASE} 2019},
      pages = {134--150},
      year = {2019},
      series = {LNCS},
      volume = {11424},
      publisher = {Springer},
      webdoi = {https://doi.org/10.1007/978-3-030-16722-6},
      webdownload = {2019-boronat-fase.pdf},
      slideshare = {https://www.slideshare.net/aboronat/offline-deltadriven-model-transformation-with-dependency-injection}
    }
    
  1. Boronat, A. (2018). YAMTL Solution to the TTC 2018 Social Media Case. In Garcı́a-Domı́nguez Antonio, G. Hinkel, & F. Krikava (Eds.), Proceedings of the 11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations, TTC@STAF 2018, Toulouse, France, June 29, 2018. (Vol. 2310, pp. 65–78). CEUR-WS.org.
    @inproceedings{BoronatTTC18,
      author = {Boronat, Artur},
      title = {{{YAMTL}} Solution to the {TTC} 2018 Social Media Case},
      booktitle = {Proceedings of the 11th Transformation Tool Contest, co-located with
                     the 2018 Software Technologies: Applications and Foundations, TTC@STAF
                     2018, Toulouse, France, June 29, 2018.},
      pages = {65--78},
      year = {2018},
      editor = {Garc{\'{\i}}a{-}Dom{\'{\i}}nguez, Antonio and Hinkel, Georg and Krikava, Filip},
      volume = {2310},
      publisher = {CEUR-WS.org},
      webdownload = {2018-boronat-ttc.pdf}
    }
    
  1. Boronat, A. (2019). YAMTL Solution to the TTC 2019 TT2BDD Case. In Garcı́a-Domı́nguez Antonio, G. Hinkel, & F. Krikava (Eds.), Proceedings of the 12th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2019) federation of conferences (Vol. pending, p. –). CEUR-WS.org.
    @inproceedings{2019-boronat-ttc-tt2bdd,
      author = {Boronat, Artur},
      title = {{YAMTL} {S}olution to the {TTC} 2019 {TT2BDD} {C}ase},
      booktitle = {Proceedings of the 12th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2019) federation of conferences},
      pages = {--},
      year = {2019},
      editor = {Garc{\'{\i}}a{-}Dom{\'{\i}}nguez, Antonio and Hinkel, Georg and Krikava, Filip},
      volume = {pending},
      publisher = {CEUR-WS.org},
      webdownload = {2019-boronat-ttc-tt2bdd.pdf}
    }
    
  1. Boronat, A. (2019). YAMTL Solution to the TTC 2019 BibtexToDocbook Case. In Garcı́a-Domı́nguez Antonio, G. Hinkel, & F. Krikava (Eds.), Proceedings of the 12th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2019) federation of conferences (Vol. pending, p. –). CEUR-WS.org.
    @inproceedings{2019-boronat-ttc-bib2doc,
      author = {Boronat, Artur},
      title = {{YAMTL} {S}olution to the {TTC} 2019 {B}ibtex{T}o{D}ocbook {C}ase},
      booktitle = {Proceedings of the 12th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2019) federation of conferences},
      pages = {--},
      year = {2019},
      editor = {Garc{\'{\i}}a{-}Dom{\'{\i}}nguez, Antonio and Hinkel, Georg and Krikava, Filip},
      volume = {pending},
      publisher = {CEUR-WS.org},
      webdownload = {2019-boronat-ttc-bib2doc.pdf}
    }
    
research theme picture

MDE-subtyping

Our tool facilitates the reuse of model management operations that are defined for metamodel specifications, which consist of an EMF metamodel together with its well-formedness constraints (in OCL). Specifically, our tool infers whether two metamodel specifications, whose metamodels and constraints need not be related a priori, are compatible.

  1. Boronat, A. (2017). Structural model subtyping with OCL constraints. In Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017 (pp. 194–205). ACM.
    @inproceedings{BoronatSLE17,
      author = {Boronat, Artur},
      title = {Structural model subtyping with {OCL} constraints},
      booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
                     Software Language Engineering, {SLE} 2017, Vancouver, BC, Canada,
                     October 23-24, 2017},
      pages = {194--205},
      year = {2017},
      publisher = {{ACM}},
      webdoi = {https://doi.org/10.1145/3136014.3136026},
      webdownload = {2017-boronat-sle.pdf},
      slideshare = {https://www.slideshare.net/aboronat/structural-model-subtyping-with-ocl-constraints}
    }
    
research theme picture

FMA-ATL

FMA-ATL is an executable formalization of a large excerpt of the model transformation language ATL in Maude, which uses EMF and ATL as front-end languages.

  1. Boronat, A. (2017). Experimentation with a Big-Step Semantics for ATL Model Transformations. In ICMT (Vol. 10374, pp. 3–18). Springer.
    @inproceedings{icmt17,
      author = {Boronat, Artur},
      title = {{E}xperimentation with a {B}ig-{S}tep {S}emantics for {ATL} {M}odel {T}ransformations},
      booktitle = {ICMT},
      volume = {10374},
      pages = {3--18},
      publisher = {Springer},
      series = {LNCS},
      year = {2017},
      webdoi = {http://dx.doi.org/10.1007/978-3-319-61473-1_1},
      webdownload = {2017-boronat-icmt.pdf},
      slideshare = {https://www.slideshare.net/aboronat/experimentation-with-a-bigstep-semantics-for-atl-model-transformations}
    }
    
  1. Boronat, A. (2018). A Formal Framework for Prototyping Executable Semantics in ATL. In A. Rensink & J. Sánchez Cuadrado (Eds.), ICMT (pp. 157–172). LNCS.
    @inproceedings{icmt18,
      author = {Boronat, Artur},
      editor = {Rensink, Arend and S{\'a}nchez Cuadrado, Jes{\'u}s},
      title = {{A} {F}ormal {F}ramework for {P}rototyping {E}xecutable {S}emantics in {ATL}},
      booktitle = {ICMT},
      year = {2018},
      publisher = {LNCS},
      pages = {157--172},
      webdoi = {https://doi.org/10.1007/978-3-319-93317-7_8},
      webdownload = {2018-boronat-icmt.pdf},
      slideshare = {https://www.slideshare.net/aboronat/a-formal-framework-for-prototyping-executable-semantics-in-atl}
    }