Adrian Rutle

From MaRDI portal
Person:444491

Available identifiers

zbMath Open rutle.adrianMaRDI QIDQ444491

List of research outcomes





PublicationDate of PublicationType
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems2024-11-12Paper
Formalization and analysis of BPMN using graph transformation systems2024-01-12Paper
Towards Multiple Model Synchronization with Comprehensive Systems2022-10-13Paper
Multilevel Typed Graph Transformations2022-09-01Paper
Comprehensive systems: a formal foundation for multi-model consistency management2022-01-11Paper
Change-Preserving Model Repair2020-02-13Paper
Multilevel coupled model transformations for precise and reusable definition of model behaviour2019-06-20Paper
A formalisation of deep metamodelling2016-08-05Paper
A formal approach to the specification and transformation of constraints in MDE2012-08-14Paper
A formalisation of the copy-modify-merge approach to version control in MDE2010-10-22Paper

Research outcomes over time

This page was built for person: Adrian Rutle

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:444491&oldid=7564614"
Powered by MediaWiki