埃纳尔·布罗赫·约翰森；Owe、Olaf 多继承和异步通信对象的动态绑定策略。 （英语） Zbl 1143.68356号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2004年11月2日至5日，第三届国际研讨会，FMCO，荷兰莱顿。修订的讲座。柏林：施普林格出版社（ISBN 3-540-29131-8/pbk）。计算机科学课堂讲稿3657274-295（2005）。 摘要：本文考虑了异步通信、虚拟绑定和多重继承的集成。面向对象是并发和分布式系统的主要范例，但在分布式环境中，紧密同步的RPC通信模型似乎并不令人满意。异步消息更适合，但缺乏传统面向对象方法的结构和规程。面向对象范式中消息的集成尚未解决，特别是在继承和重新定义方面。异步方法调用是用Creol语言提出的，减少了在分布式环境中等待应答的成本，同时避免了显式信令等低级同步构造。缺少对方法调用的响应不一定会导致调用对象中的死锁。Creol在重写逻辑中定义了操作语义。本文考虑了多重继承、虚拟绑定和并发对象之间异步通信的形式化操作模型，扩展了Creol的语义。有关整个系列，请参见[Zbl 1084.68008号]. 引用于4文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 软件：莫德；CLOS公司 PDF格式BibTeX公司 XML格式引用 \textit｛E.B.Johnsen｝和\textit｛O.Owe｝，Lect。票据计算。科学。36577274-295（2005年；兹比尔1143.68356） 全文： 内政部