Verification and validation of a work domain analysis with Turing machine task analysis

Julien Rechard, A. Bignon, P. Berruet, T. Morineau
{"title":"Verification and validation of a work domain analysis with Turing machine task analysis","authors":"Julien Rechard, A. Bignon, P. Berruet, T. Morineau","doi":"10.1145/2671470.2671477","DOIUrl":null,"url":null,"abstract":"Whereas the use of work domain analysis as a methodological framework in cognitive engineering increases rapidly in frequency, verification and validation of work domain models produced by this method become yet a significant issue. In this article, we propose to use a method based on Turing machine formalism and named \"Turing Machine Task Analysis\" to verify and validate work domain models. The application of this method on a work domain analysis, a ship fresh water system which is a \"causal domain\" showed the possibility to highlight improvements that are needed by this model. More precisely, the step by step analysis of a degraded task scenario on the work domain model pointed out unsatisfactory aspects in first modelling, like over specification, under specification, omission of work domain affordances, or unsuitable inclusion of properties in the work domain model.","PeriodicalId":269028,"journal":{"name":"Ergonomie Et Informatique Avancée","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2014-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Ergonomie Et Informatique Avancée","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2671470.2671477","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

Whereas the use of work domain analysis as a methodological framework in cognitive engineering increases rapidly in frequency, verification and validation of work domain models produced by this method become yet a significant issue. In this article, we propose to use a method based on Turing machine formalism and named "Turing Machine Task Analysis" to verify and validate work domain models. The application of this method on a work domain analysis, a ship fresh water system which is a "causal domain" showed the possibility to highlight improvements that are needed by this model. More precisely, the step by step analysis of a degraded task scenario on the work domain model pointed out unsatisfactory aspects in first modelling, like over specification, under specification, omission of work domain affordances, or unsuitable inclusion of properties in the work domain model.
图灵机任务分析的工作域分析验证与验证
尽管在认知工程中,工作域分析作为一种方法学框架的使用频率越来越高,但由该方法产生的工作域模型的验证和确认仍然是一个重要的问题。在本文中,我们提出了一种基于图灵机形式化并命名为“图灵机任务分析”的方法来验证和验证工作领域模型。将该方法应用于船舶淡水系统的“因果域”工作域分析,表明该模型有可能突出需要改进的地方。更准确地说,对工作领域模型上的降级任务场景的逐步分析指出了第一次建模中不令人满意的方面,如规范过多、规范不足、工作领域功能的遗漏,或者在工作领域模型中不适当地包含属性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信