Skip to main content
SpringerLink
Log in

Reasoning on Workflow Executions

  • Conference paper
Advances in Databases and Information Systems (ADBIS 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2798))

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Article  Google Scholar 

  4. 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)

    Article  MATH  MathSciNet  Google Scholar 

  5. Guzzo, A., Saccà, D.: Modelling the Future with Event Choice DATALOG. In: Proc. AGP Conference, September, pp. 53–70 (2002)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A Deductive System for Non-monotonic Reasoning. In: Proc. LPNMR Conf., 363–374 (1997)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. Senkul, P., Kifer, M., Toroslu, I.H.: A logical Framework for Scheduling Workflows Under Resource Allocation Constraints. In: VLDB, pp. 694–705 (2002)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Article  Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Google Scholar 

  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)

    Google Scholar 

  18. 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)

    Google Scholar 

  19. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DEIS, University of Calabria, Via Pietro Bucci 41C, 87036, Rende, Italy

    Gianluigi Greco, Antonella Guzzo & Domenico Saccà

  2. ICAR, CNR, Via Pietro Bucci 41C, 87036, Rende, Italy

    Domenico Saccà

Authors
  1. Gianluigi Greco
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonella Guzzo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Domenico Saccà
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Informatics Problems, Russian Academy of Science,  

    Leonid Kalinichenko

  2. Institute of Computer Science III, University of Bonn, Roemerstr. 164, D-53117, Bonn, Germany

    Rainer Manthey

  3. Institute of Computer Science and Applied Mathematics, Christian-Albrechts-University of Kiel, Olshausenstr. 40, 24098, Kiel, Germany

    Bernhard Thalheim

  4. Department of InformationTechnology/Mathematics, University ofApplied Sciences, Friedrich-List-Platz 1, 01069, Dresden, Germany

    Uwe Wloka

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation