Membrane Calculus: a formal method for Grid transactions

被引:1
|
作者
Qi, Zhengwei [1 ]
Li, Minglu [1 ]
Fu, Cheng [1 ]
Shi, Dongyu [1 ]
You, Jinyuan [1 ]
机构
[1] Shanghai Jiao Tong Univ, Dept Comp Sci & Engn, Shanghai 200030, Peoples R China
来源
关键词
membrane calculus; Grid transactions; rewriting logic;
D O I
10.1002/cpe.1030
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The research of transaction processing in Web Services and Grid Services is active in academic and engineering areas. However, the formal method of transaction processing has not been fully investigated in the literature. This paper proposes a preliminary theoretical model called Membrane Calculus based on Membrane Computing and Petri nets to formalize Grid transactions. Five kinds of transition rules in Membrane Calculus (including object rules and membrane rules) are introduced and the operational semantics of transition rules are defined. Then, a typical long-running transaction example is presented to demonstrate the use of Membrane Calculus. Finally, the rewriting logic tool Maude is adopted to specify and execute the specification of this example. Copyright (c) 2006 John Wiley & Sons, Ltd.
引用
收藏
页码:1799 / 1809
页数:11
相关论文
共 50 条
  • [21] A formal calculus for informal equality with binding
    Gabbay, Murdoch J.
    Mathijssen, Aad
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, PROCEEDINGS, 2007, 4576 : 162 - +
  • [22] FORMAL MODELLING AND VERIFICATION OF COMPENSATING WEB TRANSACTIONS
    Das, Shirshendu
    Chakraborty, Shounak
    Kapoor, Hemangee K.
    Man, Ka Lok
    IAENG TRANSACTIONS ON ELECTRICAL ENGINEERING, VOL 1, 2012, : 123 - 136
  • [23] Towards Formal Interfaces for Web Services with Transactions
    Chen, Zhenbang
    Wang, Ji
    Dong, Wei
    Qi, Zhichang
    ADVANCED INTERNET BASED SYSTEMS AND APPLICATIONS, 2009, 4879 : 292 - 304
  • [24] IEEE Transactions on Smart Grid: Editorial
    Shahidehpour, Mohammad
    IEEE Transactions on Smart Grid, 2010, 1 (01) : 1 - 2
  • [25] A framework for implementing transactions on grid services
    Yu, JD
    Li, ML
    Tang, FL
    Li, Y
    Hong, F
    FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 375 - 379
  • [26] Modal equivalent method of full-area membrane and grid membrane
    Zhang Y.
    Chen W.
    Xie C.
    Peng F.
    Aerospace Systems, 2018, 1 (2) : 129 - 137
  • [27] Reliable accounting in grid economic transactions
    Catuogno, L
    Faruolo, P
    Petrillo, UF
    Visconti, I
    GRID AND COOPERATIVE COMPUTING GCC 2004 WORKSHOPS, PROCEEDINGS, 2004, 3252 : 514 - 521
  • [28] A formal account of opportunism based on the situation calculus
    Luo J.
    Meyer J.-J.
    AI & SOCIETY, 2017, 32 (4) : 527 - 542
  • [29] A formal deductive system for fuzzy propositional calculus
    Wang, GJ
    CHINESE SCIENCE BULLETIN, 1997, 42 (18): : 1521 - 1525
  • [30] Formal System and Semantics of NΣ-Labeled Calculus
    Ikeda, Yasuwo
    Mizutani, Tetsuya
    Shio, Masayuki
    2009 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, VOL III, PROCEEDINGS, 2009, : 270 - +