Skip to main content
SpringerLink
Log in

On Modeling and Verification of Temporal Constraints in Production Workflows

  • Regular Paper
  • Published:
Knowledge and Information Systems Aims and scope Submit manuscript

Abstract

The dynamic nature of events, in particular business processes, is a natural and accepted feature of today’s business environment. Therefore, workflow systems, if they are to successfully model portions of the real world, need to acknowledge the temporal aspect of business processes. This is particularly true for processes where any deviation from the prescribed model is either very expensive, dangerous or even illegal. Such processes include legal processes, airline maintenance or hazardous material handling. However, time modeling in workflows is still an open research problem. This paper proposes a framework for time modeling in production workflows. Relevant temporal constraints are presented, and rules for their verification are defined. Furthermore, to enable visualization of some temporal constraints, a concept of “duration space” is introduced. The duration algorithm which calculates the shortest/longest workflow instance is presented. It is a generalization of two categories of algorithms: the shortest-path partitioning algorithm and the Critical Path Method (CPM). Based on the duration algorithm, the verification algorithm is designed to check the consistency of introduced temporal constraints.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. P. Baxthelmess, J. Wainer. Workflow systems: A few definitions and a few suggestions. In: Proc. COOCS’95, Milpitas, CA, USA, 1995.

  2. F. Burger, G. Quirchmayr, S. Reich, A. M. Tjoa. Using HyTime for modeling publishing workflows, SIGOIS Bulletin, 16(1), 1995.

    Google Scholar 

  3. Butler Report. Workflow: Integrating the Enterprise. The Butler Group, 1996.

  4. P. Dadam et al. ADEPT—Next Generation Workflow Management System, ADEPT Project Department, DBIS, Germany, 1998.

    Google Scholar 

  5. R. Dechter, I. Meiri, J. Pearl. Temporal constraint networks, Artificial Intelligence 49, 61–95, 1991.

    Article  MathSciNet  MATH  Google Scholar 

  6. E. Egger, I. Wagner. Negotiating temporal orders: The case of collaborative time management in a surgery clinic, Computer Supported Cooperative Work 1, 255–275, 1993.

    Article  Google Scholar 

  7. C. Ellis, G. Nut. Workflow: The process spectrum. In: Proc. NSF Workshop on Workflow and Process Automation in Information Systems: State of the Art and Future Directions, Athens, Georgia, USA, 1996.

  8. J. Evans, M. Edward. Optimization Algorithms for Networks and Graphs, M. Dekker: New York, 1992.

    Google Scholar 

  9. J. J. Feather, K. F. Cross. Workflow analysis: Just-in-time techniques simplify administrative process in paperwork operation, Industrial Engineering 20, 32–37, 1988.

    Google Scholar 

  10. A. Geppert, P. Santanu, J. Eder, K. Doyle. Panell: Workflow research and workflow products—Anything in common? In: Proc. International Conference CAiSE’98, Pisa, Italy, 1998.

  11. D. Georgakopoulos, M. Hornick. An overview of workflow management: From process modeling to workflow automation infrastructure, Distributed and Parallel Databases 3, 119–153, 1995.

    Article  Google Scholar 

  12. I. Haimowitz, J. Farley, G. S. Fields, J. Stillman, B. Vivier. Temporal reasoning for automated workflow in health care enterprises. In: M. Adam, Y. Yesha (eds.), Electronic Commerce: Current Research Issues and Applications. Lecture Notes in Computer Science 1028), 1996.

  13. J. G. Kobelius. Workflow Strategies, IDG Books, 1997.

  14. D. E. Mahling, C. Woo, R. Blumenthal, H. Schlichter, T. Horstman. Workflow = OIS? A report of a workshop at the CSCW 94 conference, SIGOIS Bulletin 16(1), 1995.

  15. R. Maiocchi, B. Pernici. Time management systems, IEEE Transactions on Knowledge and Data Engineering 3(4), 1992.

  16. O. Marjanovic, M. E. Orlowska. Time modeling in workflows, Technical report no. 413, School of Information Technology, University of Queensland, Australia, 1997.

    Google Scholar 

  17. R. Marshak. Requirements for workflow products. In: D. Coleman (ed.), Proc. Conference: Group Ware ’92, Morgan Kaufmann Publishers: San Mateo, California, 1992.

  18. R. Medina-Mora, T. Winograd, R. Flores, F. Flores. The action workflow approach to workflow management technology. In: Proc. CSCW’92 Conference, 1992.

  19. C. Mohan. Tutorial: State of the art in workflow management systems research and products. In: Proc. 5th International Conference on Database Systems for Advanced Applications (DASFAA ’97), Melbourne, Australia, 1997.

  20. C. Mohan, G. Alonso, R. Gunthor, M. Kamath. Exotica: A research perspective on workflow management systems, Data Engineering, 18(1), 1995.

  21. J. M. Nicolas. Managing Business and Engineering Projects, Prentice Hall: New Jersey, 1990.

    Google Scholar 

  22. M. E. Orlowska, J. Rajapakse. On specification of task dependencies in transactional workflows. In: Proc. International Conference on Systems Research, Informatics & Cybernetics. InterSymo’96, 1996, pp.46–50.

  23. Project Management Institute Standards Committee: A Guide to the Project Management Body of Knowledge, (http://www.pmi.org/pmi/publictn/pmbok/), 1996.

  24. J. Rajapakse, M. E. Orlowska. Towards a graphical transactional workflow specification language. In: Proc. Australian Systems Conference, September, 1995.

  25. W. Sadiq, M. E. Orlowska. Applying a generic workflow modeling technique to document workflows. In: Proc. Second Australian Document Computing Symposium (ADCS’97), Melbourne, Australia, 1997.

  26. W. Sadiq, M. E. Orlowska. On correctness issues in conceptual modeling of workflows. In: Proc. 5th European Conference on Information Systems (ECIS’97), Cork, Ireland, 1997.

  27. R. S. Sutton, A. G. Barto. Chapter 11: Case Studies—Job Shop Scheduling. In: Reinforcement Learning: An Introduction, MIT Press: Cambridge, MA, USA, 1998.

    Google Scholar 

  28. A. H. M. ter Hofstede, M. E. Orlowska, J. Rajapakse. Verification problems in conceptual workflow specifications. In: Proc. 15th International Conference on Conceptual Modeling ER’96, Cottbus Germany, 1996.

    Google Scholar 

  29. H. Wild, C. Darrouzet. Rhythms of collaboration, Communication of the ACM, September 38(9), 1995.

  30. D. Worah, A. Sheth. What do advanced transaction models have to offer for workflows? In: Proc. International Workshop on Advanced Transaction Models and Architectures, Goa, India, 1996.

  31. Workflow Management Coalition: The Workflow Management Coalition Specifications—Terminology and Glossary, 1996.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Electrical Engineering, University of Queensland, QLD 4072, Brisbane, Australia

    Olivera Marjanovic & Maria E. Orlowska

Authors
  1. Olivera Marjanovic
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maria E. Orlowska
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Olivera Marjanovic.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Marjanovic, O., Orlowska, M.E. On Modeling and Verification of Temporal Constraints in Production Workflows. Knowledge and Information Systems 1, 157–192 (1999). https://doi.org/10.1007/BF03325097

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03325097

Keywords

Search

Navigation