The paper presents a logic-based framework for the analysis of workflow models, where a rich graphical representation of workflow schemes is combined with simple, i.e., stratified, yet powerful DATLOG rules to express properties and constraints on executions. The graphical representation and the DATALOC rules are mapped into a unique program in DATALOG!ev, which is an extension of DATALOC for handling events. The high expressive power of the language provides the designer with effective mechanisms for reasoning on workflows: (i) modeling a workflow schema with the possibility of expressing many types of constraints on the executions; (ii) defining various execution scenarios, i.e., sequences of workflow executions for the same schema; and (iii) simulating the actual behavior of the modeled scheme by fixing an initial state and an execution scenario and by querying the state after such executions. As a scenario may include a certain amount of non-determinism, the designer can also verify under which conditions a given (desirable or undesirable) goal can be eventually achieved.

Simulations on workflow management systems: A framework based on event choice datalog

GRECO, Gianluigi;GUZZO, Antonella;SACCA', Domenico
2011

Abstract

The paper presents a logic-based framework for the analysis of workflow models, where a rich graphical representation of workflow schemes is combined with simple, i.e., stratified, yet powerful DATLOG rules to express properties and constraints on executions. The graphical representation and the DATALOC rules are mapped into a unique program in DATALOG!ev, which is an extension of DATALOC for handling events. The high expressive power of the language provides the designer with effective mechanisms for reasoning on workflows: (i) modeling a workflow schema with the possibility of expressing many types of constraints on the executions; (ii) defining various execution scenarios, i.e., sequences of workflow executions for the same schema; and (iii) simulating the actual behavior of the modeled scheme by fixing an initial state and an execution scenario and by querying the state after such executions. As a scenario may include a certain amount of non-determinism, the designer can also verify under which conditions a given (desirable or undesirable) goal can be eventually achieved.
Datalog
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/142581
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact