Skip to main content

On the Modeling of Healthcare Workflows Using Recursive ECATNets

  • Conference paper
Business Process Management Workshops (BPM 2011)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 100))

Included in the following conference series:

Abstract

Healthcare enterprises involve complex processes involving clinical and administrative tasks that are supported by a variety of information and logistics systems. Although the workflow technology was introduced in various industries two decades ago, the use of Workflow Management Systems (WfMSs) is rather recent in the healthcare domain. This is due, in particular, by the fact that healthcare processes (or careflows) are highly flexible and extremely dynamic [1]. In this paper, we show how we can take advantage of description power of Recursive ECATNets for realizing flexible workflows in the healthcare domain.

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

Access this chapter

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. Reijers, H.A., Russell, N., van der Geer, S., Krekels, G.A.M.: Workflow for Healthcare: A Methodology for Realizing Flexible Medical Treatment Processes. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol. 43, pp. 593–604. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  2. Maruster, L., Jorna, R.: From data to knowledge: a method for modeling hospital logistic processes. IEEE Transactions on Information Technology in Biomedicine 9, 248–255 (2005)

    Article  Google Scholar 

  3. Halliday, J.J., Shrivastava, S.K., Wheater, S.M.: Flexible workflow management in the openflow system. In: 4th International Enterprise Distributed Object Computing Conference (EDOC 2001), pp. 82–92. IEEE Computer Society (2001)

    Google Scholar 

  4. Schonenberg, H., Mans, R., Russell, N., Mulyar, N., Van der Aalst, W.M.P.: Towards a taxonomy of process flexibility. In: CAiSE Forum, pp. 81–84 (2008)

    Google Scholar 

  5. Hagen, C., Alonso, G.: Flexible exception handling in the opera process support system. In: International Conference on Distributed Computing Systems, p. 526 (1998)

    Google Scholar 

  6. Ellis, C.A., Keddara, K.: A Workflow Change Is a Workflow. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 201–217. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  7. Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. Data Knowl. Eng. 24(3), 211–238 (1998)

    Article  MATH  Google Scholar 

  8. Siebert, R.: An open architecture for adaptive workflow management systems. J. Integr. Des. Process Sci. 3(3), 29–41 (1999)

    MathSciNet  Google Scholar 

  9. Haddad, S., Poitrenaud, D.: Recursive Petri nets: Theory and Application to Discrete Event Systems. Acta Informatica 40(7-8), 463–508 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  10. Barkaoui, K., Hicheur, A.: Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 232–244. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  11. Barkaoui, K., Boucheneb, H., Hicheur, A.: Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol. 5387, pp. 19–36. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  12. Barkaoui, K., Ben Ayed, R.: Uniform Verification of Workflow Soundness. Transactions of the Institute of Measurement and Control Journal 31, 1–16 (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dhieb, A.B., Barkaoui, K. (2012). On the Modeling of Healthcare Workflows Using Recursive ECATNets. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds) Business Process Management Workshops. BPM 2011. Lecture Notes in Business Information Processing, vol 100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28115-0_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-28115-0_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28114-3

  • Online ISBN: 978-3-642-28115-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics