Towards a Formal Integrated Model of Collaborative Healthcare Workflows

  • Cristiano Bertolini
  • Martin Schäf
  • Volker Stolz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7151)


Health information systems (HIS) are becoming increasingly integrated through network communication technologies. Collaborative healthcare workflows (CHWF) are inherently complex, involving interactions among human actors, and (legacy) digital and physical systems. They are mission safety critical, privacy sensitive, and open to changes of requirements and environments. The complexity makes the definition, understanding, analysis, management, and monitoring of CHWF a software engineering challenge. We propose an approach to formal modeling and analysis of CHWF. The main problems that the approach addresses are abstraction and separation of concerns through algebraic manipulation. We use the CSP process algebra for modeling and verifying the dynamic interaction behavior of processes, and discuss the relation between the dynamic model and the static model of healthcare cases and resources. We use UML models to visualize the system’s behavior and structure, but definitions of the syntax and semantics of these graphical models and their relation to the CSP models are left for future work.


Integrated health information systems collaborative workflows infrastructure model CSP formal verification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
    Chen, B., Avrunin, G.S., Henneman, E.A., Clarke, L.A., Osterweil, L.J., Henneman, P.L.: Analyzing Medical Processes. In: Proceedings of the 30th Intl. Conf. on Software Engineering, ICSE 2008, pp. 623–632. ACM, New York (2008)CrossRefGoogle Scholar
  3. 3.
    Chen, Z., Liu, Z., Ravn, A.P., Stolz, V., Zhan, N.: Refinement and verification in component-based model-driven design. Sci. Comp. Prog. 74(4), 168–196 (2009)MathSciNetzbMATHCrossRefGoogle Scholar
  4. 4.
    Chen, Z., Liu, Z., Wang, J.: Failure-Divergence Refinement of Compensating Communicating Processes. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 262–277. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  5. 5.
    eHealth Initiative. National progress report on ehealth (July 2010),
  6. 6.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)Google Scholar
  7. 7.
    Hruby, P.: Specification of workflow management systems with UML. In: Proc. of the OOPSLA 1996 Workshop on Business Object Design and Implementation (1998)Google Scholar
  8. 8.
    Jensen, K.: Coloured Petri Nets: Basic concepts, analysis methods and practical use. Springer, Berlin (1996)zbMATHGoogle Scholar
  9. 9.
    Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, 2nd edn. Prentice-Hall (2001)Google Scholar
  10. 10.
    Liu, Z., He, J., Li, X., Chen, Y.: A Relational Model for Formal Object-Oriented Requirement Analysis in UML. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol. 2885, pp. 641–664. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  11. 11.
    Milner, R.: Communication and Concurrency. Prentice Hall (1989)Google Scholar
  12. 12.
    National Academy of Enginnering. Grand challenges for engineering (2008),
  13. 13.
    National E-Health Transition Authority. NEHTA Blueprint. Version 1.0, Draft for Consultation (August 2010)Google Scholar
  14. 14.
    OMG. UML extensions for workflow process definition - request for proposal. OMG-document bom/2000-12-11 (December 2000)Google Scholar
  15. 15.
    Mechael, P., et al.: Barriers and gaps affecting mHealth in low and middle income countries: Policy white paper. Technical report, Center for Global Health and Economic Development Earth Institute, Columbia University (May 2010)Google Scholar
  16. 16.
    Rational. Business modelling with the UML and Rational Suite AnalystStudio. A Rational Inc. Software White Paper (2000)Google Scholar
  17. 17.
    Shepherd, M.: Challenges in health informatics. In: Proceedings of the 40th Hawaii International Conference on System Sciences (2007)Google Scholar
  18. 18.
    van der Aalst, W.: The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  19. 19.
    van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press (2002)Google Scholar
  20. 20.
    van der Aalst, W., Weske, M., Wirtz, G.: Advanced topics in workflow management: Issues, requirements, and solutions. Journal of Integrated and Process Science 7(3), 49–77 (2003)Google Scholar
  21. 21.
    Vital Wave Consulting. mHealth for development: The opportunity of mobile technology for healthcare in the developing world. UN Foundation-Vodafone Foundation Partnership, Washington, D.C. (2009)Google Scholar
  22. 22.
    WFMC. Workflowmanagement coalition terminology and glossary (WFMC-TC-1011). Technical report, Workflow Management Coalition, Brussels (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Cristiano Bertolini
    • 1
  • Martin Schäf
    • 1
  • Volker Stolz
    • 1
    • 2
  1. 1.UNU-IISTMacau
  2. 2.Dept. of InformaticsUniversity of OsloNorway

Personalised recommendations