LNCS 2798 Reasoning on Workflow Executions 1st Edition by Gianluigi Greco, Antonella Guzzo, Domenico Saccà  ISBN 3540394036 9783540394037

LNCS 2798 – Reasoning on Workflow Executions 1st Edition by Gianluigi Greco, Antonella Guzzo, Domenico Saccà  – Ebook PDF Instant Download/Delivery. 3540394036, 9783540394037

Full download LNCS 2798 – Reasoning on Workflow Executions 1st Edition after payment

Product details:

ISBN 10: 3540394036

ISBN 13: 9783540394037

Author:  Gianluigi Greco, Antonella Guzzo, Domenico Saccà  

LNCS 2798 – Reasoning on Workflow Executions 1st Edition: 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 DATALOG ev!, 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.

People also search for LNCS 2798 – Reasoning on Workflow Executions 1st Edition:

a reasoning example
    
a reasoning
    
a reasoning starter
    
a process of reasoning or a series of reasons
    
a process of reasoning to an uncertain conclusion