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 条
  • [41] Service-oriented architecture
    Akerman, Richard
    LIBRARY JOURNAL, 2007, : 7 - 7
  • [42] System of System Composition Based on Decentralized Service-Oriented Architecture
    Derhamy, Hasan
    Eliasson, Jens
    Delsing, Jerker
    IEEE SYSTEMS JOURNAL, 2019, 13 (04): : 3675 - 3686
  • [43] Towards An Approach of Constructing Service-Oriented Ontology System
    Xie Dan
    Ying Shi
    Cui Hua
    Qu Chen-Liang
    Chen Rui
    2008 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-31, 2008, : 5667 - 5670
  • [44] Towards a distributed service-oriented business rules system
    Rosenberg, F
    Dustdar, S
    Third European Conference on Web Services, Proceedings, 2005, : 14 - 24
  • [45] Towards An Interdisciplinary Methodology for Service-oriented System Engineering
    Bicer, Veli
    Lamparter, Steffen
    Sure, York
    Dogru, Ali H.
    2009 24TH INTERNATIONAL SYMPOSIUM ON COMPUTER AND INFORMATION SCIENCES, 2009, : 485 - +
  • [46] A Service-Oriented Alarms System for Intelligent Building Management
    Cernian, Alexandra
    Iancu, Radu
    Petrescu, Serban
    19TH INTERNATIONAL CONFERENCE ON CONTROL SYSTEMS AND COMPUTER SCIENCE (CSCS 2013), 2013, : 425 - 429
  • [47] A Service-Oriented System for Optimizing Residential Energy Use
    Wang, Chen
    de Groot, Martin
    Marendy, Peter
    2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, 2009, : 735 - +
  • [48] Research and Implementation of Service-Oriented Grid Workflow System
    Xiong, Zenggang
    Zhang, Xuemin
    Guo, Wencai
    PROCEEDINGS OF ANNUAL CONFERENCE OF CHINA INSTITUTE OF COMMUNICATIONS, 2010, : 529 - +
  • [49] Study on the Service-oriented Embedded Numerical Control System
    Zhou, Z. D.
    Chen, B. Y.
    Liu, Q.
    Long, Y. H.
    2008 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS SYMPOSIA, PROCEEDINGS, 2008, : 479 - 484
  • [50] Construction of Service-Oriented Postgraduate Management Information System
    Chen Yumin
    Liu Min
    2019 4TH INTERNATIONAL WORKSHOP ON MATERIALS ENGINEERING AND COMPUTER SCIENCES (IWMECS 2019), 2019, : 564 - 567
12345