output
20232026
most citedA higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems

6 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.SEShow all

3 papers · 1 filter

cs.SE2025

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing

Davide Basile

Recently, a distributed middleware application called contract automata runtime environment (CARE) has been introduced to realise service applications specified using a dialect of…

cs.SE2024★ 1 cited

Using weakest application conditions to rank graph transformations for graph repair

Lars Fritsche, Alexander Lauer, Maximilian Kratz +2

When using graphs and graph transformations to model systems, consistency is an important concern. While consistency has primarily been viewed as a binary property, i.e., a graph i…

cs.SE2023★ 6 cited

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems

Tim Kräuter, Adrian Rutle, Harald König +1

The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BP…