Rule Determination and Process Verification Using Business Capabilities - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Rule Determination and Process Verification Using Business Capabilities

Thomas Stuht
  • Function : Author
  • PersonId : 1003530
Andreas Speck
  • Function : Author
  • PersonId : 1003531
Sven Feja
  • Function : Author
  • PersonId : 1003532
Sören Witt
  • Function : Author
  • PersonId : 1003533


Business architectures are an important part of any enterprise architecture containing business processes and business capabilities. High quality business processes are key factors for the success of a company. Hence, the quality and the correctness or compliance have to be verified. We propose to use the business capabilities for an efficient and easily understandable definition of rules to perform this verification. The rule specification is based on rule patterns to define requirements from an operational point of view. These patterns are derived from experience gained in projects for modeling and optimization of business processes with extensive manual checks. For the rule validation we rely on model checking as an established technology to cope with the dynamic properties of processes. We present a tool based approach to automate this verification integrated in a unique system with a common user interface.
Fichier principal
Vignette du fichier
978-3-642-34549-4_4_Chapter.pdf (3.71 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01484388 , version 1 (07-03-2017)





Thomas Stuht, Andreas Speck, Sven Feja, Sören Witt, Elke Pulvermüller. Rule Determination and Process Verification Using Business Capabilities. 5th Working Conference on the Practice of Enterprise Modeling (PoEM), Nov 2012, Rostock, Germany. pp.46-60, ⟨10.1007/978-3-642-34549-4_4⟩. ⟨hal-01484388⟩
282 View
112 Download



Gmail Facebook X LinkedIn More