IoT Composer: Composition and Deployment of IoT Applications

The Internet of Things (IoT) consists of interconnected physical devices and software components. These connected things or objects exchange information in order to provide an end-user service. To fulfil this objective, such applications have to be designed by composing existing objects. However, this is a very difficult task mostly due to the heterogeneity and diversity of available objects. The IoT Composer tool was developed for supporting the development of IoT applications by first providing a behavioural model for objects and their composition. IoT Composer is developed as a web application that provides graphical support for composing available objects. The tool also provides automated validation techniques for verifying that the composition behaves correctly. Finally, a deployment plan is generated and can be run for effectively binding and instantiating all objects involved in the composition. IoT Composer was applied successfully to several real-world case studies. Video URL: https://youtu.be/6Cn3CUm5-qU

[1]  Frédéric Lang,et al.  SVL: A Scripting Language for Compositional Verification , 2001, FORTE.

[2]  Radu Mateescu,et al.  CADP 2011: a toolbox for the construction and analysis of distributed processes , 2012, International Journal on Software Tools for Technology Transfer.

[3]  Gunjan Tank,et al.  Software-Defined Networking-The New Norm for Networks , 2012 .

[4]  Antonio Bucchiarone,et al.  A context-aware framework for dynamic composition of process fragments in the internet of services , 2017, Journal of Internet Services and Applications.

[5]  Ludovic Noirie,et al.  The Majord'Home: a SDN approach to let isps manage and extend their customers'home networks , 2014, 10th International Conference on Network and Service Management (CNSM) and Workshop.

[6]  Ludovic Noirie,et al.  Software-Defined LANs for Interconnected Smart Environment , 2015, 2015 27th International Teletraffic Congress.

[7]  Ludovic Noirie,et al.  Digital assistance for the automated discovery and deployment of IoT services , 2018, 2018 21st Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN).

[8]  Frédéric Lang,et al.  From LOTOS to LNT , 2017, ModelEd, TestEd, TrustEd.

[9]  Steven Ovadia.  Automate the Internet With “If This Then That” (IFTTT) , 2014 .