Formal Methods for Web Services
Formal Methods for Web Services
复制标题
Web 服务的形式化方法
DOI：
10.1007/978-3-642-01918-0_5
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Carbone M
中科院分区：
文献类型：
--
作者：
Carbone M
会话类型是一种基于会话概念的结构化通信的形式主义：会话的结构被抽象为一种类型，然后通过相关的类型规则将其用作验证程序的基础。虽然标准会话类型已被证明能够捕获许多真实的场景，但在某些情况下，它们不足以描述和验证涉及更复杂场景的交互。在本说明中，我们将探讨会话类型对交互异常和存在异步通信的多方会话的两种扩展。
Session types are a formalism for structuring communication based on the notion ofsession: the structure of a conversation is abstracted as a type which is then used as a basis of validating programs through an associated type discipline. While standard session types have proven to be able to capture many real scenarios, there are cases where they are not powerful enough for describing and validating interactions involving more complex scenarios. In this note, we shall explore two extensions of session types tointeractional exceptionsandmultiparty sessionin presence of asynchronous communication.