• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
Advanced Search
Yuan Min, Huang Zhiqiu, Cao Zining, and Xiao Fangxiong. An Extended π-Calculus and Its Transactional Bisimulation[J]. Journal of Computer Research and Development, 2010, 47(3): 541-548.
Citation: Yuan Min, Huang Zhiqiu, Cao Zining, and Xiao Fangxiong. An Extended π-Calculus and Its Transactional Bisimulation[J]. Journal of Computer Research and Development, 2010, 47(3): 541-548.

An Extended π-Calculus and Its Transactional Bisimulation

More Information
  • Published Date: March 14, 2010
  • As Web service transactions have been firmly established and widely adopted, it is important to adopt a suitable formal method to specify transaction processing in Web services. However, current research has focused on the modeling for transaction and validating of standards, the study of Web service transactional properties is still lacking. There exists a formal method of transaction processing which appends some operators and makes the syntax and reduction rules so complex that it is hard to analyze further the transactional properties. Aimed at this problem, without introducing any action operator, an extended π-calculus is proposed based on the connection between the process interactives and the transmission process of message relative to the transaction scope. And the membrane activities are defined. This biological membrane structure naturally characterizes the exception handling and compensation transactions in the multi scopes for Web services. The syntax, structural congruence and reduction rules of the extended π-calculus are given successively. According to the transactional dependency, a new weak transactional open bisimulation relationship is also presented to characterize the equivalent relationship in visible transactional action. Based on the bisimulation, its equivalency analysis is explored. All of the results can help to lay a substantial foundation for a further analysis of transactional properties for Web services.
  • Related Articles

    [1]Song Wei, Yang Xuejun. Error Detection by Redundant Transaction in Transactional Memory System[J]. Journal of Computer Research and Development, 2013, 50(5): 1085-1099.
    [2]Ma Yanfang, Zhang Min, Chen Yixiang. Formal Description of Software Dynamic Correctness[J]. Journal of Computer Research and Development, 2013, 50(3): 626-635.
    [3]Li Yongji, Li Shixian, and Zhou Xiaocong. Bialgebraic Semantics of the Typed π-Calculus[J]. Journal of Computer Research and Development, 2012, 49(8): 1773-1780.
    [4]Ren Yi, Guan Jianbo, Ao Qi, Dai Huadong, and Wu Qingbo. LHFR: A Hierarchical Failure Recovery Algorithm for Long Running Transactions[J]. Journal of Computer Research and Development, 2010, 47(10): 1805-1811.
    [5]Wang Yazhe and Feng Dengguo. A Survey of Research on Inter-Domain Authorization Interoperation[J]. Journal of Computer Research and Development, 2010, 47(10): 1673-1689.
    [6]Dai Hua, Qin Xiaolin, and Bai Chuanjie. A Malicious Transaction Detection Method Based on Transaction Template[J]. Journal of Computer Research and Development, 2010, 47(5): 921-929.
    [7]Xi Zhengjun, Wang Xin, and Li Yongming. The Equivalence Between Quantum Mealy Automata and Quantum Moore Automata[J]. Journal of Computer Research and Development, 2009, 46(9): 1523-1529.
    [8]Peng Lin, Xie Lunguo, and Zhang Xiaoqiang. Transactional Memory System[J]. Journal of Computer Research and Development, 2009, 46(8): 1386-1398.
    [9]Tang Zhuo, Zhao Lin, Li Kenli, Li Ruixuan. A Dynamic Access Control Model for Inter-Operation in Multi-Domain Environment Based on Risk[J]. Journal of Computer Research and Development, 2009, 46(6): 948-955.
    [10]Ren Yi, Wu Quanyuan, Jia Yan, Han Weihong, and Guan Jianbo. A Survey of Transaction Processing Technology[J]. Journal of Computer Research and Development, 2005, 42(10): 1779-1784.

Catalog

    Article views (753) PDF downloads (573) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return