id: 05273277
dt: a
an: 05273277
au: Herzberg, Dominikus; Marsden, Nicola; Leonhardt, Corinna; Kübler, Peter;
    Jung, Hartmut; Thomanek, Sabine; Becker, Annette
ti: Using formal specification techniques for advanced counseling systems in
    health care.
so: Holzinger, Andreas (ed.), HCI and usability for medicine and health care.
    Third symposium of the workgroup human-computer interaction and
    usability engineering of the Austrian Computer Society, USAB 2007 Graz,
    Austria, November, 22, 2007. Proceedings. Berlin: Springer (ISBN
    978-3-540-76804-3/pbk). Lecture Notes in Computer Science 4799, 41-54
    (2007).
py: 2007
pu: Berlin: Springer
la: EN
cc: 
ut: Human-Computer Interaction in Health Care; Counseling Systems; Formal
    Methods; Usability Engineering
ci: 
li: doi:10.1007/978-3-540-76805-0_3
ab: Summary: 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.
rv: