Petri nets: an introduction
Communications of the ACM - Special issue on analysis and modeling in software development
A calculus of mobile processes, I
Information and Computation
Security Engineering: A Guide to Building Dependable Distributed Systems
Security Engineering: A Guide to Building Dependable Distributed Systems
Business Modeling With UML: Business Patterns at Work
Business Modeling With UML: Business Patterns at Work
Java Virtual Machine Specification
Java Virtual Machine Specification
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Computability classes for enforcement mechanisms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rubacon: automated support for model-based compliance engineering
Proceedings of the 30th international conference on Software engineering
Introduction to Automata Theory, Languages, and Computation
Introduction to Automata Theory, Languages, and Computation
A Classification Model for Automating Compliance
CECANDEEE '08 Proceedings of the 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
| Hi-index | 0.00 |
Business process modeling has been realized as a methodology for the optimization of workflows in enterprises. Process models help to formalize the actual workflow by describing the activities that are required to achieve a specific business goal. In order to make business processes compliant with laws and regulations, it is necessary in practice to rewrite them in a way such that they guarantee the compliance with the identified security properties. Our research towards automated process rewriting for compliance enforcement has revealed that an essential building block is the ability for reasoning on the achievement of business goals: rewriting is only practically applicable (regardless whether it is performed manually or automatically) if the resulting process still achieves the desired business goals. This paper presents an approach for the automated reasoning on the achievement of business goals based on semantic congruence relations.