特夫菲克·布尔坦，向福，理查德·赫尔，以及苏建文

会话规范：一种新的方法电子服务组合的设计与分析

第十二届国际万维网大会（WWW）会议记录，2003年5月21日至23日

本文介绍了一个用于建模和指定的框架电子服务组合的全局行为。在此框架下，对等方（个人电子服务）进行通信通过异步消息和每个对等端都为传入消息维护一个队列。全局“观察者”在消息发生时跟踪消息。我们提出并研究了“对话”的核心概念，这是观察到的一系列（类）消息被观察者发现。我们考虑代表同行的情况通过Mealy机器（具有输入和输出的有限状态机）。对话集显示出意外的行为。例如，有一个基于Mealy的复合电子服务对话集不是上下文无关（并且不是常规）。（对话集始终与上下文相关。）其中一个原因是消息排队；我们引入了一个操作符“prepone”来模拟从全局角度看队列延迟显示每个Mealy电子服务的对话集在prepone下关闭。我们说明了全局预调子无法完全捕获队列延迟影响和在对话中将前置词提炼为“本地”版本被个别同龄人看到。另一方面，组合电子服务的日常实现将始终生成“预测”一致的对话个人电子服务。我们使用projection-join来反映这种情况。然而，还有一些Mealy同龄人的对话集不是任何正则语言的局部prepone和projection-join闭包。因此，我们建议将会话规范作为一种形式主义定义电子服务组合允许的对话。我们给出了关于Mealy同龄人的当地行为与它们组成的全局行为。一个结果表明，对于每种正则语言L（左）,它的局部预色调和投影连接闭包对应于一些Mealy同龄人的对话集有效构造自L（左）.第二个结果给出了构图形状的条件这保证了可以实现的是常规语言。