dc.contributor.author | Rodríguez, Alejandro | |
dc.contributor.author | Macias Gomez de Villar, Fernando | |
dc.contributor.author | Durán, Francisco | |
dc.contributor.author | Rutle, Adrian | |
dc.contributor.author | Wolter, Uwe Egbert | |
dc.date.accessioned | 2023-03-16T11:53:18Z | |
dc.date.available | 2023-03-16T11:53:18Z | |
dc.date.created | 2023-01-24T01:23:31Z | |
dc.date.issued | 2022 | |
dc.identifier.citation | Journal of Logical and Algebraic Methods in Programming. 2022, 1-37. | en_US |
dc.identifier.issn | 2352-2208 | |
dc.identifier.uri | https://hdl.handle.net/11250/3058751 | |
dc.description.abstract | Multilevel Modelling (MLM) approaches make it possible for designers and modellers to work with an unlimited number of abstraction levels to specify their domain-specific modelling languages (DSMLs). To fully exploit MLM techniques, we need powerful model composition operators. Indeed, the composition of DSMLs is becoming increasingly relevant to the modelling community either because some DSMLs may share commonalities that we want to make reusable, or because we want to facilitate interoperability between DSMLs. In this paper, we propose a composition mechanism for structure and behaviour of multilevel modelling hierarchies. Our approach facilitates the inclusion of additional eatfures while keeping a clear separation of concerns that enhances modularity. We provide a formal semantics of the constructions based on category theory and graph transformations, and show their use in practice on a case study. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Elsevier | en_US |
dc.rights | Navngivelse 4.0 Internasjonal | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/deed.no | * |
dc.title | Composition of multilevel domain-specific modelling languages | en_US |
dc.type | Peer reviewed | en_US |
dc.type | Journal article | en_US |
dc.description.version | publishedVersion | en_US |
dc.rights.holder | © 2022 The Author(s) | en_US |
dc.source.pagenumber | 1-37 | en_US |
dc.source.volume | 130 | en_US |
dc.source.journal | Journal of Logical and Algebraic Methods in Programming | en_US |
dc.identifier.doi | 10.1016/j.jlamp.2022.100831 | |
dc.identifier.cristin | 2113660 | |
dc.source.articlenumber | 100831 | en_US |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 2 | |