Preserving correctness during business process model configuration

DOI10.1007/S00165-009-0112-0MaRDI QIDQ973035zbMATHOpenAlexWikidataFDO

Authors W. M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, 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

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)

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

Cites work

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

Cited in

(3)

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

Describes a project that uses

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)