Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations

DOI10.1016/J.JLAMP.2020.100630MaRDI QIDQ1996863zbMATH OpenOpenAlexWikidataFDO

Authors Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re, Francesco Tiezzi

Publication date 26 February 2021

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2020.100630

zbMATH Keywords

classificationsoundnessoperational semanticssafenessbusiness process modellingBPMN collaboration

Mathematics Subject Classification ID

Management decision making, including multiple objectives (90B50) Theory of organizations, manpower planning in operations research (90B70)

Recommendations

• Formalisations and applications of BPMN
• BPMN -- a logical model and property analysis
• Property specifications for workflow modelling
• Property Specifications for Workflow Modelling
• scientific article; zbMATH DE number 2215868

Cites work

• scientific article; zbMATH DE number 1302042 (Why is no real title available?)
• scientific article; zbMATH DE number 1354143 (Why is no real title available?)
• Behavioural models. From modelling finite automata to analysing business processes
• Formal verification of complex business processes based on high-level Petri nets
• Soundness of workflow nets: classification, decidability, and analysis

Cited in

(1)

• Editorial: Tribute to Anna Labella

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations

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