Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
In transition from global to modular temporal reasoning about programs
Logics and models of concurrent systems
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Model checking
The temporal logic of branching time
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Testing Linear Temporal Logic Formulae on Finite Execution Traces
Testing Linear Temporal Logic Formulae on Finite Execution Traces
Queue - Compliance
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
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
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
Why Does My Service Have No Partners?
Web Services and Formal Methods
Instantaneous Soundness Checking of Industrial Business Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Consistency of business process models and object life cycles
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Behavioral constraints for services
BPM'07 Proceedings of the 5th international conference on Business process management
Compliance aware business process design
BPM'07 Proceedings of the 2007 international conference on Business process management
On enabling data-aware compliance checking of business process models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
Designing compliant business processes with obligations and permissions
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Wendy: a tool to synthesize partners for services
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Replaying history on process models for conformance checking and performance analysis
Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery
Artifact-Centric modeling using BPMN
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Business process data compliance
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
A framework for behavior-consistent specialization of artifact-centric business processes
BPM'12 Proceedings of the 10th international conference on Business Process Management
Compliance by design for artifact-centric business processes
Information Systems
Hi-index | 0.00 |
Compliance to legal regulations, internal policies, or best practices is becoming a more and more important aspect in business processes management. Compliance requirements are usually formulated in a set of rules that can be checked during or after the execution of the business process, called compliance by detection. If noncompliant behavior is detected, the business process needs to be redesigned. Alternatively, the rules can be already taken into account while modeling the business process to result in a business process that is compliant by design. This technique has the advantage that a subsequent verification of compliance is not required. This paper focuses on compliance by design and employs an artifact-centric approach. In this school of thought, business processes are not described as a sequence of tasks to be performed (i. e., imperatively), but from the point of view of the artifacts that are manipulated during the process (i. e., declaratively). We extend the artifact-centric approach to model compliance rules and show how compliant business processes can be synthesized automatically.