No Cover Image

Book chapter 342 views 30 downloads

Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations / John, Tucker

Recent Trends in Algebraic Development Techniques, Volume: 10644, Pages: 13 - 35

Swansea University Author: John, Tucker

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 moni...

Full description

Published in: Recent Trends in Algebraic Development Techniques
ISBN: 978-3-319-72043-2 978-3-319-72044-9
ISSN: 0302-9743 1611-3349
Published: Berlin Springer Verlag 2017
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa33711
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2017-05-18T13:00:09Z
last_indexed 2019-08-09T15:43:05Z
id cronfa33711
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-08-08T15:21:13.1464877</datestamp><bib-version>v2</bib-version><id>33711</id><entry>2017-05-18</entry><title>Theorising Monitoring: Algebraic Models of&#xA0;Web Monitoring in Organisations</title><swanseaauthors><author><sid>431b3060563ed44cc68c7056ece2f85e</sid><ORCID>0000-0003-4689-8760</ORCID><firstname>John</firstname><surname>Tucker</surname><name>John Tucker</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2017-05-18</date><deptcode>SCS</deptcode><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.</abstract><type>Book chapter</type><journal>Recent Trends in Algebraic Development Techniques</journal><volume>10644</volume><paginationStart>13</paginationStart><paginationEnd>35</paginationEnd><publisher>Springer Verlag</publisher><placeOfPublication>Berlin</placeOfPublication><isbnPrint>978-3-319-72043-2</isbnPrint><isbnElectronic>978-3-319-72044-9</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords>context, monitoring, records, interventions, surveillance, organisation, employee monitoring, web monitoring, abstract data types, algebraic specification, streams</keywords><publishedDay>1</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2017</publishedYear><publishedDate>2017-01-01</publishedDate><doi>10.1007/978-3-319-72044-9_3</doi><url>https://doi.org/10.1007/978-3-319-72044-9_3</url><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><lastEdited>2019-08-08T15:21:13.1464877</lastEdited><Created>2017-05-18T11:53:17.9809599</Created><path><level id="1">College of Science</level><level id="2">Computer Science</level></path><authors><author><firstname>Kenneth</firstname><surname>Johnson</surname><order>1</order></author><author><firstname>John</firstname><surname>Tucker</surname><orcid>0000-0003-4689-8760</orcid><order>2</order></author><author><firstname>Victoria</firstname><surname>Wang</surname><order>3</order></author></authors><documents><document><filename>0033711-18052017120415.pdf</filename><originalFilename>wadt-paper-2017.pdf</originalFilename><uploaded>2017-05-18T12:04:15.0600000</uploaded><type>Output</type><contentLength>306846</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><action/><embargoDate>2017-05-18T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents></rfc1807>
spelling 2019-08-08T15:21:13.1464877 v2 33711 2017-05-18 Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations 431b3060563ed44cc68c7056ece2f85e 0000-0003-4689-8760 John Tucker John Tucker true false 2017-05-18 SCS 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. Book chapter Recent Trends in Algebraic Development Techniques 10644 13 35 Springer Verlag Berlin 978-3-319-72043-2 978-3-319-72044-9 0302-9743 1611-3349 context, monitoring, records, interventions, surveillance, organisation, employee monitoring, web monitoring, abstract data types, algebraic specification, streams 1 1 2017 2017-01-01 10.1007/978-3-319-72044-9_3 https://doi.org/10.1007/978-3-319-72044-9_3 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2019-08-08T15:21:13.1464877 2017-05-18T11:53:17.9809599 College of Science Computer Science Kenneth Johnson 1 John Tucker 0000-0003-4689-8760 2 Victoria Wang 3 0033711-18052017120415.pdf wadt-paper-2017.pdf 2017-05-18T12:04:15.0600000 Output 306846 application/pdf Accepted Manuscript true 2017-05-18T00:00:00.0000000 true eng
title Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
spellingShingle Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
John, Tucker
title_short Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
title_full Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
title_fullStr Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
title_full_unstemmed Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
title_sort Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
author_id_str_mv 431b3060563ed44cc68c7056ece2f85e
author_id_fullname_str_mv 431b3060563ed44cc68c7056ece2f85e_***_John, Tucker
author John, Tucker
format Book chapter
container_title Recent Trends in Algebraic Development Techniques
container_volume 10644
container_start_page 13
publishDate 2017
institution Swansea University
isbn 978-3-319-72043-2
978-3-319-72044-9
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-319-72044-9_3
publisher Springer Verlag
college_str College of Science
hierarchytype
hierarchy_top_id collegeofscience
hierarchy_top_title College of Science
hierarchy_parent_id collegeofscience
hierarchy_parent_title College of Science
department_str Computer Science{{{_:::_}}}College of Science{{{_:::_}}}Computer Science
url https://doi.org/10.1007/978-3-319-72044-9_3
document_store_str 1
active_str 0
description 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.
published_date 2017-01-01T12:51:42Z
_version_ 1650725279865241600
score 10.868379