Publications

@conference{Sadovykh:TOOLS:2019,

title = {MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges},

author = {Andrey Sadovykh and Dragos Truscan and Wasif Afzal and Hugo Bruneliere and Adnan Ashraf and Abel G\'{o}mez and Alexandra Espinosa and Gunnar Widforss and Pierluigi Pierini and Elizabeta Fourneret and Alessandra Bagnato},

editor = {Manuel Mazzara and Jean-Michel Bruel and Bertrand Meyer and Alexander Petrenko},

doi = {10.1007/978-3-030-29852-4_33},

isbn = {978-3-030-29852-4},

year  = {2019},

date = {2019-10-08},

booktitle = {Software Technology: Methods and Tools. TOOLS 2019},

volume = {11771},

pages = {393--405},

publisher = {Springer International Publishing},

address = {Cham},

series = {Lecture Notes in Computer Science},

abstract = {MegaM@Rt2 Project is a major European effort towards the model-driven engineering of complex Cyber-Physical systems combined with runtime analysis. Both areas are dealt within the same methodology to enjoy the mutual benefits through sharing and tracking various engineering artifacts. The project involves 27 partners that contribute with diverse research and industrial practices addressing real-life case study challenges stemming from 9 application domains. These partners jointly progress towards a common framework to support those application domains with model-driven engineering, verification, and runtime analysis methods. In this paper, we present the motivation for the project, the current approach and the intermediate results in terms of tools, research work and practical evaluation on use cases from the project. We also discuss outstanding challenges and proposed approaches to address them.},

keywords = {Cyber-Physical Systems (CPS), MegaM@Rt2, Megamodelling, Model-Driven Engineering (MDE), Runtime, Traceability},

pubstate = {published},

tppubtype = {conference}

}

@conference{Bruneliere:MDEDeRun:2018,

title = {Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap},

author = {Hugo Bruneliere and Romina Eramo and Abel G\'{o}mez and Valentin Besnard and Jean Michel Bruel and Martin Gogolla and Andreas K\"{a}stner and Adrian Rutle},

editor = {Manuel Mazzara and Iulian Ober and Gwen Sala\"{u}n},

doi = {10.1007/978-3-030-04771-9_40},

isbn = {978-3-030-04771-9},

year  = {2018},

date = {2018-12-06},

booktitle = {Software Technologies: Applications and Foundations},

volume = {11176},

pages = {536--543},

publisher = {Springer International Publishing},

address = {Cham},

abstract = {This paper reports on the first Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (also called MDE@DeRun 2018) that took place during the STAF 2018 week. It explains the main objectives, content and results of the event. Based on these, the paper also proposes initial directions to explore for further research in the workshop area.},

keywords = {Design Time, Model-Driven Engineering (MDE), Runtime, Traceability},

pubstate = {published},

tppubtype = {conference}

}

@conference{Diskin:FASE:2017,

title = {Traceability Mappings as a Fundamental Instrument in Model Transformations},

author = {Zinovy Diskin and Abel G\'{o}mez and Jordi Cabot },

editor = {Marieke Huisman and Julia Rubin},

doi = {10.1007/978-3-662-54494-5_14},

isbn = {978-3-662-54494-5},

year  = {2017},

date = {2017-03-22},

booktitle = {Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings},

volume = {10202},

pages = {247--263},

publisher = {Springer},

address = {Berlin, Heidelberg},

series = {Lecture Notes in Computer Science},

abstract = {Technological importance of traceability mappings for model transformations is well-known, but they have often been considered as an auxiliary element generated during the transformation execution and providing accessory information. This paper argues that traceability mappings should instead be regarded as a core aspect of the transformation definition, and a key instrument in the transformation management.},

keywords = {ATL, Category Theory, Model Transformation (MT), Traceability},

pubstate = {published},

tppubtype = {conference}

}