Transaction service for service grid and its correctness analysis based on Petri net

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 28, Issue 4, 2005, Pages 667-676

  Tang, Fei Long ^a   Li, Ming Lu ^a   Huang, Zhe Xue ^b   Wang, Cho Li ^b  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

^b UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Algorithm; Model; Petri net; Service grid; Transaction service

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; MIDDLEWARE; MODELS;

SERVICE GRID; SERVICE ORIENTED ARCHITECTURE; TRANSACTION SERVICE;

PETRI NETS;

EID: 18744400796     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. Foster I., Kesselman C., Nick J. M. et al.. Grid services architecture for distributed systems integration. Computer, 2002, 35(6): 37-46
2. Reed D. P.. Implementing atomic actions on decentralized data. ACM Transactions on Computer Systems, 1983, 1(1): 3-23
3. Garcia-Molina H., Sale K.. Sagas. ACM SIGMOD record. In: Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data, USA, 1987, 16(3): 249-259
4. Chrysanthis P. K., Ramamriham K.. Synthesis of extended transaction models using ACTA. ACM Transactions on Database Systems, 1994, 19(3): 450-491
5. Tang F. L., Li M. L., Cao J. et al.. GSPD: A middleware that supports publication and discovery of Grid services. In: Proceedings of the 2nd International Workshop on Grid and Cooperative Computing, China, LNCS 3032, 2003, 738-745
6. Tang Fei-Long, Li Ming-Lu, Cao Jian. A transaction coordination mechanism and its compensation technology in grid environment. Journal of Computer Research and Development, 2003, 40(12): 1796-1800(in Chinese)
7. Murata T.. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 1989, 77(4): 541-580
8. Peterson J. L.. Petri nets. ACM Computing Surveys, 1977, 9(3): 223-252.