Skip to Main content Skip to Navigation
Conference papers

Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations

Abstract : Our lives are facilitated and mediated by software. Thanks to software, data on nearly everything can be generated, accessed and analysed for all sorts of reasons. Software technologies, combined with political and commercial ideas and practices, have led to a wide range of our activities being monitored, which is the source of concerns about surveillance and privacy. We pose the questions: What is monitoring? Do diverse and disparate monitoring systems have anything in common? What role does monitoring play in contested issues of surveillance and privacy? We are developing an abstract theory for studying monitoring that begins by capturing structures common to many different monitoring practices. The theory formalises the idea that monitoring is a process that observes the behaviour of people and objects in a context. Such entities and their behaviours can be represented by abstract data types and their observable attributes by logics. In this paper, we give a formal model of monitoring based on the idea that behaviour is modelled by streams of data, and apply the model to a social context: the monitoring of web usage by staff and members of an organisation.
Document type :
Conference papers
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Monday, April 16, 2018 - 11:34:51 AM
Last modification on : Wednesday, June 9, 2021 - 3:26:02 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Kenneth Johnson, John V. Tucker, Victoria Wang. Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations. 23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.13-35, ⟨10.1007/978-3-319-72044-9_3⟩. ⟨hal-01767467⟩



Record views


Files downloads