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.


Business Process Structural Pattern Object Constraint Language Business Process Model Maintenance Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    OMG: Meta Object Facility (MOF) Specification Version 1.4 (2002)Google Scholar
  2. 2.
    OMG: Business Process Modeling Notation: Version 1.2 (2009)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Kurtev, I., Bézivin, J., Aksit, M.: Technological Spaces: an Initial Appraisal. In: OTM 2002 Federated Conferences, Industry Program (2002)Google Scholar
  5. 5.
    OMG: Ontology Definition Metamodel (Beta 3) (2008)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Francescomarino, C.D., Tonella, P.: Crosscutting Concern Documentation by Visual Query of Business Processes. In: 4th International Workshop on Business Process Design (2008)Google Scholar
  9. 9.
    OMG: Object Constraint Language: Version 2.0 (2006)Google Scholar
  10. 10.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Jens Müller
    • 1
  1. 1.SAP Research CEC KarlsruheKarlsruheGermany

Personalised recommendations