文章基本信息

标题：Modelling Distributed Cognition Systems in PVS
本地全文：下载
作者：Paolo Masci ; Paul Curzon ; Ann Blandford 等
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2011
卷号：45
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：We report on our efforts to formalise DiCoT, an informal structured approach for analysing complex work systems, such as hospital and day care units, as distributed cognition systems. We focus on DiCoT's information flow model, which describes how information is transformed and propagated in the system. Our contribution is a set of generic models for the specification and verification system PVS. The developed models can be directly mapped to the informal descriptions adopted by human-computer interactions experts. The models can be verified against properties of interest in the PVS theorem prover. Also, the same models can be simulated, thus facilitating analysts to engage with stakeholders when checking the correctness of the model. We trial our ideas on a case study based on a real-world medical system.