Authors: Jens Müller
Tags: 2009, conceptual modeling
When business processes are affected by changes in legal or organisational requirements, the corresponding process models have to be adapted accordingly. These requirements implicate constraints that influence how certain parts of business processes have to be modelled. If these constraints are not explicitly known to the modelling tool, the chance that a modeller accidentally violates them increases with the number of constraints. Therefore, we propose to explicitly model constraints and automatically verify them in order to support change. In this paper, we explain how to incorporate semantics into business process models and constraints in order to facilitate the verification process. In addition, we present ideas on how to model and verify these constraints.Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-642-01862-6_3
