洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 O'Klaim：一种带有移动mixin的协调语言。 （英语） Zbl 1081.68558号 De Nicola，Rocco（编辑）等人，《协调模型和语言》。2004年2月24日至27日在意大利比萨举行的2004年第六届国际协调会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21044-X/pbk）。计算机科学课堂讲稿2949，20-38（2004）。 摘要：本文介绍了O’Klaim（面向对象的Klaim），这是移动进程Klaim的高阶微积分的语言扩展，具有面向对象的特性。进程通过异步通信模型进行交互：它们可以分发和检索资源，有时结构为不完整的类，即mixin，往返于分布式元组空间。该机制通过在类和mixin上提供子类型关系进行协调，这些类和missin在通信期间成为多态项。我们提出了一个静态类型系统：（i）在本地检查每个进程；（ii）用类型装饰发送到远程站点的面向对象代码。这样，只有通过子类型与预期类型匹配时，才能动态检索元组。如果此模式匹配成功，则可以以类型安全的方式动态、自动地将检索到的代码与本地代码组合在一起。因此，可以保证全局安全条件，而无需本地和外部代码的本地重新配置的任何附加信息，特别是无需任何进一步的类型检查。最后，我们提出了有关O'Klaim实施的主要问题。有关整个系列，请参见[Zbl 1049.68004号]. 引用于2文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 软件：科莱姆;克拉瓦 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人，Lect。注释计算。科学。2949，20--38（2004；Zbl 1081.68558） 全文： 内政部