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

DOI10.1016/j.jlamp.2020.100630zbMath1458.90393OpenAlexW3110634329WikidataQ123763099 ScholiaQ123763099MaRDI QIDQ1996863

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

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

classificationoperational semanticssoundnesssafenessbusiness process modellingBPMN collaboration

Mathematics Subject Classification ID

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

Related Items

Editorial: Tribute to Anna Labella

Uses Software

• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Soundness of workflow nets: classification, decidability, and analysis
• Formal verification of complex business processes based on high-level Petri nets
• Behavioural Models