Use this URL to cite or link to this record in EThOS:
Title: An algebraic service composition model for the construction of large-scale IoT systems
Author: Arellanes Molina, Damian
ISNI:       0000 0004 8505 0217
Awarding Body: University of Manchester
Current Institution: University of Manchester
Date of Award: 2020
Availability of Full Text:
Access from EThOS:
Access from Institution:
The Internet of Things (IoT) is an emerging paradigm that envisions the interconnection of (physical and virtual) objects through innovative distributed services. With the advancement of hardware technologies, the number of IoT services is rapidly growing due to the increasing number of connected things. Currently, there are about 19 billion connected things, and it is predicted that this number will grow exponentially in the coming years. The scale of IoT systems will hence surpass human expectations as such systems will require the composition of billions of services into complex behaviours. Thus, scalability in terms of the size of IoT systems becomes a significant challenge. Existing service composition mechanisms (i.e., orchestration, choreography and dataflows) were primarily designed for the integration of enterprise services, not for the physical world. For that reason, they do not provide the requisite semantics and hence properties for tackling the scalability challenge that future IoT systems pose. In this thesis, we identify crucial scalability requirements for IoT systems, and propose an algebraic service composition model for the construction of large-scale IoT systems. The resulting model, DX-MAN, has been validated with a software platform and evaluated against the scalability requirements. A comparison with the related work shows that DX-MAN advances the state of the art on IoT service composition and it is, therefore, promising for the construction of future large-scale IoT software systems.
Supervisor: Zhao, Liping ; Lau, Kung-Kiu Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Dataflows ; Functional Scalability ; Decentralised Data Flows ; Workflow Variability ; Choreography ; Workflows ; Service Composition ; DX-MAN ; Large-Scale Systems ; Internet of Things (IoT) ; Orchestration