Rule Determination and Process Verification Using Business Capabilities

Abstract : 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.
Type de document :
Communication dans un congrès
Kurt Sandkuhl; Ulf Seigerroth; Janis Stirna. 5th Working Conference on the Practice of Enterprise Modeling (PoEM), Nov 2012, Rostock, Germany. Springer, Lecture Notes in Business Information Processing, LNBIP-134, pp.46-60, 2012, The Practice of Enterprise Modeling. 〈10.1007/978-3-642-34549-4_4〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01484388
Contributeur : Hal Ifip <>
Soumis le : mardi 7 mars 2017 - 11:04:01
Dernière modification le : mercredi 8 mars 2017 - 01:05:35
Document(s) archivé(s) le : jeudi 8 juin 2017 - 13:05:30

Fichier

978-3-642-34549-4_4_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Thomas Stuht, Andreas Speck, Sven Feja, Sören Witt, Elke Pulvermüller. Rule Determination and Process Verification Using Business Capabilities. Kurt Sandkuhl; Ulf Seigerroth; Janis Stirna. 5th Working Conference on the Practice of Enterprise Modeling (PoEM), Nov 2012, Rostock, Germany. Springer, Lecture Notes in Business Information Processing, LNBIP-134, pp.46-60, 2012, The Practice of Enterprise Modeling. 〈10.1007/978-3-642-34549-4_4〉. 〈hal-01484388〉

Partager

Métriques

Consultations de la notice

145

Téléchargements de fichiers

44