Skip to main content

Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain

  • Conference paper
  • 1407 Accesses

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 7610)

Abstract

Process modeling has developed to an established technique facilitating and supporting the documentation, analysis and automation of workflows. As in common practice workflow modeling requires immediate contribution of participants that lack broad knowledge of formal models as well as software engineering skills, simplicity of the selected modeling approach throughout each step of the design phase is a key factor for the success of a workflow management project. We present an approach that combines simplicity in the modeling phase with the feasibility of immediate evaluation via execution to rapidly develop systems supporting role-based workflows. Finally, we discuss practicability and benefits of this approach based on an exemplary case study of processes in the healthcare domain.

Keywords

  • process modeling
  • healthcare clinical processes workflow management
  • business process management
  • model-driven software development
  • simplicity
  • rapid prototyping

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • 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

Learn about institutional subscriptions

References

  1. Li, L., Ge, R.-L., Zhou, S.-M., Valerdi, R.: Guest editorial integrated healthcare information systems. IEEE Transactions on Information Technology in Biomedicine 16(4), 515–517 (2012)

    CrossRef  Google Scholar 

  2. Margaria, T., Steffen, B.: Simplicity as a Driver for Agile Innovation. Computer 43(6), 90–92 (2010)

    CrossRef  Google Scholar 

  3. Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92–108. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  4. Margaria, T., Steffen, B.: Service-Orientation: Conquering Complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity. Springer (2012)

    Google Scholar 

  5. Scheer, A.-W.: ARIS. Vom Geschäftsprozess zum Anwendungssystem, p. 20. Springer (2002)

    Google Scholar 

  6. van der Aalst, W.: Formalization and Verification of Event-driven Process Chains. Information & Software Technology 41(10), 639–650 (1999)

    CrossRef  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

Margaria, T., Boßelmann, S., Kujath, B. (2012). Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. Lecture Notes in Computer Science, vol 7610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34032-1_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34032-1_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34031-4

  • Online ISBN: 978-3-642-34032-1

  • eBook Packages: Computer ScienceComputer Science (R0)