Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A Meta Model for Structured Workflows Supporting Workflow Transformations
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
Structural Patterns for Soundness of Business Process Models
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Reasoning about the behavior of Semantic Web services with concurrent transaction logic
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Querying semantically enriched business processes
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Hi-index | 0.00 |
In this paper we present the BPAL platform that includes a logic-based language for business process (BP) modeling and a reasoning mechanism providing support for several tasks. Firstly, the definition of a BP meta-model (MM) consisting of a set of rules that guide the BP designers in their work. Secondly, given a BP, the BPAL platform allows for the automatic verification of the compliance (well-formedness) of a given BP w.r.t. the defined MM. Finally, the execution semantics of a BP is given in term of its instances (referred to as traces) to provide services for i) checking if the actual execution of a BP has been carried out in accordance with the corresponding definition, ii) simulating executions by trace generation. The proposed platform is open since it can easily be enhanced by adding other logic-based modeling, reasoning, and querying functionalities.