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

DOI10.1007/978-3-319-99840-4_5zbMath1517.68231OpenAlexW2892218186MaRDI QIDQ6164536

Camilo Rocha, Gwen Salaün, Francisco Durá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

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

Related Items (1)

Business processes resource management using rewriting logic and deep-learning-based predictive monitoring

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