No Cover Image

Book chapter 1137 views 200 downloads

Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations

Kenneth Johnson, John Tucker Orcid Logo, Victoria Wang

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

Swansea University Author: John Tucker Orcid Logo

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: 9783319720432 9783319720449
ISSN: 0302-9743 1611-3349
Published: Cham Springer International Publishing 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 2022-06-17T02:48:03Z
id cronfa33711
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-06-16T15:34:14.2681619</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><journalNumber/><paginationStart>13</paginationStart><paginationEnd>35</paginationEnd><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783319720432</isbnPrint><isbnElectronic>9783319720449</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>8</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2017</publishedYear><publishedDate>2017-12-08</publishedDate><doi>10.1007/978-3-319-72044-9_3</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2022-06-16T15:34:14.2681619</lastEdited><Created>2017-05-18T11:53:17.9809599</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - 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><embargoDate>2017-05-18T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling 2022-06-16T15:34:14.2681619 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 International Publishing Cham 9783319720432 9783319720449 0302-9743 1611-3349 context, monitoring, records, interventions, surveillance, organisation, employee monitoring, web monitoring, abstract data types, algebraic specification, streams 8 12 2017 2017-12-08 10.1007/978-3-319-72044-9_3 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2022-06-16T15:34:14.2681619 2017-05-18T11:53:17.9809599 Faculty of Science and Engineering School of Mathematics and Computer 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
author2 Kenneth Johnson
John Tucker
Victoria Wang
format Book chapter
container_title Recent Trends in Algebraic Development Techniques
container_volume 10644
container_start_page 13
publishDate 2017
institution Swansea University
isbn 9783319720432
9783319720449
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-319-72044-9_3
publisher Springer International Publishing
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
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-12-08T03:41:45Z
_version_ 1763751918468857856
score 11.01628