his-hmi-home-button

HIS-HMI WS05
Human-Machine Interaction - Views - Design - Modeling

    Attention : Script is not a complete representation of the oral lecture !!! 
Script is not yet completely finished !!!

AUTHOR: Gerd D´┐Żen-Henisch
DATE OF FIRST GENERATION: Oct-17, 2005
DATE OF LAST CHANGE: Jan-23, 2006
EMAIL: doeben_at_fb2.fh-frankfurt.de


Design View

Modeling

If a requirements document is available, if the necessary tasks are described as well as the necessary knowledge for the user (including possible user support),  then a formal  model has to be constructed which covers all these divers aspects. This model has not only to cover all the static properties of the objects involved, the actors, the environment, institutions, machines etc., it has also to represent the dynamics of these components of a situation which can change during time by several actions.
What is needed here is a strong formal theory which can formally be proven and empirically tested.


START