Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Using Patterns to Design Rules in Workflows
IEEE Transactions on Software Engineering
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring
HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Volume 07
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Inventing Less, Reusing More, and Adding Intelligence to Business Process Modeling
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Design and verification of instantiable compliance rule graphs in process-aware information systems
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Business process compliance through reusable units of compliant processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
On the formal specification of regulatory compliance: a comparative analysis
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
An iterative approach for business process template synthesis from compliance rules
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Compliance in service-oriented architectures: A model-driven and view-based approach
Information and Software Technology
Achieving life-cycle compliance of service-oriented architectures: open issues and challenges
DPM'09/SETOP'09 Proceedings of the 4th international workshop, and Second international conference on Data Privacy Management and Autonomous Spontaneous Security
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Flexible Process Compliance with Semantic Constraints Using Mixed-Integer Programming
INFORMS Journal on Computing
Enriching process models for business process compliance checking in ERP environments
DESRIST'13 Proceedings of the 8th international conference on Design Science at the Intersection of Physical and Virtual Design
How to guarantee compliance between workflows and product lifecycles?
Information Systems
| Hi-index | 0.00 |
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 introduction of a semantic layer in which the process instances are interpreted according to an independently designed set of controls. This ensures separation of business and control objectives in a Business Process. A prototypical implementation of the approach is presented.