Adrian Rutle

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems Logical Methods in Computer Science	2024-11-12	Paper
Formalization and analysis of BPMN using graph transformation systems	2024-01-12	Paper
Towards multiple model synchronization with comprehensive systems Fundamental Approaches to Software Engineering	2022-10-13	Paper
Multilevel typed graph transformations Graph Transformation	2022-09-01	Paper
Comprehensive systems: a formal foundation for multi-model consistency management Formal Aspects of Computing	2022-01-11	Paper
Change-Preserving Model Repair Fundamental Approaches to Software Engineering	2020-02-13	Paper
Multilevel coupled model transformations for precise and reusable definition of model behaviour Journal of Logical and Algebraic Methods in Programming	2019-06-20	Paper
A formalisation of deep metamodelling Formal Aspects of Computing	2016-08-05	Paper
A formal approach to the specification and transformation of constraints in MDE The Journal of Logic and Algebraic Programming	2012-08-14	Paper
A formalisation of the copy-modify-merge approach to version control in MDE The Journal of Logic and Algebraic Programming	2010-10-22	Paper

Research outcomes over time

This page was built for person: Adrian Rutle