BPMN – A Logical Model and Property Analysis

DOI10.7494/dmms.2011.5.1.57zbMath1245.68064OpenAlexW1503597893WikidataQ129524875 ScholiaQ129524875MaRDI QIDQ2902368

Antoni Ligȩza

Publication date: 19 August 2012

Published in: Decision Making in Manufacturing and Services (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.7494/dmms.2011.5.1.57

zbMATH Keywords

rule-based systemssystem verificationbusiness rulesbusiness process modeling notationextended tabular treesformal analysis, declarative model

Mathematics Subject Classification ID

Operations research and management science (90B99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: BPMN – A Logical Model and Property Analysis