Using formal specification techniques for advanced Counseling systems in health care

被引：0

作者：

Herzberg, Dominikus ^{[1
]}

Marsden, Nicola ^{[1
]}

Leonhardt, Corinna ^{[2
]}

Kuebler, Peter ^{[1
]}

Jung, Hartmut ^{[2
]}

Thomanek, Sabine ^{[3
]}

Becker, Annette ^{[3
]}

机构：

[1] Heilbronn Univ, Fac Informat, Dept Software Engn, D-74081 Heilbronn, Germany

[2] Univ Marburg, Dept Psychol Med, D-35032 Marburg, Germany

[3] Univ Marburg, Dept General Practice Family Med, D-35032 Marburg, Germany

来源：

HCI AND USABILITY FOR MEDICINE AND HEALTH CARE, PROCEEDINGS | 2007年 / 4799卷

关键词：

human-computer interaction in health care; counseling systems; formal methods; usability engineering;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

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.

引用

页码：41 / +

页数：3

共 26 条

[1]

Andrews G, 2007, AUST FAM PHYSICIAN, V36, P371

[2]

[Anonymous], 2003, PERSUASIVE TECHNOLOG

[3]

Benson Tim, 2007, Inform Prim Care, V15, P1

[4] Benefits of information technology - Enabled diabetes management [J].

Bu, Davis ;

Hook, Julie M. ;

Pan, Eric ;

Cusack, Caitlin M. ;

Walker, Janice ;

Bates, David W. ;

Adler-Milstein, Julia ;

Middleton, Blackford ;

Kendrick, David .

DIABETES CARE, 2007, 30 (05) :1137-1142

[5]

Consolvo Sunny., 2006, Proceedings o f the SIG C H I conference on H um an Factors in computing system s, P457, DOI [DOI 10.1145/1124772.1124840, https://doi.org/10.1145/1124772.1124840]

[6]

Garrett J.J., 2003, ELEMENTS USER EXPERI, V2nd

[7] Relationship of walking to mortality among US adults with diabetes [J].

Gregg, EW ;

Gerzoff, RB ;

Caspersen, CJ ;

Williamson, DF ;

Narayan, KMV .

ARCHIVES OF INTERNAL MEDICINE, 2003, 163 (12) :1440-1447

[8] Usability engineering methods for software developers [J].

Holzinger, A .

COMMUNICATIONS OF THE ACM, 2005, 48 (01) :71-74

[9]

Holzinger A., 2002, Computers Helping People with Special Needs 8th International Conference, ICCHP 2002. Proceedings (Lecture Notes in Computer Science Vol.2398), P33

[10]

Holzinger A, 2006, LECT NOTES COMPUT SC, V4061, P732

← 1 2 3 →