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

DOI10.1016/J.JLAMP.2020.100630zbMATH Open1458.90393OpenAlexW3110634329WikidataQ123763099 ScholiaQ123763099MaRDI QIDQ1996863FDOQ1996863

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

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

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)

Cites Work

• Title not available (Why is that?)
• Soundness of workflow nets: classification, decidability, and analysis
• Title not available (Why is that?)
• Formal verification of complex business processes based on high-level Petri nets
• Behavioural models. From modelling finite automata to analysing business processes

Cited In (1)

• Editorial: Tribute to Anna Labella

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)