Reasoning on workflow executions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2798, Issue , 2003, Pages 205-219

  Greco, Gianluigi ^a   Guzzo, Antonella ^a   Saccà, Domenico ^a,b  

^a UNIVERSITY OF CALABRIA   (Italy)

^b CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS;

COMPLEX PROPERTIES; CONTROL FLOW GRAPHS; EXECUTION SCENARIO; GRAPH REPRESENTATION; INITIAL STATE; NON DETERMINISM; WORK-FLOWS; WORKFLOW EXECUTION;

FLOW GRAPHS;

EID: 35248832955     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39403-7_17     Document Type: Article

References (19)

1. A. Bonner. Workflow, Transactions, and Datalog. In Proc. of the 18th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 294-305, 1999.
2. H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan. Logic Based Modeling and Analysis of Workflows. InProc. 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 25-33, 1998.
3. D. Georgakopoulos, M. Hornick, and A. Sheth. An overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases, 3(2), pages 119-153, 1995.
4. S. Greco, D. Saccà and C. Zaniolo. Extending Stratified Datalog to Capture Complexity Classes Ranging from P to QH. In Acta Informatica, 37(10), pages 699-725, 2001.
5. A. Guzzo and D. Saccà. Modelling the Future with Event Choice DATALOG. Proc. AGP Conference, pages 53-70, September 2002.
6. G. Kappel, P. Lang, S. Rausch-Schott and W. Retschitzagger. Workflow Management Based on Object, Rules, and Roles. Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society, 18(1), pages 11-18, 1995.
7. Eiter T., Leone N., Mateis C., Pfeifer G. and Scarcello F.. A Deductive System for Non-monotonic Reasoning. Proc. LPNMR Conf., 363-374, 1997.
8. P. Muth, J. Weißenfels, M. Gillmann, and G. Weikum. Integrating Light-Weight Workflow Management Systems within Existing Business Environments. In Proc. 15th Int. Conf. on Data Engineering, pages 286-293, 1999.
9. P. Senkul, M. Kifer and I.H. Toroslu. A logical Framework for Scheduling Workflows Under Resource Allocation Constraints. In VLDB, pages 694-705, 2002.
10. D. Saccà and C. Zaniolo. Stable Models and Non-Determinism in Logic Programs with Negation. In Proc. ACM Symp. on Principles of Database Systems, pages 205-218, 1990.
11. M. P. Singh. Semantical considerations on workflows:An algebra for intertask dependencies. In Proc. of the Int. Workshop on Database Programming Languages, pages 6-8, 1995.
12. W. M. P. van der Aalst. The Application of Petri Nets to Worflow Management. Journal of Circuits, Systems, and Computers, 8(1), pages 21-66, 1998.
13. W. M. P. van der Aalst, A. Hirnschall and H.M.W. Verbeek. An Alternative Way to Analyze Workflow Graphs. In Proc. of the 14th Int. Conf. on Advanced Information Systems Engineering, pages 534-552, 2002.
14. D. Wodtke, and G. Weikum. A Formal Foundation for Distributed Workflow Execution Based on State Charts. In Proc. 6th Int. Conf. on Database Theory (ICDT97), pages 230-246, 1997.
15. D. Wodtke, J. Weissenfels, G. Weikum, and A. Dittrich. The Mentor project: Steps towards enterprise-wide workflow management. In Proc. of the IEEE International Conference on Data Engineering, pages 556-565, 1996.
16. The Workflow Management Coalition, http://www.wfmc.org/.
17. Zaniolo, C., Transaction-Conscious Stable Model Semantics for Active Database Rules. In Proc. Int. Conf. on Deductive Object-Oriented Databases, 1995.
18. Zaniolo, C., Active Database Rules with Transaction-Conscious Stable Model Semantics. In Proc. of the Conf. on Deductive Object-Oriented Databases, pp.55-72, LNCS 1013, Singapore, December 1995.
19. Zaniolo, C., Arni, N., and Ong, K., Negation and Aggregates in Recursive Rules: the LDL++ Approach, Proc. 3rd Int. Conf. on Deductive and Object-Oriented Databases, 1993.