Preserving correctness during business process model configuration

DOI10.1007/S00165-009-0112-0zbMATH Open1213.68413OpenAlexW1987341119WikidataQ57005367 ScholiaQ57005367MaRDI QIDQ973035FDOQ973035

Marlon Dumas, Marcello La Rosa, Arthur H. M. ter Hofstede, W. M. P. van der Aalst, Florian Gottschalk, Jan Mendling

Publication date: 28 May 2010

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-009-0112-0

Recommendations

• Reusing artifact-centric business process models: a behavioral consistent specialization approach
• Business process modeling using Petri nets
• BPMN -- a logical model and property analysis
• Formal verification of complex business processes based on high-level Petri nets
• Four Steps Towards Sound Business Process Models

zbMATH Keywords

Petri netconfigurationconfigurable process model

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Free Choice Petri Nets
• Software Product Line Engineering
• Partial (set) 2-structures. I: Basic notions and the representation problems
• Diagnosing workflow processes using Woflan
• Inheritance of workflows: An approach to tackling problems related to change
• SAT-solving the coverability problem for Petri nets

Cited In (3)

• Data Centric Workflows for Crowdsourcing
• Event-based functional decomposition
• Reusing artifact-centric business process models: a behavioral consistent specialization approach

Uses Software

• Woflan
• fmp

This page was built for publication: Preserving correctness during business process model configuration

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