Using Formal Specification Techniques for Advanced Counseling Systems in Health Care
Computer-based counseling systems in health care play an important role in the toolset available for doctors to inform, motivate and challenge their patients according to a well-defined therapeutic goal. In order to study value, use, usability and effectiveness of counseling systems for specific use cases and purposes, highly adaptable and extensible systems are required, which are – despite their flexibility and complexity – reliable, robust and provide exhaustive logging capabilities. We developed a computer-based counseling system, which has some unique features in that respect: The actual counseling system is generated out of a formal specification. Interaction behavior, logical conception of interaction dialogs and the concrete look & feel of the application are separately specified. In addition, we have begun to base the formalism on a mathematical process calculus enabling formal reasoning. As a consequence e.g. consistency and termination of a counseling session with a patient can be verified. We can precisely record and log all system and patient generated events; they are available for advanced analysis and evaluation.
KeywordsHuman-Computer Interaction in Health Care Counseling Systems Formal Methods Usability Engineering
Unable to display preview. Download preview PDF.
- 1.Andrews, G.: ClimateGP – web based patient education. Australian Family Physician 36(5), 371–372 (2007)Google Scholar
- 2.Benson, T.: Prevention of errors and user alienation in healthcare IT integration programmes. Informatics in Primary Care 15(1), 1–7 (2007)Google Scholar
- 5.Fogg, B.J.: Persuasive Technology: Using Computers to Change What We Think and Do. Morgan Kaufmann Publishers, San Francisco (2003)Google Scholar
- 6.Garrett, J.J.: The Elements of User Experience: User-Centered Design for the Web. New Riders (2003)Google Scholar
- 8.Holzinger, A.: User-Centered Interface Design for Disabled and Elderly People: First Experiences with Designing a Patient Communication System (PACOSY). In: Miesenberger, K., Klaus, J., Zagler, W. (eds.) ICCHP 2002. LNCS, vol. 2398, pp. 33–40. Springer, Heidelberg (2002)Google Scholar
- 10.Holzinger, A., Sammer, P., Hofmann-Wellenhof, R.: Mobile Computing in Medicine: Designing Mobile Questionnaires for Elderly and Partially Sighted People. In: Miesenberger, K., Klaus, J., Zagler, W., Karshmer, A.I. (eds.) ICCHP 2006. LNCS, vol. 4061, pp. 732–739. Springer, Heidelberg (2006)Google Scholar
- 12.Karmisholt, K., Gøtzsche, P.C.: Physical activity for secondary prevention of disease. Dan. Med. Bull. 52(2), 90–94 (2005)Google Scholar
- 14.Magee, J., Kramer, J.: Concurrency – State Models and Java Programs, 2nd edn. Wiley, Chichester (2006)Google Scholar
- 16.Murray, E., Burns, J., See Tai, S., Lai, R., Nazareth, I.: Interactive Health Communication Applications for people with chronic disease. Cochrane Database Syst. Rev. CD004274 (4) (2005)Google Scholar
- 18.Ortiz-Cornejo, A.I., Cuayahuitl, H., Perez-Corona, C.: WISBuilder: A Framework for Facilitating Development of Web-Based Information Systems. In: Conielecomp 2006. Proceedings of the 16th International Conference on Electronics, Communications and Computers vol.00 (February 27 - March 01, 2006)Google Scholar
- 19.Peipert, J., Redding, C.A., Blume, J., Allsworth, J.E., Iannuccillo, K., Lozowski, F., Mayer, K., Morokoff, P.J., Rossi, J.S.: Design of a stage-matched intervention trial to increase dual method contraceptive use (Project PROTECT). Contemporary Clinical Trials, Epub ahead of print (2007) doi:10.1016/j.cct.2007.01.012Google Scholar
- 21.Prochaska, J.O., Velicer, W.F.: Behavior Change. The Transtheoretical Model of Health Behavior Change. American Journal of Health Promotion 12(1), 38–48 (1997)Google Scholar