A type system for client progress in a service-oriented calculus

被引：0
|
作者：
Acciai, Lucia [1 ]
Boreale, Michele [1 ]
机构：
[1] Univ Florence, Dipartimento Sistemi & Informat, I-50121 Florence, Italy
来源：
CONCURRENCY, GRAPHS AND MODELS: ESSAYS DEDICATED TO UGO MONTANARI ON THE OCCASION OF HIS 65TH BIRTHDAY | 2008年 / 5065卷
关键词：
process calculi; service-oriented computing; pi-calculus; type systems;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for service-oriented applications. The interplay of sessioning and data-orchestration primitives makes the design of a type system for CaSPiS challenging. Our main result states that in a well-typed CaSPiS system, and in absence of divergence, any client invoking a service is guaranteed not to get stuck during the execution of a conversation protocol because of inadequate service communication capabilities.
引用
收藏
页码：642 / 658
页数：17
相关论文
共 50 条
  • [31] Develop a telecommunication service system using service-oriented architecture
    Sun Wenhui
    Liu Feng
    Zhang Jinyu
    Dai Gang
    ICEBE 2006: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2006, : 674 - +
  • [32] Service-oriented computing
    Papazoglou, MP
    Georgakopoulos, D
    COMMUNICATIONS OF THE ACM, 2003, 46 (10) : 25 - 28
  • [33] Service-Oriented Computing
    Koehler, Jana
    Alonso, Gustavo
    ERCIM NEWS, 2007, (70): : 14 - 15
  • [34] Service-oriented architecture
    Perrey, R
    Lycett, M
    2003 SYMPOSIUM ON APPLICATIONS AND THE INTERNET WORKSHOPS, PROCEEDINGS, 2003, : 116 - 119
  • [35] Service-oriented science
    Foster, I
    SCIENCE, 2005, 308 (5723) : 814 - 817
  • [36] Service-oriented computing
    Mahmoud, Qusay H.
    Langendoerfer, Peter
    ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2008, 8 (03)
  • [37] Service-oriented computing
    Franch, Xavier
    Ghose, Aditya K.
    Lewis, Grace A.
    Bhiri, Sami
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8831
  • [38] Service-oriented design
    Servicegerechte Konstruktion
    Eichinger, P.H., 1600, Springer-Verlag GmbH & Company KG, Berlin 33, Germany (46):
  • [39] Service-oriented Architecture in IT
    Xin, Chen
    2009 ASIA-PACIFIC CONFERENCE ON INFORMATION PROCESSING (APCIP 2009), VOL 2, PROCEEDINGS, 2009, : 493 - 496
  • [40] Service-oriented computing
    Bichler, M
    Lin, KJ
    COMPUTER, 2006, 39 (03) : 99 - 101
12345