Abstract
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.
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
Andrews, G.: ClimateGP – web based patient education. Australian Family Physician 36(5), 371–372 (2007)
Benson, T.: Prevention of errors and user alienation in healthcare IT integration programmes. Informatics in Primary Care 15(1), 1–7 (2007)
Bu, D., Pan, E., Walker, J., Adler-Milstein, J., Kendrick, D., Hook, J.M., Cusack, C., Bates, D.W., Middleton, B.: Benefits of Information Technology-Enabled Diabetes Management. Diabetes Care 30(5), 1127–1142 (2007)
Consolvo, S., Everitt, K., Smith, I., Landay, J.L.: Design Requirements for Technologies that Encourage Physical Activity. In: CHI 2006, pp. 457–466. ACM Press, New York (2006)
Fogg, B.J.: Persuasive Technology: Using Computers to Change What We Think and Do. Morgan Kaufmann Publishers, San Francisco (2003)
Garrett, J.J.: The Elements of User Experience: User-Centered Design for the Web. New Riders (2003)
Gregg, E.W., Gerzoff, R.B., Caspersen, C.J., Williamson, D.F., Narayan, K.M.: Relationship of walking to mortality among US adults with diabetes. Arch. Intern. Med. 163(12), 1440–1447 (2003)
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)
Holzinger, A.: Usability Engineering Methods for Software Developers. Communication of the ACM 48(1), 71–74 (2005)
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)
Hubert, R.: Accessibility and usability guidelines for mobile devices in home health monitoring. SIGACCESS Access. Comput. 84(1), 26–29 (2006)
Karmisholt, K., Gøtzsche, P.C.: Physical activity for secondary prevention of disease. Dan. Med. Bull. 52(2), 90–94 (2005)
Lee, G., Tsai, C., Griswold, W.G., Raab, F., Patrick, K.: PmEB: A Mobile Phone Application for Monitoring Caloric Balance. In: CHI 2006, pp. 1013–1018. ACM Press, New York (2006)
Magee, J., Kramer, J.: Concurrency – State Models and Java Programs, 2nd edn. Wiley, Chichester (2006)
Mauriello, L.M., Driskell, M.M., Sherman, K.J., Johnson, S.S., Prochaska, J.M., Prochaska, J.O.: Acceptability of a school-based intervention for the prevention of adolescent obesity. Journal of School Nursing 22(5), 269–277 (2006)
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)
Nicholas, D., Huntington, P., Williams, P.: Delivering Consumer Health Information Digitally: A Comparison Between the Web and Touchscreen Kiosk. Journal of Medical Systems 27(1), 13–34 (2003)
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)
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.012
Pinto, B.M., Friedman, R., Marcus, B.H., Kelley, H., Tennstedt, S., Gillman, M.W.: Effects of a computer-based, telephone-counseling system on physical activity. American Journal of Preventive Medicine 23(2), 113–120 (2002)
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)
Silva, J.M., Zamarripa, S., Moran, E.B., Tentori, M., Galicia, L.: Promoting a Healthy Lifestyle Through a Virtual Specialist Solution. In: CHI 2006, pp. 1867–1872. ACM Press, New York (2006)
Singh, V., Mathew, A.P.: WalkMSU: an intervention to motivate physical activity in university students. In: CHI 2007, pp. 2657–2662. ACM Press, New York (2007)
Sohn, M., Lee, J.: UP health: ubiquitously persuasive health promotion with an instant messaging system. In: CHI 2007, pp. 2663–2668. ACM Press, New York (2007)
Taylor, R.S., Brown, A., Ebrahim, S., Jolliffe, J., Noorani, H., Rees, K., et al.: Exercise-based rehabilitation for patients with coronary heart disease: systematic review and meta-analysis of randomized controlled trials. Am. J. Med. 116(10), 682–692 (2004)
Toscos, T., Faber, A., An, S., Gandhi, M.P.: Click Clique: Persuasive Technology to Motivate Teenage Girls to Exercise. In: CHI 2006, pp. 1873–1878. ACM Press, New York (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Herzberg, D. et al. (2007). Using Formal Specification Techniques for Advanced Counseling Systems in Health Care. In: Holzinger, A. (eds) HCI and Usability for Medicine and Health Care. USAB 2007. Lecture Notes in Computer Science, vol 4799. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76805-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-76805-0_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76804-3
Online ISBN: 978-3-540-76805-0
eBook Packages: Computer ScienceComputer Science (R0)