Composition of multilevel domain-specific modelling languages

DOI10.1016/j.jlamp.2022.100831OpenAlexW4307723143MaRDI QIDQ2095431

Yanyan Li

Publication date: 16 November 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100831

zbMATH Keywords

multilevel modellingbehviour modeling with graph transformationscomposition of multilevel modelsdomain-specific modelling languagesmodel-driven software engineering

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• Maude
• AToMPM
• Melange

Cites Work

• Amalgamation of domain specific languages with behaviour
• A formal approach to the specification and transformation of constraints in MDE
• A formalisation of the copy-modify-merge approach to version control in MDE
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Amalgamation of graph transformations: a synchronization mechanism
• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• Fundamentals of algebraic graph transformation
• Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
• Sesqui-Pushout Rewriting
• Towards Multiple Model Synchronization with Comprehensive Systems
• Multilevel Typed Graph Transformations
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Composition of multilevel domain-specific modelling languages