XPi公司

XPi:XML消息传递的类型化进程演算。我们介绍了XPi,一种用于XML消息传递的核心演算。XPi具有异步通信、模式匹配、名称和代码移动性、静态和动态类型的集成。在XPi中,类型系统在通道、模式和进程级别规范XML消息处理。运行时安全性定理确保在类型良好的系统中,没有服务会接收它无法理解的文档,并且所提供的服务将与声明的信道容量一致。介绍了一个推理系统,该系统与类型检查完全一致。定义了一个倒钩等价的概念,它考虑了有关服务接口的信息。这个演算的灵活性和表现力通过一些例子来说明,其中一些例子涉及到web服务的描述和发现。