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 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bonner, A.: Workflow, Transactions, and Datalog. In: Proc. of the 18th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 294–305 (1999)
Davulcu, H., Kifer, M., Ramakrishnan, C.R., Ramakrishnan, I.V.: Logic Based Modeling and Analysis of Workflows. In: Proc. 17th ACM SIGACT-SIGMODSIGART Symposium on Principles of Database Systems, pp. 25–33 (1998)
Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases 3(2), 119–153 (1995)
Greco, S., Saccà, D., Zaniolo, C.: Extending Stratified Datalog to Capture Complexity Classes Ranging from P to QH. Acta Informatica 37(10), 699–725 (2001)
Guzzo, A., Saccà, D.: Modelling the Future with Event Choice DATALOG. In: Proc. AGP Conference, September, pp. 53–70 (2002)
Kappel, G., Lang, P., Rausch-Schott, S., Retschitzagger, W.: Workflow Management Based on Object, Rules, and Roles. Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society 18(1), 11–18 (1995)
Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A Deductive System for Non-monotonic Reasoning. In: Proc. LPNMR Conf., 363–374 (1997)
Muth, P., Weißenfels, J., Gillmann, M., Weikum, G.: Integrating Light-Weight Workflow Management Systems within Existing Business Environments. In: Proc. 15th Int. Conf. on Data Engineering, pp. 286–293 (1999)
Senkul, P., Kifer, M., Toroslu, I.H.: A logical Framework for Scheduling Workflows Under Resource Allocation Constraints. In: VLDB, pp. 694–705 (2002)
Saccà, D., Zaniolo, C.: Stable Models and Non-Determinism in Logic Programs with Negation. In: Proc. ACM Symp. on Principles of Database Systems, pp. 205–218 (1990)
Singh, M.P.: Semantical considerations on workflows:An algebra for intertask dependencies. In: Proc. of the Int. Workshop on Database Programming Languages, pp. 6–8 (1995)
van der Aalst, W.M.P.: The Application of Petri Nets to Worflow Management. Journal of Circuits, Systems, and Computers 8(1), 21–66 (1998)
van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W.: An Alternative Way to Analyze Workflow Graphs. In: Proc. of the 14th Int. Conf. on Advanced Information Systems Engineering, pp. 534–552 (2002)
Wodtke, D., Weikum, G.: A Formal Foundation for Distributed Workflow Execution Based on State Charts. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol. 1186, pp. 230–246. Springer, Heidelberg (1996)
Wodtke, D., Weissenfels, J., Weikum, G., Dittrich, A.: The Mentor project: Steps towards enterprise-wide workflow management. In: Proc. of the IEEE International Conference on Data Engineering, pp. 556–565 (1996)
The Workflow Management Coalition, http://www.wfmc.org/
Zaniolo, C.: Transaction-Conscious Stable Model Semantics for Active Database Rules. In: Proc. Int. Conf. on Deductive Object-Oriented Databases (1995)
Zaniolo, C.: Active Database Rules with Transaction-Conscious Stable Model Semantics. In: Ling, T.-W., Vieille, L., Mendelzon, A.O. (eds.) DOOD 1995. LNCS, vol. 1013, pp. 55–72. Springer, Heidelberg (1995)
Zaniolo, C., Arni, N., Ong, K.: Negation and Aggregates in Recursive Rules: the LDL++ Approach. In: Proc. 3rd Int. Conf. on Deductive and Object-Oriented Databases (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Greco, G., Guzzo, A., Saccà, D. (2003). Reasoning on Workflow Executions. In: Kalinichenko, L., Manthey, R., Thalheim, B., Wloka, U. (eds) Advances in Databases and Information Systems. ADBIS 2003. Lecture Notes in Computer Science, vol 2798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39403-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-39403-7_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20047-5
Online ISBN: 978-3-540-39403-7
eBook Packages: Springer Book Archive