Proc. of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Jan. 2018.
Abstract: In the context of the Internet of Things (IoT), it is necessary to design services that are loosely coupled to the objects on which they act. We call these loosely coupled services generic services. Based on a previous work that defines a three-levelled architecture for the IoT, we first propose a declarative approach to the design generic services for the IoT. Then, based on this declarative description, we define service orchestrators which are high level services that are able to manage access conflicts of services to connected objects. Next, we describe consistency rules to check validity of a generic service or an orchestrator. Finally, we illustrate our approach with use cases around services in a smart home.