Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
ICEBE '05 Proceedings of the IEEE International Conference on e-Business Engineering
Querying business processes with BP-QL
Information Systems
Towards an XPDL Compliant Process Ontology
SERVICES '08 Proceedings of the 2008 IEEE Congress on Services - Part I
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
A software engineering approach to ontology building
Information Systems
Modern Business Process Automation: YAWL and its Support Environment
Modern Business Process Automation: YAWL and its Support Environment
An open platform for business process modeling and verification
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
| Hi-index | 0.00 |
In this paper we present a logic-based approach for querying business process repositories. The proposed solution is based on a synergic use of an ontological framework (OPAL) aimed at capturing the semantics of a business scenario, and a business process modelling framework (BPAL) to represent the workflow logic. Both frameworks are grounded in logic programming and therefore it is possible to apply effective reasoning methods to query the knowledge base stemming from the fusion of the two. A software platform has been developed and the first tests are encouraging.