%0 Conference Proceedings
%T Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
%+ Auckland University of Technology (AUT)
%+ Swansea University
%+ University of Portsmouth
%A Johnson, Kenneth
%A Tucker, John, V.
%A Wang, Victoria
%Z Part 2: Invited Talk
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 23th International Workshop on Algebraic Development Techniques (WADT)
%C Gregynog, United Kingdom
%Y Phillip James
%Y Markus Roggenbach
%I Springer International Publishing
%3 Recent Trends in Algebraic Development Techniques
%V LNCS-10644
%P 13-35
%8 2016-09-21
%D 2016
%R 10.1007/978-3-319-72044-9_3
%K Context
%K Monitoring
%K Records
%K Interventions
%K Surveillance
%K Organisation
%K Employee monitoring
%K Web monitoring
%K Abstract data types
%K Algebraic specification
%K Streams
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-01767467/document
%2 https://inria.hal.science/hal-01767467/file/433330_1_En_3_Chapter.pdf
%L hal-01767467
%U https://inria.hal.science/hal-01767467
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-WADT
%~ IFIP-LNCS-10644