Preserving correctness during business process model configuration

DOI10.1007/S00165-009-0112-0zbMath1213.68413OpenAlexW1987341119WikidataQ57005367 ScholiaQ57005367MaRDI QIDQ973035

Marlon Dumas, Marcello La Rosa, Arthur H. M. ter Hofstede, Wil 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

zbMATH Keywords

configurationPetri netconfigurable process model

Mathematics Subject Classification ID

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

Related Items (3)

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

Uses Software

• Woflan
• fmp

Cites Work

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

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