A Logic-Based Formalism to Model and Analyze Workflow Executions
作者： Domenico Saccà , Gianluigi Greco , Antonella Guzzo
DOI:
关键词:
摘要: We describe a new approach to workflow analysis, which combines rich graph representation of schemes with simple (i.e., stratified), yet powerful DATALOG rules express complex properties and constraints on executions. Both the are mapped into unique program in DATALOG, that is recent extension for handling events. This mapping enables designer simulate actual behavior modelled scheme by fixing an initial state execution scenario sequence executions same workflow) querying after such
unical.it参考文章(5)
Domenico Saccà, Antonella Guzzo, Modelling the Future with Event Choice DATALOG. appia-gulp-prode. pp. 53- ,(2002)
Pinar Senkul, Michael Kifer, Ismail H Toroslu, None, A logical framework for scheduling workflows under resource allocation constraints very large data bases. pp. 694- 705 ,(2002) , 10.1016/B978-155860869-6/50067-6
Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan, Logic based modeling and analysis of workflows symposium on principles of database systems. pp. 25- 33 ,(1998) , 10.1145/275487.275491
Anthony J. Bonner, Workflow, transactions and datalog symposium on principles of database systems. pp. 294- 305 ,(1999) , 10.1145/303976.304005
Sergio Greco, Domenico Saccà, Carlo Zaniolo, Extending stratified datalog to capture complexity classes ranging from P to QH Acta Informatica. ,vol. 37, pp. 699- 725 ,(2001) , 10.1007/PL00013306