Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blood Transfusion Medical Benchmark, https://collab.cs.umass.edu/groups/laser_library/wiki/04be2/BTBenchmarkDownloads.html
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)
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)
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)
eHealth Initiative. National progress report on ehealth (July 2010), http://www.ehealthinitiative.org
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)
Hruby, P.: Specification of workflow management systems with UML. In: Proc. of the OOPSLA 1996 Workshop on Business Object Design and Implementation (1998)
Jensen, K.: Coloured Petri Nets: Basic concepts, analysis methods and practical use. Springer, Berlin (1996)
Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, 2nd edn. Prentice-Hall (2001)
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)
Milner, R.: Communication and Concurrency. Prentice Hall (1989)
National Academy of Enginnering. Grand challenges for engineering (2008), http://www.engineeringchallenges.org/cms/challenges.aspx
National E-Health Transition Authority. NEHTA Blueprint. Version 1.0, Draft for Consultation (August 2010)
OMG. UML extensions for workflow process definition - request for proposal. OMG-document bom/2000-12-11 (December 2000)
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)
Rational. Business modelling with the UML and Rational Suite AnalystStudio. A Rational Inc. Software White Paper (2000)
Shepherd, M.: Challenges in health informatics. In: Proceedings of the 40th Hawaii International Conference on System Sciences (2007)
van der Aalst, W.: The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press (2002)
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)
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)
WFMC. Workflowmanagement coalition terminology and glossary (WFMC-TC-1011). Technical report, Workflow Management Coalition, Brussels (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bertolini, C., Schäf, M., Stolz, V. (2012). Towards a Formal Integrated Model of Collaborative Healthcare Workflows. In: Liu, Z., Wassyng, A. (eds) Foundations of Health Informatics Engineering and Systems. FHIES 2011. Lecture Notes in Computer Science, vol 7151. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32355-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-32355-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32354-6
Online ISBN: 978-3-642-32355-3
eBook Packages: Computer ScienceComputer Science (R0)