loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on Computer and Information Technology (CIT'04)
The P-System Based Model for Mobile Transactions
Wuhan, China
September 14-September 16
ISBN: 0-7695-2216-5
Zhengwei Qi, Shanghai Jiao Tong University
Cheng Fu, Shanghai Jiao Tong University
Dongyu Shi, Shanghai Jiao Tong University
Jinyuan You, Shanghai Jiao Tong University
P systems, inspired by biological membranes, were introduced in 1998 as a distributed and parallel computable model. The inherent mobility in P systems makes them promising for modelling transactions in mobile environments. Based on general P systems which are formalized by dynamic Colored Petri Nets (CPN), we propose a preliminary theoretical model called P system based Transaction Model (PTM). The operational semantics of object rules in PTM is delimited by CPN, while the semantics of membrane rules which change the structure of PTM is presented by P systems. The movement of one transaction context is simulated by the movement of one Transaction Membrane in PTM. This model is suitable for mobile transaction processing, and we plan to deal with transactions of Web Services and Grid Services in a near future.
Citation:
Zhengwei Qi, Cheng Fu, Dongyu Shi, Jinyuan You, "The P-System Based Model for Mobile Transactions," cit, pp.534-539, Fourth International Conference on Computer and Information Technology (CIT'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.