SALT: A simple application logic description using transducers for Internet of Things

As the Internet of Things (IoT) grows in interest from both research and industrial parts, the lack of standard solutions to quickly and easily build and install IoT applications becomes a topic of high interest. In this paper, we introduce a language called SALT (Simple Application Logic description using Transducers) that allows describing and deploying the distributed logic needed in order to fulfil a complete desired application. This language aims at giving extended functionalities by filling the gap between the logical capabilities offered by services orchestration and the closeness efficiency of services choreography. SALT is interpreted by a virtual machine running on devices that introduces an abstraction layer in order to simplify access to hardware capabilities. SALT implements several mechanisms to comply with organisation issues presented in the Services Oriented Computing realm dealing with Services interactions, adapted to the specific constraints of the IoT. This work details SALT's concepts, formalism and implementation.

[1]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[2]  Yacine Ghamri-Doudane,et al.  D-LITe: Distributed Logic for Internet of Things Services , 2011, 2011 International Conference on Internet of Things and 4th International Conference on Cyber, Physical and Social Computing.

[3]  Yacine Ghamri-Doudane,et al.  Services collaboration in Wireless Sensor and Actuator Networks: Orchestration versus Choreography , 2012, 2012 IEEE Symposium on Computers and Communications (ISCC).

[4]  Marlon Dumas,et al.  Service Interaction Modeling: Bridging Global and Local Views , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[5]  Marlon Dumas,et al.  Let's Dance: A Language for Service Behavior Modeling , 2006, OTM Conferences.

[6]  Lida Xu,et al.  The internet of things: a survey , 2014, Information Systems Frontiers.

[7]  Marlon Dumas,et al.  Service Interaction Patterns , 2005, Business Process Management.

[8]  Xiang Fu,et al.  Model Checking Interactions of Composite Web Services , 2003 .