About me

profile picture

Lecturer at University of Leicester, UK.

European Doctorate in Computer Science.

Director of Undergraduate Programmes (Computer Science/Software Engineering), AHEA.


Artur Boronat is a lecturer at the School of Informatics of the University of Leicester (UK). He holds a Ph.D. degree in Computer Science from Universitat Politècnica de València (UPV,Spain). He has been a visiting researcher at University of Illinois at Urbana-Champaign (UIUC, USA) and at Universitat Politècnica de Catalunya (UPC, Spain).

His research interests revolve around: agile software development for the cloud using JVM technology; design and implementation of DSLs using model-driven development and type theory; application of formal methods in the intersection of the two fields above.

His current h-factor is 13 (according to Scopus).

Contact information:

Office F28
Informatics Building, University of Leicester
University Rd, Leicester, LE1 7RH, UK

On social media:

Professional Activities

2021

Card image cap

Programme committee of Fundamental Approaches to Software Engineering (FASE 2021)

Part of ETAPS 2021

2020

event logo

Programme committee of (SLE 2020)

Co-located with SPLASH 2020

event logo

Co-chair of Transformation Tool Contest (TTC 2020)

Part of the Software Technologies: Applications and Foundations (STAF) federated conferences.

2019

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}
    }
    

Teaching & Admin

Taught modules

  • Convenor of CO4217/CO7217 - Agile Cloud Automation (2019/2020)

    MSc - 15 credits

  • Convenor of CO7517 - Agile Cloud Automation (2019/2020)

    MSc Distance Learning - 15 credits

Supervised projects

  • Supervisor of Bettaney, Joshua, Smart Shopping Trolley (2019/20)

    BSc final project (60 credits)

  • Supervisor of Butenas, Mantas, Smart Shopping Trolley (2019/20)

    BSc final project (60 credits)

  • Supervisor of Johnson, Matthew, An Application for Operational Services (2019/20)

    BSc final project (60 credits)

  • Supervisor of Smith, Holly, Monitoring and Testing Production Services (2019/20)

    BSc final project (60 credits)

  • Supervisor of Toopchi, Pouria, Smart Shopping Trolley (2019/20)

    BSc final project (60 credits)

  • Second marker of Blackwell, Eddie, Football Second Screen Application (2019/20)

    BSc final project (60 credits)

  • Second marker of Carroll, Sean, A vault mobile app (2019/20)

    BSc final project (60 credits)

  • Second marker of Chen, Sihan, A web-based affective task activity planner (2019/20)

    BSc final project (60 credits)

  • Second marker of Hopkinson, Joseph, Startup project (2019/20)

    BSc final project (60 credits)

  • Second marker of Nash, Ryan, Startup project: mining sentiments (2019/20)

    BSc final project (60 credits)

Admin Roles

  • BSc Director, since November 2018

    Coordination of modules in undergraduate programmes 'Computer Science', 'Software Engineering' and BSc part (three first years) of 'MComp'.

Articles and News

post picture

PhD Topics 2020

Apply for a funded GTA position, starting in September 2020, 👉here👈.

Deadline: 6 February 2020.

Currently proposed topics are:

  • Automated Management of Domain-Driven Design in Microservice Architectures
  • Incremental Syncing Policies in Data-driven Cloud Software Applications
  • Helping Patients with Chronic Conditions using AI

If you are interested in doing a PhD in the intersection between model-driven engineering and AI/microservices/cloud technology, contact me.

post picture

YAMTL: Yet Another Model Transformation Language

YAMTL is a model transformation language that provides a fresh approach to model transformation by favouring interoperability, reuse, expressivity and efficiency.

Some of its advantages are:

👍 as expressive as state-of-the-art model transformation languages, such as ATL
👍 powerful model pattern matching
👍 reuse via inheritance and module composition
👍 compiled to Java: one of the fastest transformation engines
👍 full interoperability from/to Java
👍 incremental execution
👍 Xtend tool ecosystem: templates, IDE, debugger

Check the slides used at MODELS’18: