Ly, Linh Thao and Knuplesch, David and Rinderle-Ma, Stefanie and Goeser, Kevin and Pfeifer, Holger and Reichert, Manfred and Dadam, Peter (2010) SeaFlows Toolset - Compliance Verification Made Easy for Process-aware Information Systems. In: Proc. CAiSE'10 Forum - Information Systems Evolution, June 2010, Hammamet, Tunisia.
Download (1MB)
Abstract
In the light of an increasing demand on business process compliance, the verication of process models against compliance rules has become essential in enterprise computing. The SeaFlows Toolset featured in this paper extends process-aware information systems with compliance checking functionality. It provides a user-friendly environment for modeling compliance rules using a graph-based formalism and for enriching process models with these rules. To address a multitude of verification settings, we provide two complementary compliance checking approaches: The structural compliance checking approach derives structural criteria from compliance rules and applies them to detect incompliance. The data-aware behavioral compliance checking approach addresses the state explosion problem that can occur when the data dimension is explored during compliance checking. It performs context-sensitive automatic abstraction to derive an abstract process model which is more compact with regard to the data dimension enabling more efficient compliance checking. Altogether, SeaFlows Toolset constitutes a comprehensive and extensible framework for compliance checking of process models.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Subjects: | DBIS Research > Publications |
Depositing User: | Prof. Dr. Manfred Reichert |
Date Deposited: | 03 Oct 2010 13:03 |
Last Modified: | 26 May 2012 21:15 |
URI: | http://dbis.eprints.uni-ulm.de/id/eprint/687 |