By Topic

A new formal model based on P-system for mobile transactions

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Zhengwei Qi ; Dept. of Comput. Sci. & Eng., Shanghai Jiao Tong Univ., China ; Ruonan Rao ; Guangtao Xue ; Jinyuan You

Mobile Web services enable the IT industry and the mobile industry to create products and services that meet customer needs within the existing Web services framework. Transaction support is crucial in mobile Web services. The existing mobile transaction models are application-specific and not suitable to investigate the generic theoretical model. We present a new formal method called PMTM (P system-based Mobile Transaction Model) to formalize the behavior of mobile transactions. There are two kinds of transition rules in PMTM. The first group is object rules, which describe the transitions in membranes. The second group is membrane rules, which define the structural modification of membranes. Finally, we use mobile dining philosophers problem to illustrate the usage of PMTM.

Published in:

Services Computing, 2004. (SCC 2004). Proceedings. 2004 IEEE International Conference on

Date of Conference:

15-18 Sept. 2004