Towards Run-Time Verification of Compositions in the Web of Things using Complex Event Processing

Work partially supported by projects TIN2008-05932, TIN2012-35669, CSD2007-0004 funded by Spanish Ministry MINECO and FEDER; P11-TIC-7659 funded by Andalusian Government; and Universidad de Malaga, Campus de Excelencia Internacional Andalucia Tech

[1]  Gregor Hohpe,et al.  Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions , 2003 .

[2]  A. Bepperling,et al.  Device services as reusable units of modelling in a service-oriented environment - An analysis case study , 2010, 2010 IEEE International Symposium on Industrial Electronics.

[3]  Dong Guo,et al.  Towards unified heterogeneous event processing for the Internet of Things , 2012, 2012 3rd IEEE International Conference on the Internet of Things.

[4]  Michael Eckert,et al.  A CEP Babelfish: Languages for Complex Event Processing and Querying Surveyed , 2011 .

[5]  Antonio Brogi,et al.  Behaviour-Aware Compositions of Things , 2012, 2012 IEEE International Conference on Green Computing and Communications.

[6]  Dominique Guinard,et al.  SOCRADES: A Web Service Based Shop Floor Integration Infrastructure , 2008, IOT.

[7]  Claude Godart,et al.  An Event-Driven Approach for Runtime Verification of Inter-organizational Choreographies , 2011, 2011 IEEE International Conference on Services Computing.

[8]  Valérie Issarny,et al.  An Integrated Development and Runtime Environment for the Future Internet , 2012, Future Internet Assembly.

[9]  Wang Yongheng,et al.  The Research on Complex Event  Processing Method of Internet of Things , 2013, 2013 Fifth International Conference on Measuring Technology and Mechatronics Automation.

[10]  Yehia Taher,et al.  Adaptation of Web Service Interactions Using Complex Event Processing Patterns , 2011, ICSOC.

[11]  Matti Hämäläinen,et al.  Gateway as a service: A cloud computing framework for web of things , 2012, 2012 19th International Conference on Telecommunications (ICT).

[12]  Simon Mayer,et al.  In Search of an Internet of Things Service Architecture: REST or WS-*? A Developers' Perspective , 2011, MobiQuitous.

[13]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

[14]  Frank Leymann,et al.  An Integrated Solution for Runtime Compliance Governance in SOA , 2010, ICSOC.

[15]  François Jammes,et al.  Service-oriented paradigms in industrial automation , 2005, IEEE Transactions on Industrial Informatics.