Reasoning on Workflow Evolutions (Articolo in rivista)

Type
Label
  • Reasoning on Workflow Evolutions (Articolo in rivista) (literal)
Anno
  • 2003-01-01T00:00:00+01:00 (literal)
Alternative label
  • Greco G., Guzzo Antonella, Saccà Domenico (2003)
    Reasoning on Workflow Evolutions
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Greco G., Guzzo Antonella, Saccà Domenico (literal)
Pagina inizio
  • 205 (literal)
Pagina fine
  • 219 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 2798- (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Proceeding of the 7th East European Conference on 'Advances in Databases and Information Systems' (ADBIS 2003), Dresden, Germany, September 3-6, 2003 (literal)
Note
  • ISI Web of Science (WOS) (literal)
Titolo
  • Reasoning on Workflow Evolutions (literal)
Abstract
  • This paper presents a new formalism for modelling workflows schemes which combines a control flow graph representation with simple (i.e., stratified), yet powerful DATALOG rules to express complex properties and constraints on executions. Both the graph representation and the DATALOG rules are mapped into a unique program in , that is a recent extension of DATALOG for handling events. This mapping enables the designer to simulate the actual behavior of the modeled scheme by fixing an initial state and an execution scenario (i.e., a sequence of executions for the same workflow) and querying the state after such executions. As the scenario includes a certain amount of non-determinism, the designer may also verify under which conditions a given (desirable or undesirable) goal can be eventually achieved. (literal)
Prodotto di

Incoming links:


Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
data.CNR.it