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

BPMN collaborationbusiness process modellingclassificationoperational semanticssafenesssoundness

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

• Behavioural models. From modelling finite automata to analysing business processes
• Complexity results for 1-safe-nets
• Elementary net systems
• Formal verification of complex business processes based on high-level Petri nets
• Soundness of workflow nets: classification, decidability, and analysis

Cited in

(3)

• Editorial: Tribute to Anna Labella
• A classification of BPMN collaborations based on safeness and soundness notions
• Collaboration vs. choreography conformance in BPMN

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)