Process Calculi and Peer-to-peer Web Data Integration

被引：0
作者：
Maffeis, Sergio [1 ]
机构：
[1] Imperial Coll London, Dept Comp, London, England
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 162卷
关键词：
Process calculi; XML; peer-to-peer; data integration; Web services; orchestration;
D O I：
10.1016/j.entcs.2005.12.087
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Peer-to-peer systems exchanging dynamic documents through web services are a simple and effective platform for data integration on the Web. Dynamic documents can contain both data and declarative references to external sources, in the form of links, service calls, or coordination scripts. XML standards and industrial platforms for web services provide a wide technological basis for building such systems. We argue that process algebras are a promising tool for studying and understanding their formal properties.
引用
收藏
页码：233 / 236
页数：4
相关论文
共 22 条
  • [1] A calculus for cryptographic protocols: The spi calculus
    Abadi, M
    Gordon, AD
    [J]. INFORMATION AND COMPUTATION, 1999, 148 (01) : 1 - 70
  • [2] Mobile values, new names, and secure communication
    Abadi, M
    Fournet, C
    [J]. ACM SIGPLAN NOTICES, 2001, 36 (03) : 104 - 115
  • [3] Abiteboul Serge, 2003, 275 GEMO
  • [4] Acciai Lucia, 2005, P FMOODS 05
  • [5] Benjelloun Omar, 2002, THESIS
  • [6] Bierman Gavin, 2003, 557 U CAMBR
  • [7] Braumandl R., 2002, VLDB J E SERVICES
  • [8] Brown A., 2004, PIDUCE PROC UNPUB
  • [9] Bruni R., 2002, LNCS
  • [10] Mobile ambients
    Cardelli, L
    Gordon, AD
    [J]. THEORETICAL COMPUTER SCIENCE, 2000, 240 (01) : 177 - 213
123