引诱

PiDue-一个用于实验Web服务技术的项目PiDuCe项目包括一个编程语言和一个分布式运行时环境,它依赖于关于XML文档和模式的过程演算和形式语言的坚实的理论来设计Web服务技术。语言特征值和数据类型。它扩展了XML文档和带有通道的模式、具有子类型的表达型系统、用于解构XML值的模式匹配机制和基于米尔纳异步PI演算的控制构造。运行时环境通过依赖最先进的技术(如XML Schema和WSDL)来支持PiDuce进程在网络上的执行,从而实现了与现有Web服务的互操作性。我们彻底描述了PiDeCe项目:编程语言及其语义,分布式运行时的体系结构及其实现


ZBMaX中的参考文献(20篇)1标准条款

显示结果1至20的20。
按年份排序(引文

  1. HiSkkOf,丹尼尔;Madiot,Jean Marie;西安,徐:A(\ pi)演算的行为理论(2015)
  2. HiSkkOf,丹尼尔;Madiot,Jean Marie;徐,西安:A(\ pi)演算的行为理论(2015)
  3. Laneve,Co Simo;Padovani,卢卡:Web服务契约的代数理论(2015)
  4. 拉帕杜拉,Alessandro;PuGeles,Rosario;TayZi,弗朗西斯科:用形式化方法开发WS- BPEL应用(2012)伊波尔特
  5. Padovani,卢卡:投影过程到会话类型(2012)
  6. 普格利泽,Rosario;TIEZI,弗朗西斯科:Web服务编排的微积分(2012)伊波尔特
  7. 一种基于WSDL的异步WS- BPEL过程类型系统(2011)
  8. Carpineti,Samuele;Laneve,Co Simo;Padovani,卢卡:PiDudie-一个用于实验Web服务技术的项目(2009)
  9. ACCIAI,露西亚;BuraLi,米歇尔:XPi:XML消息传递的类型化过程演算(2008)
  10. 卡斯塔纳,朱塞佩;de Nicola,罗科;瓦拉卡,Daniele:π演算的语义分型(2008)
  11. Gorla、Daniele:以相对表达力比较传播原语(2008)
  12. MaffeIS,塞尔吉奥;加德纳,Philippa:动态Web数据的行为等价性(2008)
  13. 马,秦;MangangET,LUC:连接演算中的代数模式匹配(2008)
  14. 普兰迪,Davide;普里米,科拉多;Quaglia,葆拉:通过兼容性沟通(2008)
  15. ACCIAI,露西亚;BuaLaR,米歇尔;Dal Zilio,Silvano:一种查询分布式XML文档的类型演算(2007)
  16. 加德纳,Philippa;Laneve,科西莫;Wischik,卢西恩:线性转发器(2007)
  17. Carpineti,Samuele;Laneve,COSIMO:Web服务的基本契约语言(2006)
  18. Carpineti,Samuele;Laneve,COSIMO:Web服务的一种粗鲁的合同语言(2006)
  19. Gorla,Daniele:异步通信原语的相对表达力(2006)
  20. MaffeIS,塞尔吉奥:过程计算和对等Web数据集成(2006)伊波尔特