Algebraic Service Composition for User-Centric IoT Applications Damian Arellanes and Kung-Kiu Lau School of Computer Science, The University of Manchester, Manchester M13 9PL, UK {damian.arellanesmolina,kung-kiu.lau}@manchester.ac.uk Abstract: The Internet of Things (IoT) requires a shift in our way of building applications, as it is aimed at providing many services to society in general. Non-developer people require increasingly complex IoT applications and support for their ever changing run-time requirements. Although service composition allows the combination of functionality into more complex behaviours, current approaches provide support for dealing with one IoT scenario at a time, as they allow the definition of only one work flow. In this paper, we present DX-MAN, an algebraic model for static service composition that allows the definition of composite services that encompass multiple workflows for run-time scenarios. We evaluate our proposal on an example in the domain of smart homes.