埃纳尔·布罗赫·约翰森;奥维，奥拉夫;埃文德·艾克塞尔森（Eyvind W.Axelsen）。 具有异步方法调用的并发对象的运行时环境。 （英文） Zbl 1272.68186号 Martí-Oliet，N.（编辑），第五届重写逻辑及其应用国际研讨会论文集（WRLA 2004），西班牙巴塞罗那，2004年3月27日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记117，375-392（2005）。 概要：分布式系统可以由并发运行的对象建模，每个对象都有自己的处理器，并通过远程方法调用进行通信。然而，对象可能必须等待外部调用的响应；这可能导致处理器容量使用效率低下，甚至导致死锁。本文通过异步方法调用和条件处理器释放点解决了这一限制。尽管以对象中额外的内部不确定性为代价，但这种方法在异步或不可靠的分布式环境中似乎很有吸引力。这些概念由小型面向对象语言Creol及其操作语义来说明，该语义是使用重写逻辑作为语义框架来定义的。因此，可以使用Maude作为语言解释器来执行Creol规范，这允许通过Maude中的测试来支持语言结构及其操作语义的增量开发。然而，对于高度不确定性系统的原型，Maude的确定性引擎可能会限制实际测试。为了克服这个问题，提出了一种基于伪随机数生成器的重写策略，为Maude提供了不确定性行为。关于整个系列，请参见[Zbl 1271.68050号]. 引用于7文件 MSC公司： 2012年第68季度 语法和重写系统 68问题55 计算理论中的语义学 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：莫德 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人，《电子》。注释Theor。计算。科学。117375--392（2005年；Zbl 1272.68186） 全文： 链接