Graph-theoretic foundations of model-driven engineering

Laying sound foundations for the field

As an engineering discipline, it’s important that model-driven engineering is based on sound mathematical foundations. Graph transformations are a highly suitable formalism here, as models are typically captured as graphs of interconnected objects (indepent of whether they are represented visually as graphs, texts, or tables). I am interested in the use of graph theory and graph rewriting as the formal foundations of model-driven engineering. In particular, I am interested in

  • modularity and reuse in models and model transformations;
  • the interaction between transformations and consistency constraints.

Lots of research remains to be done here and I have a strong network of collaborators with whom you would be able to interact, too. There are opportunities for purely formal research as well as research around encoding formalisms in powerful tools that can analyse, compose, and validate models and model transformations.


Book Chapters


  1. GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics
    Steffen Zschaler, and Francisco Durán
    In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021


  1. Behaviour Protection in Modular Rule-Based System Specifications
    Francisco Durán, Fernando Orejas, and Steffen Zschaler
    In Recent Trends in Algebraic Development Techniques, 2013

Journal Articles


  1. Sustaining and Improving Graduated Graph Consistency: A Static Analysis of Graph Transformations
    Science of Computer Programming 214, 2021


  1. Amalgamation of Domain Specific Languages with Behaviour
    Francisco Durán, Antonio Moreno-Delgado, Fernando Orejas, and 1 more author
    Journal of Logical and Algebraic Methods in Programming 86(1), 2017

Conference and Workshop Papers


  1. Finding the Right Way to Rome: Effect-oriented Graph Transformation
    In 16th International Conference on Graph Transformation (ICGT 2023), 2023


  1. Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations
    In Proc. Int’l Conf. on Graph Transformations (ICGT’20), 2020


  1. GTS Families for the Flexible Composition of Graph Transformation Systems
    Steffen Zschaler, and Francisco Durán
    In 20th Int’l Conf. Fundamental Approaches to Software Engineering (FASE’17), 2017


  1. Correct Reuse of Transformations is Hard to Guarantee
    Rick Salay, Steffen Zschaler, and Marsha Chechik
    In Proc. 9th Int’l Conf Model Transformations (ICMT’16), 2016


  1. Transformation reuse: What is the intent?
    Rick Salay, Steffen Zschaler, and Marsha Chechik
    In Proc. 4th Workshop on the Analysis of Model Transformations (AMT’15), 2015


  1. Towards Constraint-Based Model Types: A Generalised Formal Foundation for Model Genericity
    Steffen Zschaler
    In Proc. 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO’14), 2014


  1. On the Reusable Specification of Non-functional Properties in DSLs
    Francisco DuránSteffen Zschaler, and Javier Troya
    In Proc. 5th Int’l Conf. on Software Language Engineering (SLE’12), 2013


  1. On the modularity and reusability of the rule-based specification of QoS properties of systems
    Francisco Duran, and Steffen Zschaler
    In Prelimiary Proc. 21st Int’l Workshop on Algebraic Development Techniques (WADT’2012) – Technical Report Universidad Complutense de Madrid #TR-08/12, 2012



  1. Verifiable Modularisation of DSMLs
    Steffen Zschaler, and Francisco Durán