Process representation and reasoning using a logic formalism with object-oriented features

Authors:
Andrea Gualtieri;Tina Dell'Armi;Nicola Leone
Affiliations:
,Exeura srl, University of Calabria, Rende, CS, Italy;Exeura srl, University of Calabria, Rende, CS, Italy;Department of Mathematics, University of Calabria, Rende, CS, Italy
Venue:
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Year:
2006

Citing 6
Cited 1

Foundations of disjunctive logic programming

Foundations of disjunctive logic programming
Foundations of logic programming

Principles of knowledge representation
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
COMPLEX: An Object-Oriented Logic Programming System

IEEE Transactions on Knowledge and Data Engineering
Conceptual Modelling of WorkFlows

OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
Mining and Reasoning on Workflows

IEEE Transactions on Knowledge and Data Engineering

Towards Algorithmic Generation of Business Processes: From Business Step Dependencies to Process Algebra Expressions

BPM '09 Proceedings of the 7th International Conference on Business Process Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

A novel approach to model processes and workflows is presented. It is based on the OntoDLP language, an extension of Disjunctive Logic Programming with object-oriented features. Compared to traditional models, the approach enables knowledge inference on dynamic structures of the process, thanks to the reasoning capabilities of OntoDLP. Moreover, the approach can be also used to redefine and classify existing workflow schemes. Indeed, their execution traces, produced by workflow engines, can be easily imported through the mapping facilities of the underlying metamodel, and eventually organized into taxonomic structures for modeling different execution-patterns.