Fiche du document
7 novembre 2012
- handle: 10670/1.0kinkw
- hal: hal-01484388
- doi: 10.1007/978-3-642-34549-4_4
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-34549-4_4
http://creativecommons.org/licenses/by/ , info:eu-repo/semantics/OpenAccess
Mots-clés
enterprise architecture business capabilities business process model quality and correctness or compliance integrating verification technique rule patternsSujets proches
TradeCiter ce document
Thomas Stuht et al., « Rule Determination and Process Verification Using Business Capabilities », HAL-SHS : sciences de l'information, de la communication et des bibliothèques, ID : 10.1007/978-3-642-34549-4_4
Métriques
Partage / Export
Résumé
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.