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

fYear

2004

fDate

14-16 Sept. 2004

Firstpage

534

Lastpage

539

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer and Information Technology, 2004. CIT '04. The Fourth International Conference on

Print_ISBN

0-7695-2216-5

Type

conf

DOI

10.1109/CIT.2004.1357250

Filename

1357250