Research Themes & Software

research theme picture

Funded opportunities

For those currenly looking for research-oriented opportunities and willing to work in model-driven engineering, AI/ML and healtcare.

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. Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, CA, November 11-15.
    @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}
    }
    
  1. Boronat, A. (2020). EMF-Syncer solution to TTC 2020 round-trip migration case. Joint Proceedings of the 13th and 14th Tool Transformation Contests, 3089. http://ceur-ws.org/Vol-3089/ttc20_paper2_Boronat.pdf
    @article{Boronat-2020-ttc20,
      author = {Boronat, Artur},
      title = {EMF-Syncer solution to {TTC} 2020 round-trip migration case},
      publisher = {CEUR Workshop Proceedings},
      journal = {Joint Proceedings of the 13th and 14th Tool Transformation Contests},
      year = {2020},
      issn = {1613-0073},
      volume = {3089},
      webdownload = {2020-boronat-ttc.pdf},
      url = {http://ceur-ws.org/Vol-3089/ttc20_paper2_Boronat.pdf}
    }
    
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. Proceedings of the 21th ACM/IEEE International Conference on MoDELS, 78–88.
    @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. (2020). Incremental execution of rule-based model transformation. International Journal on Software Tools for Technology Transfer, 1433-2787.
    @article{2020-boronat-sttt,
      author = {Boronat, Artur},
      title = {Incremental execution of rule-based model transformation},
      publisher = {Springer},
      journal = {International Journal on Software Tools for Technology Transfer},
      year = {2020},
      volume = {1433-2787},
      webdoi = {https://doi.org/10.1007/s10009-020-00583-y},
      webdownload = {2020-boronat-sttt.pdf}
    }
    
  1. Boronat, A. (2019). Offline Delta-Driven Model Transformation with Dependency Injection. FASE 2019, 11424, 134–150.
    @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. Hinkel, G., García-Domínguez, A., Schöne, R., Boronat, A., Tisi, M., Calvar, T. L., Jouault, F., Marton, J., Nyíri, T., Antal, J. B., Elekes, M., & Szárnyas, G. (2021). A cross-technology benchmark for incremental graph queries. Software and Systems Modeling, 1619-1374. https://doi.org/10.1007/s10270-021-00927-5
    @article{2021-ttc18-sosym,
      author = {Hinkel, Georg and Garc\'{i}a-Dom\'{i}nguez, Antonio and Sch\"{o}ne, Ren\'{e} and Boronat, Artur and Tisi, Massimo and Calvar, Th\'{e}o Le and Jouault, Fr\'{e}d\'{e}ric and Marton, J\'{o}zsef and Ny\'{i}ri, Tam\'{a}s and Antal, J\'{a}nos Benjamin and Elekes, M\'{a}rton and Sz\'{a}rnyas, G\'{a}bor},
      title = {A cross-technology benchmark for incremental graph queries},
      publisher = {Springer},
      journal = {Software and Systems Modeling},
      year = {2021},
      volume = {1619-1374},
      webdoi = {https://doi.org/10.1007/s10270-021-00927-5},
      url = {https://doi.org/10.1007/s10270-021-00927-5},
      webdownload = {2022-hinkel-ttc18-sosym.pdf}
    }
    
  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. 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},
      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. 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},
      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}
    }
    
  1. Boronat, A. (2021). Incremental execution of relational transformation specifications in YAMTL: a case with laboratory workflows. Joint Proceedings of the 13th and 14th Tool Transformation Contests, 3089. http://ceur-ws.org/Vol-3089/ttc21_paper7_labflow_Boronat_solution.pdf
    @article{Boronat-2021-ttc21,
      author = {Boronat, Artur},
      title = {Incremental execution of relational transformation specifications in YAMTL: a case with laboratory workflows},
      publisher = {CEUR Workshop Proceedings},
      journal = {Joint Proceedings of the 13th and 14th Tool Transformation Contests},
      year = {2021},
      issn = {1613-0073},
      volume = {3089},
      webdownload = {2021-boronat-ttc.pdf},
      url = {http://ceur-ws.org/Vol-3089/ttc21_paper7_labflow_Boronat_solution.pdf}
    }
    
  1. Joint Proceedings of the 13th and 14th Tool Transformation Contests. (2022). In A. Boronat, A. García-Domínguez, & G. Hinkel (Eds.), The TTC pandemic proceedings with CEUR-WS co-located with Software Technologies: Applications and Foundations (STAF 2021), Virtual Event, Bergen, Norway, July 17, 2020 and June 25, 2021. (Vol. 3089). CEUR Workshop Proceedings. http://ceur-ws.org/Vol-3089/
    @proceedings{Boronat-ttc20-21-proceedings,
      editor = {Boronat, Artur and Garc\'{i}a-Dom\'{i}nguez, Antonio and Hinkel, Georg},
      title = {Joint Proceedings of the 13th and 14th Tool Transformation Contests},
      booktitle = {The TTC pandemic proceedings with CEUR-WS co-located with Software Technologies: Applications and Foundations (STAF 2021), Virtual Event, Bergen, Norway, July 17, 2020 and June 25, 2021.},
      publisher = {CEUR Workshop Proceedings},
      venue = {Virtual Event, Bergen, Norway},
      year = {2022},
      volume = {3089},
      url = {http://ceur-ws.org/Vol-3089/}
    }
    
  1. Hinkel, G., García-Domínguez, A., Schöne, R., Boronat, A., Tisi, M., Calvar, T. L., Jouault, F., Marton, J., Nyı́ri Tamás, Antal, J. B., Elekes, M., & Szárnyas, G. (2022). A Cross-Technology Benchmark for Incremental Graph Queries. Softw. Syst. Model., 21(2), 755–804. https://doi.org/10.1007/s10270-021-00927-5

    To cope with the increased complexity of systems, models are used to capture what is considered the essence of a system. Such models are typically represented as a graph, which is queried to gain insight into the modelled system. Often, the results of these queries need to be adjusted according to updated requirements and are therefore a subject of maintenance activities. It is thus necessary to support writing model queries with adequate languages. However, in order to stay meaningful, the analysis results need to be refreshed as soon as the underlying models change. Therefore, a good execution speed is mandatory in order to cope with frequent model changes. In this paper, we propose a benchmark to assess model query technologies in the presence of model change sequences in the domain of social media. We present solutions to this benchmark in a variety of 11 different tools and compare them with respect to explicitness of incrementalization, asymptotic complexity and performance.

    @article{hinkel2022_ttc18_sosym,
      author = {Hinkel, Georg and Garc\'{i}a-Dom\'{i}nguez, Antonio and Sch\"{o}ne, Ren\'{e} and Boronat, Artur and Tisi, Massimo and Calvar, Th\'{e}o Le and Jouault, Fr\'{e}d\'{e}ric and Marton, J\'{o}zsef and Ny\'{\i}ri, Tam\'{a}s and Antal, J\'{a}nos Benjamin and Elekes, M\'{a}rton and Sz\'{a}rnyas, G\'{a}bor},
      title = {A Cross-Technology Benchmark for Incremental Graph Queries},
      year = {2022},
      issue_date = {Apr 2022},
      publisher = {Springer-Verlag},
      address = {Berlin, Heidelberg},
      volume = {21},
      number = {2},
      issn = {1619-1366},
      url = {https://doi.org/10.1007/s10270-021-00927-5},
      doi = {10.1007/s10270-021-00927-5},
      journal = {Softw. Syst. Model.},
      month = apr,
      pages = {755–804},
      numpages = {50},
      keywords = {Model-driven engineering, Incremental computing, Graph queries, Graph databases, Performance benchmark, Incremental queries, Graph analytics, relational databases}
    }
    
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. Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017, 194–205.
    @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}
    }
    
  1. Boronat, A. (2022). Safe reuse in modelling language engineering using model subtyping with OCL constraints. Softw. Syst. Model. https://doi.org/10.1007/s10270-022-01028-7
    @article{boronat2022_reuse,
      author = {Boronat, Artur},
      journal = {Softw. Syst. Model.},
      title = {Safe reuse in modelling language engineering using model subtyping with OCL constraints},
      issn = {1619-1374},
      year = {2022},
      url = {https://doi.org/10.1007/s10270-022-01028-7},
      webdoi = {https://doi.org/10.1007/s10270-022-01028-7}
    }
    
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. ICMT, 10374, 3–18.
    @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. Cuadrado (Eds.), ICMT (pp. 157–172). LNCS.
    @inproceedings{icmt18,
      author = {Boronat, Artur},
      editor = {Rensink, Arend and Cuadrado, Jes{\'u}s S{\'a}nchez},
      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}
    }