Results 1 -
2 of
2
An approach to the example-based consistency checking of web documents
- in: Proceedings of the 18th Workshop on Foundation of Databases
, 2006
"... In this paper we present a method for the end-user specification of consistency rules for Web documents. Temporal description logic is used as the internal formalism. It is difficult for an author of a Web document to understand and use a formal logic. Therefore the goal is to develop an intuitive f ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
(Show Context)
In this paper we present a method for the end-user specification of consistency rules for Web documents. Temporal description logic is used as the internal formalism. It is difficult for an author of a Web document to understand and use a formal logic. Therefore the goal is to develop an intuitive front-end allowing the authors of a document to specify their requirements and constraints at an application-oriented level. To this end we propose a specification-by-example approach. 1
Auditing Business Process Compliance (Preprint)
"... Auditing business process compliance Compliance issues impose significant management and reporting requirements upon organizations.We present an approach to enhance business process modeling notations with the capability to detect and resolve many broad compliance related issues. We provide a semant ..."
Abstract
- Add to MetaCart
(Show Context)
Auditing business process compliance Compliance issues impose significant management and reporting requirements upon organizations.We present an approach to enhance business process modeling notations with the capability to detect and resolve many broad compliance related issues. We provide a semantic characterization of a minimal revision strategy that helps us obtain compliant process models from models that might be initially non-compliant, in a manner that accommodates the structural and semantic dimensions of parsimoniously annotated process models. We also provide a heuristic approach to compliance resolution using a notion of compliance patterns. This allows us to partially automate compliance resolution, leading to reduced levels of analyst involvement and improved decision support.
