We are thrilled to announce the invited speakers from across the STAF 24 conferences:
WADT’24 #1: Bernhard Möller, Augsburg University (Germany)
Some Uses of Modal Semirings
Monday 8 July, Waaier 3, 09:00
Abstract: We survey one branch of algebraic logic, namely modal semirings. They provide compact algebraic definitions of actions, with choice + and sequential composition . , together with multi-modal operators box and diamond that allow reasoning about successors and predecessors of states/worlds. Particular instances are homogeneous binary relations or sets of finite and infinite non-empty traces under fusing concatenation.
As main examples of applications we present obstacle analysis for geographic wayfinders, Hoare Logic, O’Hearn’s Incorrectness Logic, General Correctness Logic, as well as the temporal logic CTL* and its sublogics CTL and LTL. We also give glimpses at Epistemic Logics of belief and knowledge, pointer structures and Separation Logic, and preference database queries.
WADT’24 #2: Jan A. Bergstra, University of Amsterdam (The Netherlands)
Common Meadows with Infinite Values
Monday 8 July, Waaier 3, 15:30
Abstract: Common meadows are enlargements of a field with an error value and a division function which is made total by setting 1/0 equal to said error value. We discuss properties and axiomatisations of common meadows, and of signed common meadows.
Moreover, we discuss signed infinite values which deviate from the infinite value of Anderson’s transrationals so that fracterm flattening is preserved. Using a modified quotient construction a transformation to a different enlargement of signed common meadows with infinite values.
ECMFA’24: Agnes Koschmider, Bayreuth University (Germany)
From Data Chaos to Decision Making
Tuesday 9 July, Waaier 2, 09:00
Abstract: This talk addresses how to efficiently process unstructured data for process mining. The volume of data is continuously increasing and the ability and demand to efficiently analyze the data has become even more crucial. Although several suitable techniques and tools already exist to efficiently process and analyze unstructured data, the challenge still exists how to intervene process orientation into unstructured data analysis. This combination promises uncovering new insights in terms of causal effects or bottlenecks in data that could not be directly found with alternative technique. Finally, involving users in such an analytics pipeline gives confidence in decision-making. This talk summarizes challenges, presents use cases, and gives an outlook on prospective research projects for process mining on unstructured data.
ICGT’24 #1: Mariëlle Stoelinga, University of Twente (The Netherlands)
Graphs, Logics and Transformations for Effective Risk Analysis
Wednesday 10 July, Waaier 2, 09:15
Abstract: Risk management is a fundamental process to ensure the reliable operation of systems, services, processes, and missions in our society. Examples range from self-driving cars, power grids, credit card payments, and military missions. Proper risk management techniques enable organizations to achieve their goals in an effective way and take effective mitigating measures.
Risk models support the risk management process in the identification, priorisation, and quantification of risks via effective preventive and corrective actions. Numerous industrial risk models exist. In this talk, I will focus on fault trees and attack trees, which are both top-down models that break high-level system risks into their causes, until the root causes are found. While fault trees focus on safety risks, i.e., unintended failures, attack trees take into account security risks, i.e., disruptions due to malicious attacks.
In this talk, I will take a graph-theoretic perspective on fault trees, attack trees, and their combination.
- First, I will present a formal semantics, which is surprisingly intricate given the fact that there are only a handful of logical gates to propagate failures and attacks.
- Next, I will propose several algorithms to analyse quantitative attack trees, based on BDDs and stochastic model checking, highlighting the role of graph transformations to make this process more efficient.
- Finally, I will present risk query logics, which allows engineers to query large attack and fault tree models.
Together these ingredients allow organisations to make better decisions on mitigating measures, making decisions more systematic, transparent and evidence-based–the increased constraints imposed by international standards, together with the ever-growing penetration of AI components in high-tech systems make rigorous and powerful risk management more important than ever.
MeSS’24: Giancarlo Guizzardi, University of Twente (The Netherlands)
It’s Patterns all the Way Down: Patterns, Anti-Patterns and Pattern Languages for Next-Generation Semantic Modelling
Wednesday 10 July, Waaier 3, 11:00
Abstract: Perhaps the most fundamental notion for successful large-scale collaboratively-built systems is Semantic Interoperability. This talk defends the view that to meet the requirements for full semantic interoperability, we need to create an engineering discipline that is based on the followings tenets:
- (i) real-world semantics should take precedence over pure formal semantics;
- (ii) real-world semantics is very much about “Ontology” in the true original sense of the term;
- (iii) before considering automated reasoning and computational non-functional requirements (e.g., computational tractability), semantic representation systems must strive for precision, expressivity, truthfulness to the underlying conceptualisation, and pragmatic efficiency;
- (iv) we need proper foundational theories and engineering (methodological, computational) tools based on these.
The talk presents the results of a two-decades research program aimed at addressing these issues. The program is based on two fundamental pillars: the development and use of foundational axiomatic theories (foundational ontologies) and principles in the design of semantic models (domain ontologies, knowledge graphs), and the use of patterns as central complexity management tools in this process. After introducing an Ontology Pattern Language (OPL) for Semantic Modelling that is truly ontology-based, I will discuss Ontological Anti-Patterns (OAPs) as fundamental tools for model validation. Moreover, I will elaborate on the role of having execution semantics of models for model understanding, and validation, and how this approach associated with a particular machine learning technique can support sustainable Anti-Pattern detection and rectification as well as model evolution.
AgileMDE’24: Iván Alfonso, Luxembourg Institute of Science and Technology (Luxembourg)
Low-Code and Low-Modeling Strategies for Agile MDE Processes
Wednesday 10 July, Waaier 3, 13:30
Abstract: The rise of agile methodologies has reshaped the landscape of software development and operation since the inception of the Agile Manifesto in 2001. Today, novel approaches are emerging to synergise agile methodologies with Model-Driven Engineering (Agile MDE), presenting additional advantages in terms of development efficiency, software quality, and collaborative workflows.
However, the adoption of MDE can pose challenges due to its demand for specialised techniques, knowledge, and tools, creating barriers in certain fields and industries. In this talk, we delve into the synergy of Low-Code and Low-Modeling to support and streamline stages of the development cycle of applications following the MDE approach.
Low-Modeling is focused on supporting the design of model, enabling diverse user participation in the application development process. Simultaneously, Low-Code, sharing a similar objective but focused on code, minimises the need for manual coding by automating the code generation process. Together, these approaches not only streamline development processes but also address the challenge of adopting Agile MDE by reducing complexity.
ICGT’24 #2: Tiago Prince Sales, University of Twente (The Netherlands)
Ontological foundations for building knowledge graphs
Thursday 11 July, Waaier 2, 09:00
Abstract: Knowledge graphs (KG) are gaining popularity in a wide range of domains and applications, both in industry and academia. A popular way to build them is by using the W3C Semantic Web standards, such as the Resource Description Framework (RDF) and the Web Ontology Language (OWL). A crucial step in the engineering of a KG is the design of the ontology that will be used to annotate its nodes and edges to provide real-world semantics. In this talk, I will discuss and illustrate how designing the right ontology for your KG presents both ontological and engineering challenges. The former includes those related to creating a model that accurately reflects how a community understands a domain of interest, while the latter consists of coming up with solutions to address the expressivity limitations of the languages we use. As an answer to these challenges, we have created gUFO, an OWL implementation of the Unified Foundational Ontology. In the talk, I will discuss how gUFO brings together a number of micro-theories from philosophy, logic, and cognitive science to offer knowledge engineers a foundation upon which they can build domain ontologies in a faster and more principled way.
LLM4MDE’24: Juri Di Rocco, University of L’Aquila (Italy)
Harnessing Large Language Models for Model-Driven Engineering: Current Applications and Future Directions
Thursday 11 July, Waaier 3, 11:15
Abstract: Model-Driven Engineering (MDE) has advanced significantly with the integration of Machine Learning (ML) and Deep Learning (DL) techniques. To understand the transformative potential of Large Language Models (LLMs) in MDE, we first explore the spectrum of artificial intelligence: from Artificial Narrow Intelligence (ANI), which specializes in specific MDE tasks, to the more versatile Artificial General Intelligence (AGI).
We will look at an overview of current LLM applications in MDE, emphasizing their role in automating tasks such as model repository classification and developing sophisticated recommender systems.
Furthermore, we provide a comprehensive outline of the technical considerations for integrating LLMs into MDE workflows. This practical guide is designed to equip researchers and practitioners with the necessary knowledge to seamlessly implement LLMs into their MDE processes.
Looking ahead, we will propose a targeted research agenda to explore the future interplay of LLMs and MDE, identifying key challenges and opportunities. This roadmap envisions the use of LLM techniques to enhance the management, exploration, and evolution of modeling ecosystems.
Accepted Papers
Mon 8 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 60mKeynote | WADT Keynote 1 - Some Uses of Modal Semirings STAF Keynotes File Attached | ||
10:00 30mTalk | Bialgebraic Representation of Controlled Coordination of Interacting System Components WADT File Attached |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break STAF Catering |
11:00 - 12:30 | |||
11:00 30mTalk | Separating Code and Semantics for Maintainability WADT File Attached | ||
11:30 30mTalk | Practical Source Code Weaving for Distributed Workflow Abstractions WADT P: Silviu-George Pantelimon National University of Science and Technology Politehnica Bucharest, Radu Ioan Ciobanu National University of Science and Technology Politehnica Bucharest, Ciprian Dobre National University of Science and Technology Politehnica Bucharest File Attached | ||
12:00 30mTalk | The Algebraic Structure of Parametric Array Theories WADT File Attached |
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Catering |
13:30 - 15:00 | ECMFA Session 1ECMFA at Waaier 2 Chair(s): Adrian Rutle Western Norway University of Applied Sciences | ||
13:30 20mBreak | Prolonged lunch break ECMFA | ||
13:50 10mDay opening | Conference opening ECMFA | ||
14:00 30mResearch paper | Automated Proof Tactics for Model Transformation ECMFA A: Julien Cohen Nantes Université, A: Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), A: Rémi Douence IMT Atlantique | ||
14:30 30mResearch paper | A Variance-Based Drift Metric for Inconsistency Estimation in Model Variant Sets ECMFA A: Karl Kegel Technische Universität Dresden, A: Sebastian Götz Technische Universität Dresden, A: Ronny Marx Technische Universität Dresden, A: Uwe Aßmann TU Dresden, Germany |
13:30 - 15:00 | |||
13:30 60mKeynote | WADT Keynote 2 - Common Meadows with Infinite Values STAF Keynotes File Attached | ||
14:30 30mTalk | Categories of Algebraic Rewrite Rules WADT File Attached |
15:00 - 15:30 | |||
15:00 30mCoffee break | Break STAF Catering |
15:30 - 17:00 | |||
15:30 30mResearch paper | Flexible Modelling: a Systematic Literature Review ECMFA | ||
16:00 30mResearch paper | Conflict-based Change Awareness for Collaborative Model-driven Software Engineering ECMFA A: Edvin Herac Johannes Kepler University, A: Luciano Marchezan Johannes Kepler Universität Linz, A: Wesley Assunção North Carolina State University, A: Alexander Egyed Johannes Kepler University Linz | ||
16:30 30mTalk | Day closing ECMFA |
15:30 - 17:30 | |||
15:30 30mTalk | On the Algebra of Reactive Graphs WADT David Tinoco University of Aveiro, P: Alexandre Madeira University of Aveiro, Manuel A. Martins University of Aveiro, José Proença CISTER & Faculty of Sciences, University of Porto File Attached | ||
16:00 30mTalk | Formal Specification with Many-Logics Modal Logic WADT Alfredo R. Freire University of Brası́lia, P: Manuel A. Martins University of Aveiro, Alexandre Madeira University of Aveiro File Attached | ||
16:30 30mTalk | Reconciling Quantum Theory and Process Calculi via Physically Admissible Schedulers WADT Lorenzo Ceragioli IMT School for Advanced Studies, Giuseppe Lomurno University of Pisa, P: Gabriele Tedeschi University of Pisa File Attached | ||
17:00 30mTalk | Topological Inquiry in Abstract Model Theory WADT P: Asterios Gkantzounis National Technical University of Athens, Stefaneas Petros National Technical University of Athens File Attached |
Tue 9 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mKeynote | ECMFA Keynote - From Data Chaos to Decision Making STAF Keynotes |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break STAF Catering |
11:00 - 12:30 | |||
11:00 30mResearch paper | Towards a Semantically Useful Definition of Conformance with a Reference Model ECMFA A: Marco Konersmann , A: Bernhard Rumpe RWTH Aachen University, A: Max Stachon RWTH Aachen University, A: Sebastian Stüber RWTH Aachen University, Chair of Software Engineering, A: Valdes Voufo RWTH Aachen University | ||
11:30 30mResearch paper | Integrating the Support for Machine Learning of Inter-Model Relations in Model Views ECMFA A: James Pontes Miranda IMT Atlantique, LS2N (UMR CNRS 6004), A: Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004), A: Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), A: Gerson Sunyé IMT Atlantique; Nantes Université; École Centrale Nantes | ||
12:00 30mResearch paper | An Empirical Study on Leveraging LLMs for Metamodels and Code Co-evolution ECMFA A: Zohra Kaouter Kebaili Univ Rennes, CNRS, IRISA, A: Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, A: Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France, A: Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France |
13:30 - 15:00 | |||
13:30 30mResearch paper | A Method for Template-based Architecture Modeling and its Application to Digital Twins ECMFA A: Daniel Lehner Johannes Kepler University Linz, A: Jérôme Pfeiffer University of Stuttgart, Germany, A: Stefan Klikovits Johannes Kepler University, Linz, A: Andreas Wortmann University of Stuttgart, A: Manuel Wimmer JKU Linz | ||
14:00 30mResearch paper | Modeling Variability of Hierarchical Component-Based Systems ECMFA A: Nico Jansen Software Engineering, RWTH Aachen University, A: Jérôme Pfeiffer University of Stuttgart, Germany, A: Bernhard Rumpe RWTH Aachen University, A: David Schmalzing RWTH Aachen University, A: Andreas Wortmann University of Stuttgart | ||
14:30 30mTalk | Discussion ECMFA |
15:30 - 17:00 | |||
15:30 45mTalk | Discussion ECMFA | ||
16:15 45mDay closing | Conference closing ECMFA |
Wed 10 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | ICGT Keynote SessionSTAF Keynotes / ICGT Research Papers at Waaier 2 Chair(s): Jens Kosiol Universität Kassel | ||
09:00 15mDay opening | ICGT Opening ICGT Research Papers | ||
09:15 75mKeynote | ICGT Keynote: Graphs, Logics and Transformations for Effective Risk Analysis STAF Keynotes |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break STAF Catering |
11:00 - 12:30 | |||
11:00 30mTalk | Causal Graph Dynamics and Kan ExtensionsICGT Best Theory Paper ICGT Research Papers Pre-print File Attached | ||
11:30 30mTalk | The ‘Causality’ Quagmire for Formalised Bond Graphs ICGT Research Papers | ||
12:00 30mTalk | Tracelet Hopf Algebras and Decomposition SpacesJournal-first paper ICGT Research Papers Link to publication DOI Media Attached |
11:00 - 12:30 | MeSS Keynote SessionSTAF Keynotes at Waaier 3 Chair(s): Stefan Klikovits Johannes Kepler University, Linz | ||
11:00 90mKeynote | MeSS Keynote: It's Patterns all the Way Down: Patterns, Anti-Patterns and Pattern Languages for Next-Generation Semantic Modelling STAF Keynotes Media Attached |
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Catering |
13:30 - 15:00 | |||
13:30 90mTutorial | Gentle Introduction to LMNtal: Language Design and ImplementationTutorial ICGT Research Papers Link to publication Pre-print |
13:30 - 15:00 | |||
13:30 90mKeynote | AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Processes STAF Keynotes |
15:00 - 15:30 | |||
15:00 30mCoffee break | Break STAF Catering |
15:30 - 17:00 | ICGT Session 3ICGT Research Papers at Waaier 2 Chair(s): Fernando Orejas Universitat Politècnica de Catalunya | ||
15:30 30mTalk | Checking Transaction Isolation Violations with Graph Queries ICGT Research Papers Stefania Dumbrava ENSIIE & Institut Polytechnique de Paris, Zhao Jin ENSIIE, Burcu Kulahcioglu Ozkan Delft University of Technology, P: Jingxuan Qiu Delft University of Technology | ||
16:00 30mTalk | Modular language product lines: concept, tool and analysisJournal-first paper ICGT Research Papers Juan de Lara Autonomous University of Madrid, Esther Guerra Universidad Autónoma de Madrid, P: Paolo Bottoni Sapienza University of Rome Link to publication DOI | ||
16:30 30mTalk | Taint Analysis for Graph APIs Focusing on Broken Access ControlICGT Best Applications Paper ICGT Research Papers Leen Lambers BTU Cottbus Senftenberg, P: Lucas Sakizloglou Brandenburgische Technische Universität Cottbus-Senftenberg, Osama Al-Wardi Brandenburgische Technische Universität Cottbus-Senftenberg, Taisiya Khakharova Brandenburgische Technische Universität Cottbus-Senftenberg DOI |
Thu 11 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | ICGT Keynote SessionICGT Research Papers / STAF Keynotes at Waaier 3 Chair(s): Jens Kosiol Universität Kassel | ||
09:00 60mKeynote | ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs STAF Keynotes | ||
10:00 30mTalk | Can I teach graph rewriting to my chatbot? ICGT Research Papers File Attached |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break STAF Catering |
11:00 - 12:30 | |||
11:00 30mTalk | A Bigraph Paper of Sorts ICGT Research Papers | ||
11:30 30mTalk | Extension and Restriction of Derivations in Adhesive Categories ICGT Research Papers P: Hans-Jörg Kreowski University of Bremen, Aaron Lye German Aerospace Center, Institute for the Protection of Maritime Infrastructures, Aljoscha Windhorst University of Bremen | ||
12:00 30mTalk | Generalized Weighted Type Graphs for Termination of Graph Transformation Systems ICGT Research Papers |
11:00 - 12:30 | |||
11:00 15mDay opening | LLM4MDE Opening LLM4MDE File Attached | ||
11:15 60mKeynote | LLM4MDE Keynote: Harnessing Large Language Models for Model-Driven Engineering: Current Applications and Future Directions STAF Keynotes File Attached |
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Catering |
13:30 - 15:00 | |||
13:30 30mTalk | A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models ICGT Research Papers P: Christopher Stone University of St Andrews, András Z. Salamon University of St Andrews, Ian Miguel University of St Andrews | ||
14:00 30mTalk | Graph Algebras and Derived Graph OperationsJournal-first paper ICGT Research Papers Link to publication DOI | ||
14:30 30mTalk | Linear-Time Graph Programs for Unbounded-Degree Graphs ICGT Research Papers P: Ziad Ismaili Alaoui Department of Computer Science, University of York, Detlef Plump University of York |
13:30 - 15:00 | |||
13:30 30mTalk | From Image to UML: First Results of Image-Based UML Diagram Generation using LLMs LLM4MDE P: Aaron Conrardy Luxembourg Institute of Science and Technology, A: Jordi Cabot Luxembourg Institute of Science and Technology | ||
14:00 30mTalk | LowcoBot: Towards Chatting With Low-Code Platforms LLM4MDE P: Francisco Martínez-Lasaca Universidad Autónoma de Madrid, A: Pablo Díez , A: Esther Guerra Universidad Autónoma de Madrid, A: Juan de Lara Autonomous University of Madrid Pre-print | ||
14:30 30mMeeting | Discussion LLM4MDE |
15:30 - 17:00 | ICGT Session 6ICGT Research Papers at Waaier 1 Chair(s): Arend Rensink University of Twente, The Netherlands | ||
15:30 30mTalk | Deriving Delay-Robust Timed Graph Transformation System Models ICGT Research Papers P: Mustafa Ghani Hasso Plattner Institute, University of Potsdam, Sven Schneider Hasso-Plattner-Institut, Universität Potsdam
, Maria Maximova Hasso-Plattner-Institut für Digital Engineering gGmbH, Holger Giese Hasso Plattner Institute, University of Potsdam | ||
16:00 30mTalk | Localized RETE for Incremental Graph Queries ICGT Research Papers P: Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam Pre-print | ||
16:30 30mTalk | Using application conditions to rank graph transformations for graph repair ICGT Research Papers Lars Fritsche TU Darmstadt, Germany, P: Alexander Lauer Philipps-Universität Marburg, Andy Schürr TU Darmstadt, Gabriele Taentzer Philipps-Universität Marburg Pre-print |