UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Modelling distributed cognition systems in PVS

Masci, P; Curzon, P; Blandford, A; Furniss, D; (2011) Modelling distributed cognition systems in PVS. In:

Full text not available from this repository.


© Formal Methods for Interactive Systems 2011. 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.

Type: Proceedings paper
Title: Modelling distributed cognition systems in PVS
DOI: 10.14279/tuj.eceasst.45.653.659
URI: http://discovery.ucl.ac.uk/id/eprint/1346040
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item