Modeling and Analysis of Flexible Transaction for Web Services

被引：0
|
作者：
Yuan, Min [1 ]
Huang, Zhiqiu [1 ]
Xiao, Fangxiong [1 ]
机构：
[1] Nanjing Univ Aeronaut & Astronaut, Informat Sci & Technol Inst, Nanjing 210016, Peoples R China
来源：
2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2 | 2009年
关键词：
Web services; flexible transaction; Pi-calculus; bisimulation;
D O I：
10.1109/ICWS.2009.137
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A variety of extended transaction models have been proposed in distributed database community, and the development of such models has drawn more attentions since they are not adequate for long-running Web services. From a formal method perspective, a Flexible transaction model for Web services based on MPi-calculus is proposed in this work. MPi-calculus, without introducing any new operators, creates the dynamic association between the changes of transaction scope and their interactive actions in the original Pi-calculus. According to the flexible transaction dependency, a new weak transactional open bisimulation relationship is presented to characterize the transactional equivalence. All of the results can serve as the theoretical foundation to model flexible and powerful mechanisms for implementing long-running transactions.
引用
收藏
页码：1008 / 1009
页数：2
相关论文
共 50 条
  • [41] A flexible access control model for Web services
    Bertino, E
    Squicciarini, AC
    [J]. FLEXIBLE QUERY ANSWERING SYSTEMS, PROCEEDINGS, 2004, 3055 : 13 - 16
  • [42] Flexible binding for reusable composition of Web services
    Pautasso, C
    Alonso, G
    [J]. SOFTWARE COMPOSITION, 2005, 3628 : 151 - 166
  • [43] A Scalable and Flexible Web Services Authentication Model
    Felix, Pedro
    Ribeiro, Carlos
    [J]. SWS'07: PROCEEDINGS OF THE 2007 ACM WORKSHOP ON SECURE WEB SERVICES, 2007, : 66 - 72
  • [44] Flexible decision making in web services negotiation
    Yao, Yonglei
    Yang, Fangchun
    Su, Sen
    [J]. ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS, PROCEEDINGS, 2006, 4183 : 108 - 117
  • [45] Architectures for scalable and flexible Web personalization services
    Canali, Claudia
    Casolari, Sara
    Lancellotti, Riccardo
    [J]. FIRST INTERNATIONAL WORKSHOP ON ADVANCED ARCHITECTURES AND ALGORITHMS FOR INTERNET DELIVERY AND APPLICATIONS, PROCEEDINGS, 2006, : 50 - +
  • [46] Web services-based transactional workflows -: Advanced transaction concepts
    Güntzel, K
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS, 2003, 2889 : 70 - 82
  • [47] Integrating transaction services into Web-based software development environments
    Yang, JJS
    Kaiser, G
    Dossick, S
    Jiang, WY
    [J]. WEB TECHNOLOGIES AND APPLICATIONS, 1998, : 199 - 208
  • [48] Evaluating the effectiveness of the abstract transaction model in testing Web services transactions
    Casado, Ruben
    Tuya, Javier
    Younas, Muhammad
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2015, 27 (04): : 765 - 781
  • [49] Probabilistic QoS and soft contracts for transaction based Web Services Orchestrations
    Rosario, Sidney
    Benveniste, Albert
    Haar, Stefan
    Jard, Claude
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 126 - +
  • [50] End-to-end transaction management for composite web based services
    Sahai, A
    Ouyang, J
    Machiraju, V
    [J]. THIRD INTERNATIONAL WORKSHOP ON ADVANCED ISSUES OF E-COMMERCE AND WEB-BASED INFORMATION SYSTEMS, PROCEEDINGS, 2001, : 128 - 135
12345