SALT: A simple application logic description using transducers for Internet of Things
暂无分享,去创建一个
[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 .