A UTP semantic model for Orc language with execution status and fault handling
Qin Qin, Li -, Yongxin, Zhao, Huibiao, Zhu Zhu, Jifeng, He · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2014
海怪语言是建议在服务学习组织模式的并发演算面向的计算。它的专辑展示，例如并发和异步使它成为的高度为学习依靠万维网服务的网应用程序的一个出众的题目。为海怪的常规语义不包含服务的实行地位以便一个节目不能决定一种服务是否通常终止了或在它出版了一些结果以后，与失败停住。它意味着这种失败不能被差错处理器捕获。而且，如果它经常没有通过更少，如此的一个语义模型不能建立说一个节目更好的一份订单。这份报纸采用 UTP 方法建议 denotational 为包含实行地位信息的海怪的语义模型。处理语义的失败被定义恢复失败实行回到正常。一份精炼订单被定义基于他们的执行失败比较二个系统。把顺序基于这，没有，介绍失败恢复机制的一个系统比一个更好被考虑。扩大运作的语义也被建议并且证明等价于 denotational 语义。