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

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 suita...

Full description

Saved in:
Bibliographic Details
Main Authors: Zhengwei Qi, Ruonan Rao, Guangtao Xue, Jinyuan You
Format: Conference Proceeding
Language:English
Subjects:
Biological system modeling
Biomembranes
Cellular phones
Computer networks
Computer science
Mobile computing
Personal digital assistants
Portable computers
Web services
Wireless sensor networks
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/SCC.2004.1357985