loading...
A New Formal Model Based on P-System for Mobile Transactions
Shanghai, China September 15-September 18
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCC.2004.1357985Services Computing, 2004 IEEE Interna ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Zhengwei Qi, Ruonan Rao, Guangtao Xue, Jinyuan You, "A New Formal Model Based on P-System for Mobile Transactions," Services Computing, IEEE International Conference on, pp. 16-22, Services Computing, 2004 IEEE International Conference on (SCC'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/SCC.2004.1357985,
author = {Zhengwei Qi and Ruonan Rao and Guangtao Xue and Jinyuan You},
title = {A New Formal Model Based on P-System for Mobile Transactions},
journal ={Services Computing, IEEE International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2225-4},
pages = {16-22},
doi = {http://doi.ieeecomputersociety.org/10.1109/SCC.2004.1357985},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Services Computing, IEEE International Conference on
TI - A New Formal Model Based on P-System for Mobile Transactions
SN - 0-7695-2225-4
SP16
EP22
A1 - Zhengwei Qi,
A1 - Ruonan Rao,
A1 - Guangtao Xue,
A1 - Jinyuan You,
PY - 2004
KW - null
VL - 0
JA - Services Computing, IEEE International Conference on
ER -
 
Zhengwei Qi, Shanghai Jiao Tong University, China
Ruonan Rao, Shanghai Jiao Tong University, China
Guangtao Xue, Shanghai Jiao Tong University, China
Jinyuan You, Shanghai Jiao Tong University, China
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.
Citation:
Zhengwei Qi, Ruonan Rao, Guangtao Xue, Jinyuan You, "A New Formal Model Based on P-System for Mobile Transactions," scc, pp.16-22, Services Computing, 2004 IEEE International Conference on (SCC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions