Pym, D;
Venters, W;
(2020)
Modelling Interfaces and Things Within the Decentralized Ecosystems of the Internet of Things.
In:
International Conference on Information Systems, ICIS 2020 - Making Digital Inclusive: Blending the Local and the Global.
AIS: Hyderabad, India.
Preview |
Text
InterfacesIoT.pdf - Accepted Version Download (1MB) | Preview |
Abstract
The Internet of Things concerns extensive ecosystems of'things' connected by interfaces. Researching such ecosystems is challenging given that devices extend into multiple administrative domains with different boundaries and communications structures. In this paper, we explore how formalism, based on systems thinking and mathematical logic, might be used within a critical realist study of a sociotechnical IoT ecosystem. Specifically, we draw upon theories of distributed systems and their models to define IoT things in terms of locations, resources, and processes. Next, we explain how a formal logic can be used define and reason about IoT things and interfaces, explaining also the logically defined concepts of compositionality and local reasoning. Finally, we show how such models can be used to study a specific IoT ecosystem in order to derive generative mechanisms relevant to the socio-technical complexity of IoT ecosystems. In this way, we explore how we might introduce formal modelling within a critical realist epistemology.
| Type: | Proceedings paper |
|---|---|
| Title: | Modelling Interfaces and Things Within the Decentralized Ecosystems of the Internet of Things |
| Event: | ICIS 2020 Conference |
| ISBN-13: | 9781733632553 |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | https://aisel.aisnet.org/icis2020/iot_smart/iot_sm... |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| Keywords: | Systems Modelling, Interfaces, Logic, Process Algebra, Critical Realism, Internet of Things, IoT Systems, Compositionality, Local Reasoning |
| UCL classification: | UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science UCL > Provost and Vice Provost Offices > UCL BEAMS UCL |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10144133 |
Archive Staff Only
 |
View Item |
