activity
20192025
most citedMultilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour

13 citations · 27 across the 9 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

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…