Research On Web Service Transaction Technology For Wireless Sensor Network

Wireless Sensor Networks(WSN) is a research hot spot in recent years, carries the characteristics of self-organization, mobility, energy limitation and disconnection. It is mainly based on data acquisition applications such as military and intelligent medical service and can be integrated with existing applications as data source. How to ensure the effectiveness and consistency of the WSN data, has become a research hotspot in the field of WSN data management.Transactions which are the collection of a series of operation, provide reliable quality service and ensure data consistency. Current Web Services transaction protocols can not provide accurate transactional semantic definitions, which badly block the transactional implementation. These protocols relax the ACID properties of conventional transactions and redefine the transactional properties in the loosely coupled context. Therefore, these protocols need to be formally analyzed, validated and supplemented in order to assure their improvement and correct implementation in WSN.Based on the atomic submission protocol in WSN, this thesis uses polyadic ?-calculus to describe its two-phase commit protocol formally and confirm that it satisfies the atomic property through check command of the weak bisimulation. On the basis of WS-BA for WSN, this article states BAwPC protocol to meets the situation of several participants. Then uses polyadic ?-calculus to formally demonstrate as well, and the long running transactional properties including eventuality and local atomicity of the BAwPC protocol are proved, which can make sure the data consistency and effectiveness in WSN when applying these protocols to WSN. At last, a prototype system for WSN web service transaction processing is stated, which uses the above two polyadic ?-calculus based protocols in the transactional module. The implementation of accessing WSN data and data management from Web server can be achieved.