Formalization and analysis of BPMN using graph transformation systems

DOI10.1007/978-3-031-36709-0_11zbMATH Open1545.6806MaRDI QIDQ6535516

Tim Kräuter, Yngve Lamo, Adrian Rutle, Harald König

Publication date: 12 January 2024

zbMATH Keywords

model checkinggraph transformationformalizationBPMNhigher-order model transformation

Mathematics Subject Classification ID

Could not fetch data.

Cites Work

• Nested Quantification in Graph Transformation Rules
• How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order
• Title not available (Why is that?)

Related Items (1)

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

This page was built for publication: Formalization and analysis of BPMN using graph transformation systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535516)