- Record: found
- Abstract: not found
- Book Chapter: not found
Service-Oriented Computing – ICSOC 2007
Specification, Verification and Explanation of Violation for Data Aware Compliance Rules
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references15
- Record: found
- Abstract: not found
- Article: not found
Semantics and analysis of business process models in BPMN
Marlon Dumas, Remco Dijkman, Chun Ouyang (2008)
- Record: found
- Abstract: not found
- Article: not found
A static compliance-checking framework for business process models
- Record: found
- Abstract: not found
- Book Chapter: not found
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
Ahmed A. Awad, Gero Decker, Mathias Weske (2008)