On Enabling Data-Aware Compliance Checking of Business Process Models
- 1 January 2010
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information SystemsPublished by Springer Science and Business Media LLC ,2010
- Specification, Verification and Explanation of Violation for Data Aware Compliance RulesLecture Notes in Computer Science, 2009
- Efficient Compliance Checking Using BPMN-Q and Temporal LogicLecture Notes in Computer Science, 2008
- Modeling Control Objectives for Business Process CompliancePublished by Springer Science and Business Media LLC ,2007
- Auditing Business Process ComplianceLecture Notes in Computer Science, 2007
- A static compliance-checking framework for business process modelsIBM Systems Journal, 2007
- Pattern Based Property Specification and Verification for Service CompositionLecture Notes in Computer Science, 2006
- Semantic Correctness in Adaptive Process Management SystemsLecture Notes in Computer Science, 2006
- Specification and validation of process constraints for flexible workflowsInformation Systems, 2005
- Activity Diagram Patterns for Modeling Quality Constraints in Business ProcessesLecture Notes in Computer Science, 2005