Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT

DOI10.1007/978-3-319-99840-4_5MaRDI QIDQ6164536zbMATH OpenOpenAlexFDO

Authors Francisco Durán, Camilo Rocha, Gwen Salaün

Publication date 28 July 2023

Published in Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-99840-4_5

Mathematics Subject Classification ID

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

Recommendations

• Formal verification of complex business processes based on high-level Petri nets
• BPMN -- a logical model and property analysis
• A rigorous methodology for specification and verification of business processes
• Formalisations and applications of BPMN
• Property specifications for workflow modelling

Cited in

(9)

• Business processes resource management using rewriting logic and deep-learning-based predictive monitoring
• Property specifications for workflow modelling
• Formal verification of complex business processes based on high-level Petri nets
• A rigorous methodology for specification and verification of business processes
• Probabilistic model checking of BPMN processes at runtime
• Verification and validation of formal data-centric business models
• Verification of time-aware business processes using constrained Horn clauses
• Soundness verification of data-aware process models with variable-to-variable conditions
• Refactoring of multi-instance BPMN processes with time and resources

This page was built for publication: Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT

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