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

DOI10.46298/LMCS-20(4:4)2024MaRDI QIDQ6635514zbMATH OpenFDO

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

Publication date 12 November 2024

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-20(4:4)2024

zbMATH Keywords

BPMNformalizationgraph transformationhigher-order model transformationmodel checking

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70)

Recommendations

• Formalization and analysis of BPMN using graph transformation systems
• Formal verification of complex business processes based on high-level Petri nets
• BPMN -- a logical model and property analysis
• Formalisations and applications of BPMN
• A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows

Cites work

• A classification of BPMN collaborations based on safeness and soundness notions
• Explicit State Model Checking for Graph Grammars
• Formalization and analysis of BPMN using graph transformation systems
• Handbook of model checking
• How much are your geraniums? Taking graph conditions beyond first order
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Nested Quantification in Graph Transformation Rules
• Transactions on Petri Nets and Other Models of Concurrency II. Special issue on concurrency in process-aware information systems

Cited in

(2)

• Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies
• Formalization and analysis of BPMN using graph transformation systems

This page was built for publication: A higher-order transformation approach to the 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 Q6635514)