Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Auditing Business Process Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Communications Semantics for WSBPEL Processes
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
Behavioral consistency for B2B process integration
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Realizability is controllability
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
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
On enabling data-aware compliance checking of business process models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Monitoring business constraints with linear temporal logic: an approach based on colored automata
BPM'11 Proceedings of the 9th international conference on Business process management
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Definition and enactment of instance-spanning process constraints
WISE'12 Proceedings of the 13th international conference on Web Information Systems Engineering
| Hi-index | 0.00 |
Process compliance deals with the ability of a company to ensure that its business processes comply with domain-specific regulations and rules. So far, compliance issues have been mainly addressed for intra-organizational business processes, whereas there exists only little work dealing with compliance in the context of cross-organizational processes that involve multiple business partners. As opposed to intra-organizational processes, for a cross-organizational process, compliance must be addressed at different modeling levels, ranging from interaction models to public process models to private processes of the partners. Accordingly, there exist different levels for modeling compliance rules. In particular, we distinguish between local compliance rules of a particular partner and global compliance rules to be obeyed by all partners involved in the cross-organizational process. This paper focuses on checking the compliance of interaction models. For this purpose, we introduce the notion of compliability, which shall guarantee that an interaction model is not conflicting with a set of imposed global compliance rules.