Pattern-Based Design and Validation of Business Process Compliance

In this paper we present a novel approach for the modeling and implementation of Internal Controls in Business Processes. The approach is based on the formal modeling of Internal Controls in the validation process under the usage of frequently recurring control patterns. The main idea is the

• Type: Conference
• Year: 2007
• Where: OTM
• Authors: Kioumars Namiri, Nenad Stojanovic
• Keywords: Business Processes, Formal Modeling, Internal Controls, Internet Technology, OTM 2007