Theorising monitoring: algebraic models of web monitoring in organisations

Johnson K., John V. Tucker, Victoria Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

100 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationRecent Trends in Algebraic Development Techniques
Number of pages23
ISBN (Electronic)978-3319720449
ISBN (Print)978-3319720432
Publication statusEarly online - 8 Dec 2017
Event23rd International Workshop on Algebraic Development Techniques (WADT 2016) - Gregynog, United Kingdom
Duration: 21 Sept 201624 Sept 2016

Publication series

NameLecture Notes in Computer Science (LNCS)
ISSN (Print)0302-9743


Conference23rd International Workshop on Algebraic Development Techniques (WADT 2016)
Country/TerritoryUnited Kingdom


  • context
  • monitoring
  • records
  • interventions
  • surveillance
  • organisation
  • employee monitoring
  • abstract data types
  • algebraic specification
  • streams
  • RCUK
  • EP/N028139/1
  • EP/N027825/1


Dive into the research topics of 'Theorising monitoring: algebraic models of web monitoring in organisations'. Together they form a unique fingerprint.

Cite this