Automatic verification of real-time communicating systems by constraint-solving
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
A static compliance-checking framework for business process models
IBM Systems Journal
Generation of BPEL Customization Processes for SaaS Applications from Variability Descriptors
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2
Introduction to Automata Theory, Languages, and Computation
Introduction to Automata Theory, Languages, and Computation
BPEL Fragments for Modularized Reuse in Modeling BPEL Processes
ICNS '09 Proceedings of the 2009 Fifth International Conference on Networking and Services
Maintaining Compliance in Customizable Process Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Where did i misbehave? diagnostic information in compliance checking
BPM'12 Proceedings of the 10th international conference on Business Process Management
Hi-index | 0.00 |
In recent years compliance has emerged as one of the big IT challenges enterprises are faced with. The management of a multitude of regulations and the complexity of current business processes are problems that need to be addressed. In this paper we present an approach based on so-called compliance templates to develop and manage compliant business processes involving different stakeholders. We introduce the concept of a refinement process. In the refinement process each compliance template is refined in a layered way to get an executable business process. The refinement steps are executed on refinement layers by different stakeholders. Compliance constraints are used to restrict the way a compliance template can be refined. Introduced in a certain refinement layer of the refinement process, compliance constraints are propagated to higher refinement layers.