Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
OMG: Meta Object Facility (MOF) Specification Version 1.4 (2002)
OMG: Business Process Modeling Notation: Version 1.2 (2009)
Thomas, O., Fellmann, M.: Semantic EPC: Enhancing Process Modeling Using Ontology Languages. In: 2007 Workshop on Semantic Business Process and Product Lifecycle Management, pp. 64–75 (2007)
Kurtev, I., Bézivin, J., Aksit, M.: Technological Spaces: an Initial Appraisal. In: OTM 2002 Federated Conferences, Industry Program (2002)
OMG: Ontology Definition Metamodel (Beta 3) (2008)
Förster, A., Engels, G., Schattkowsky, T., Straeten, R.V.D.: A Pattern-driven Development Process for Quality Standard-conforming Business Process Models. In: 2006 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 135–142. IEEE Computer Society Press, Los Alamitos (2006)
Awad, A.: BPMN-Q: A Language to Query Business Processes. In: 2nd International Workshop on Enterprise Modelling and Information Systems Architectures, pp. 115–128. Köllen Druck + Verlag, Bonn (2007)
Francescomarino, C.D., Tonella, P.: Crosscutting Concern Documentation by Visual Query of Business Processes. In: 4th International Workshop on Business Process Design (2008)
OMG: Object Constraint Language: Version 2.0 (2006)
Förster, A., Engels, G., Schattkowsky, T., Straeten, R.V.D.: Verification of Business Process Quality Constraints Based on Visual Process Patterns. In: 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, pp. 197–208. IEEE Computer Society Press, Los Alamitos (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Müller, J. (2009). Supporting Change in Business Process Models Using Pattern-Based Constraints. In: Halpin, T., et al. Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2009 2009. Lecture Notes in Business Information Processing, vol 29. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01862-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-01862-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01861-9
Online ISBN: 978-3-642-01862-6
eBook Packages: Computer ScienceComputer Science (R0)