@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/}
}
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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@techreport{Boronat17FMA,
author = {Boronat, Artur},
title = {{W}ell-{B}ehaved {M}odel {T}ransformations with {M}odel {S}ubtyping},
journal = {CoRR},
volume = {abs/1703.08113},
year = {2017}
}
@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}
}
@incollection{BergmannBHTRV11,
author = {Bergmann, G{\'{a}}bor and Boronat, Artur and Heckel, Reiko and Torrini, Paolo and R{\'{a}}th, Istv{\'{a}}n and Varr{\'{o}}, D{\'{a}}niel},
title = {Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
pages = {561--584},
year = {2011},
crossref = {DBLP:books/sp/sensoria11},
url = {http://dx.doi.org/10.1007/978-3-642-20401-2_27},
doi = {10.1007/978-3-642-20401-2_27},
timestamp = {Wed, 16 Nov 2011 12:55:18 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/books/sp/sensoria2011/BergmannBHTRV11},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/sp/sensoria11,
editor = {Wirsing, Martin and H{\"{o}}lzl, Matthias M.},
title = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {LNCS},
volume = {6582},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2},
doi = {10.1007/978-3-642-20401-2},
isbn = {978-3-642-20400-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{Lara-ICGT10,
author = {de Lara, Juan and Guerra, Esther and Boronat, Artur and Heckel, Reiko and Torrini, Paolo},
title = {Graph Transformation for Domain-Specific Discrete Event
Time Simulation},
booktitle = {ICGT},
pages = {266-281},
series = {LNCS 6372},
year = {2010}
}
@article{BoronatM-FACS10,
author = {Boronat, Artur and Meseguer, Jos\'{e}},
title = {{An Algebraic Semantics for MOF}},
journal = {Formal Aspects of Computing},
publisher = {Springer},
volume = {22},
issue = {3},
year = {2010},
pages = {269-296}
}
@inproceedings{olveczky-aadl,
author = {{\"O}lveczky, Peter Csaba and Boronat, Artur and Meseguer, Jos{\'e}},
title = {{Formal Semantics and Analysis of Behavioral AADL Models
in Real-Time Maude}},
booktitle = {FMOODS/FORTE},
publisher = {LNCS 6117},
year = {2010},
pages = {47-62}
}
@inproceedings{boronat-olveczky-fase10,
author = {Boronat, Artur and {\"O}lveczky, Peter Csaba},
title = {{Formal Real-Time Model Transformations in MOMENT2}},
booktitle = {FASE},
publisher = {LNCS 6013},
year = {2010},
pages = {29-43}
}
@inproceedings{moment2_demo,
author = {Boronat, Artur and Meseguer, Jos{\'e}},
title = {{MOMENT2}: {EMF} Model Transformations in {M}aude},
booktitle = {JISBD},
year = {2009},
pages = {178-179}
}
@inproceedings{boronat-heckel-meseguer-fase09,
author = {Boronat, Artur and Heckel, Reiko and Meseguer, Jos{\'e}},
title = {{Rewriting Logic Semantics and Verification of Model Transformations}},
booktitle = {FASE},
year = {2009},
publisher = {LNCS 5503},
pages = {18--33}
}
@inproceedings{BoronatM-TOOLS09,
author = {Boronat, Artur and Meseguer, Jos{\'e}},
title = {{Algebraic Semantics of OCL-constrained Metamodel Specifications}},
booktitle = {TOOLS (47)},
publisher = {LNBIP 33},
year = {2009},
pages = {96--115}
}
@inproceedings{BoronatM-FASE08,
author = {Boronat, Artur and Meseguer, Jos\'{e}},
title = {{An Algebraic Semantics for MOF}},
booktitle = {FASE},
publisher = {LNCS 4961},
year = {2008},
pages = {377-391}
}
@inproceedings{multi-modelling,
author = {Boronat, Artur and Knapp, Alexander and Meseguer, Jos{\'e} and Wirsing, Martin},
title = {{What Is a Multi-modeling Language?}},
booktitle = {WADT},
publisher = {LNCS 5486},
year = {2008},
pages = {71-87}
}
@inproceedings{iceis08,
author = {Mora, Beatriz and Garc\'{\i}a, F{\'e}lix and Ruiz, Francisco and Piattini, Mario and Boronat, Artur and G{\'o}mez, Abel and Cars\'{\i}, Jos{\'e} A. and Ramos, Isidro},
title = {{Software Measurement by Using QVT Transformations in an
MDA Context}},
booktitle = {ICEIS (1)},
year = {2008},
pages = {117-124}
}
@article{BoronatCRL05-EVOL06,
author = {Boronat, Artur and Cars\'{\i}, Jos{\'e} A. and Ramos, Isidro and Letelier, Patricio},
title = {{Formal Model Merging Applied to Class Diagram Integration}},
journal = {ENTCS},
volume = {166},
year = {2007},
pages = {5-26}
}
@phdthesis{Boronat:PhD:2007,
author = {Boronat, Artur},
title = {{MOMENT: a formal framework for MOdel manageMENT}},
school = {{U}niversitat {P}olit\`{e}cnica de {V}al\`{e}ncia ({UPV}), {S}pain},
year = {2007},
type = {{PhD thesis}}
}
@inproceedings{BoronatOGRC:ECMDA:2006,
author = {Boronat, Artur and Oriente, Joaqu\'{\i}n and G{\'o}mez, Abel and Ramos, Isidro and Cars\'{\i}, Jos{\'e} A.},
title = {{An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework.}},
booktitle = {ECMDA-FA},
year = {2006},
pages = {316-330}
}
@inproceedings{BoronatCR-FASE06,
author = {Boronat, Artur and Cars\'{\i}, Jos{\'e} A. and Ramos, Isidro},
title = {{Algebraic Specification of a Model Transformation Engine}},
booktitle = {FASE},
series = {LNCS 2922},
year = {2006},
pages = {262-277}
}
@article{BoronatCR:EASST:2006,
author = {Boronat, Artur and Cars\'i, Jos\'e \'A. and Ramos, Isidro},
title = {{Exogenous Model Merging by means of Model Management Operators}},
journal = {ECEASST},
year = {2006},
volume = {3}
}
@inproceedings{BoronatCR-ECMDAFA05,
author = {Boronat, Artur and Cars\'{\i}, Jos{\'e} A. and Ramos, Isidro},
title = {{Automatic Support for Traceability in a Generic Model Management Framework.}},
booktitle = {ECMDA-FA},
year = {2005},
series = {LNCS 3748},
pages = {316-330}
}
@article{BoronatCR05,
author = {Boronat, Artur and Cars\'{\i}, Jos{\'e} A. and Ramos, Isidro},
title = {{An Algebraic Baseline for Automatic Transformations in MDA}},
journal = {ENTCS},
volume = {127},
number = {3},
year = {2005},
pages = {31-47}
}
@inproceedings{BoronatCR:CSMR:2005,
author = {Boronat, Artur and Cars\'{\i}, Jos{\'e} A. and Ramos, Isidro},
title = {{Automatic Reengineering in MDA Using Rewriting Logic as
Transformation Engine}},
booktitle = {CSMR},
publisher = {IEEE Computer Society},
year = {2005},
pages = {228-231}
}