Abstract
In mobile-enabled service-oriented computing, there exist resource restrictions and connection intermittences, and transactional services are often confronted with handovers and weak consistency support. In order to ensure the transaction validity of composition services in mobile environments, a mobile composition transaction model based on Markov Chain is proposed via analyzing service uncertainty and transaction properties. Firstly, formal methods are applied to construct a mobile atomic service model and a transaction mechanism of atomic services, and the service uncertainties are formulated with state probabilities. Secondly, the mobile composition service model is constructed using a Markov Chain, in which uncertainties are passed and a method of reliable composition transaction is presented. Then transaction execution of typical logic structure is introduced after execution semantic analysis. Finally, an application case shows that this model is effective to describe the mobile composition transaction, and the experimental results suggest that service availability, service reliability and transaction pattern have a considerable impact on the probability of success of composition transactions.
Sign-in/Register to access full text options 
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 callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
