Handling Complex Process Models Conditions Using First-Order Logic Rules

by
May 17, 2016 12:47:48 PM
RuleML Blog & Social Mediazine,
Engineering Dr,,
11794 Stony Brook, NY
From Jul 6, 2016 11:00 AM
To Jul 6, 2016 11:30 AM
(Ended)
A paper at #RuleML2016 by Stefano Ferilli (University of Bari)
Abstract

WorkFlow Management Systems provide automatic support to learn process models or to check compliance of process enactment to correct models. The expressive power of the adopted formalism for representing process models is fundamental to determine the effectiveness or even feasibility of a correct model. In particular, a desirable feature is the possibility of expressing complex conditions on some elements of the model. The formalism used in the WoMan framework for workflow management, based on First-Order Logic, is more expressive than standard formalisms adopted in the literature. It allows tight integration
between the activity ow and the conditions, and it allows to express conditions that take into account contextual information and various kinds of relationships among the involved entities. This paper discusses
such a formalism, especially concerning conditions, and provides an explicative example of how this can be applied in practice.