Abstract
In recent years, some approaches have been presented for the seamless integration of WSNs with the existing, widely deployed SOA technologies such as XML, Web services, and the Business Process Execution Language (BPEL) to build a wireless sensor networks service application. However, there a great challenge on fault tolerant in WSNs. In this paper, we present our framework and approach to enhance the reliability of service composition applications in WSNs through modeling and analyzing a wireless sensor networks service application based on BPEL with exception handler and compensation mechanism. At first, we analyze all possible states during the execution of BPEL instance in WSNs. Then, we present a state framework for modeling execution context in BPEL instance in WSNs. Based on this framework, we analyze state transition and operational semantics in the case of both correct execution and exceptional execution of BPEL instance in WSNs. Furthermore, we propose the state transition models for three types of activities in BPEL instance. In the end, we present a formal approach to model the execution context in BPEL for WSNs. Using this formal model, one can describe and analyze the control flow result from the exception handler and compensation mechanism in BPEL instance for WSNs.
Highlights
Despite the amount of research targeted at middleware systems for wireless sensor networks (WSNs), they are still not widely used in industry
In order to enhance the reliability of service composition applications in WSNs, we study the modeling approach of the execution context in the instance of Business Process Execution Language (BPEL) for verifying the availability and operational semantics of exception handling and compensation mechanisms in BPEL instance for WSNs in this paper
We discuss the possible states of a BPEL activity during the execution of the instance of BPEL
Summary
Despite the amount of research targeted at middleware systems for wireless sensor networks (WSNs), they are still not widely used in industry. It results in the fact that the LRT loses ACID prosperities and the isolation cannot be at least satisfied It is because the business data is visible in the whole transition duration from the initial update operation to compensation. To verify the availability of exception handling and compensation mechanism of BPEL instance in WSNs, we validate the modeling and analysis methods for the execution context of BPEL in this paper. (iii) We present an approach to model the state transition process with state transition system for WSNs. Using the approach mentioned above, one can describe and verify the control flows resulted from exception handler and compensation mechanism of BPEL instance for WSNs. This paper is organized as follows.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
