Title :
The P-system based model for mobile transactions
Author :
Qi, Zhengwei ; Fu, Cheng ; Shi, Dongyu ; You, Jinyuan
Author_Institution :
Dept. of Comput. Sci. & Eng., Shanghai Jiao Tong Univ., China
Abstract :
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.
Keywords :
Petri nets; mobile computing; simulation; transaction processing; P system based transaction model; Web services; biological membranes; colored Petri Nets; distributed computable model; grid services; inherent mobility; mobile transaction processing; mobile transactions; object rules; operational semantics; parallel computable model; theoretical model; transaction context; transaction membrane; Biological system modeling; Biology computing; Biomembranes; Computer science; Concurrent computing; Context modeling; Distributed computing; Mobile computing; Petri nets; Power system modeling;
Conference_Titel :
Computer and Information Technology, 2004. CIT '04. The Fourth International Conference on
Print_ISBN :
0-7695-2216-5
DOI :
10.1109/CIT.2004.1357250
