首页    期刊浏览 2024年07月08日 星期一
登录注册

文章基本信息

  • 标题: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.
国家哲学社会科学文献中心版权所有