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

Author

Qi, Zhengwei ; Rao, Ruonan ; Xue, Guangtao ; You, Jinyuan

Author_Institution

Dept. of Comput. Sci. & Eng., Shanghai Jiao Tong Univ., China

fYear

2004

fDate

15-18 Sept. 2004

Firstpage

16

Lastpage

22

Abstract

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.

Keywords

Internet; concurrency control; mobile computing; transaction processing; IT industry; P system-based Mobile Transaction Model; PMTM formal model; membrane rules; mobile Web services; mobile dining philosophers problem; mobile industry; object rules; transaction processing; transition rules; Biological system modeling; Biomembranes; Cellular phones; Computer networks; Computer science; Mobile computing; Personal digital assistants; Portable computers; Web services; Wireless sensor networks;

fLanguage

English

Publisher

ieee

Conference_Titel

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

Print_ISBN

0-7695-2225-4

Type

conf

DOI

10.1109/SCC.2004.1357985

Filename

1357985