Model checking and theorem proving: a unified framework
Model checking and theorem proving: a unified framework
Facilitating cross-organisational workflows with a workflow view approach
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
Measurement of Compliance Distance in Business Processes
Information Systems Management
Improved model management with aggregated business process models
Data & Knowledge Engineering
On the logic of normative systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Expert Systems with Applications: An International Journal
Towards Constructive DL for Abstraction and Refinement
Journal of Automated Reasoning
Model Checking Using Description Logic
Journal of Logic and Computation
A method for validating the compliance of business processes to business rules
Proceedings of the 2010 ACM Symposium on Applied Computing
Reinforcement learning based resource allocation in business process management
Data & Knowledge Engineering
Analysis on demand: Instantaneous soundness checking of industrial business process models
Data & Knowledge Engineering
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
Data & Knowledge Engineering
Editorial: Using OWL and SWRL to represent and reason with situation-based access control policies
Data & Knowledge Engineering
Measures and mechanisms for process monitoring in evolving business networks
Data & Knowledge Engineering
Content-based validation of business process modifications
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Model checking agent programming languages
Automated Software Engineering
Norm compliance of rule-based cognitive agents
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
| Hi-index | 0.00 |
To enable compliance checking on integrated business processes we developed the NTL-ALC logical framework, for closing the gap between the abstract norms and the concrete business processes. To reason on the active obligations and permissions, we extended the normative temporal logic NTL, by applying the deontic operators O (obligation) and P (permission) on concepts of the ALC (Attribute Language with Complements) description logic. As proof of concept of our results we have used the Hazard Analysis at Critical Control Points (HACCP) standard, aiming to prevent the occurrence of significant hazards in the food industry.