title: Verification and validation of a Work Domain Analysis with turing machine task analysis.
abstract: While the use of Work Domain Analysis as a methodological framework in cognitive engineering is increasing rapidly, verification and validation of work domain models produced by this method are becoming a significant issue. In this article, we propose the use of a method based on Turing machine formalism named "Turing Machine Task Analysis" to verify and validate work domain models. The application of this method on two work domain analyses, one of car driving which is an "intentional" domain, and the other of a ship water system which is a "causal domain" showed the possibility of highlighting improvements needed by these models. More precisely, the step by step analysis of a degraded task scenario in each work domain model pointed out unsatisfactory aspects in the first modelling, like overspecification, underspecification, omission of work domain affordances, or unsuitable inclusion of objects in the work domain model.
authors.affiliation: Université Bretagne-Sud, CRPCC EA1285, Campus de Tohannic, 56000 Vannes, France. Electronic address: julien.rechard@univ-ubs.fr.
authors.forename: J
authors.initials: J
authors.lastname: Rechard
authors.affiliation: SEGULA Technologies, BP 50256, 56602 Lanester Cedex, France. Electronic address: alain.bignon@segula.fr.
authors.forename: A
authors.initials: A
authors.lastname: Bignon
authors.affiliation: Universite Bretagne-Sud, Lab-STICC, BP92116, 56321 Lorient Cedex, France. Electronic address: pascal.Berruet@univ-ubs.fr.
authors.forename: P
authors.initials: P
authors.lastname: Berruet
authors.affiliation: Université Bretagne-Sud, CRPCC EA1285, Campus de Tohannic, 56000 Vannes, France. Electronic address: thierry.morineau@univ-ubs.fr.
authors.forename: T
authors.initials: T
authors.lastname: Morineau
mesh_terms: D001334:Automobile Driving; D006801:Humans; D008328:Man-Machine Systems; D008962:Models, Theoretical; D012767:Ships; D013597:Systems Analysis; D013647:Task Performance and Analysis; D054928:Validation Studies as Topic; D014881:Water Supply; D014937:Work
keywords: Turing machine task analysis; Validation; Work domain analysis