A New Formal Model Based on P-System for Mobile Transactions

Authors:
Zhengwei Qi;Ruonan Rao;Guangtao Xue;Jinyuan You
Affiliations:
Shanghai Jiao Tong University, China;Shanghai Jiao Tong University, China;Shanghai Jiao Tong University, China;Shanghai Jiao Tong University, China
Venue:
SCC '04 Proceedings of the 2004 IEEE International Conference on Services Computing
Year:
2004

Citing 0
Cited 1

Membrane computing as a modeling framework: cellular systems case studies

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology

Quantified Score

Hi-index	0.00

Visualization

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. This paper presents 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.