邓克，G。；梅塞盖尔，J。；塔尔科特，C。 重写元对象和可组合分布式服务的语义。 （英语） Zbl 0962.68081号 Futatsugi，Kokichi，第三届重写逻辑及其应用国际研讨会，RWLW。金泽市文化厅，金泽，日本，2000年9月18日至20日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。36，21 p.，仅电子版（2000年）。 总结：分布式对象之间的通信可能必须受到保护，以防随机故障和恶意攻击；此外，通信及时性可能是必要的或非常需要的。因此，分布式应用程序通常必须通过提供某种容错、保密或服务质量保证的通信服务进行扩展。理想情况下，此类服务应以高度模块化和动态组合的方式定义，以便在某些情况下通过组合实现多个服务的组合保证，并且可以在运行时根据环境的变化添加或删除应用程序中的服务。要解释这种可组合通信服务的形式属性，首先需要给它们一个精确的语义。本文提出了分布式对象反射的所谓“洋葱皮”模型的重写逻辑语义，在该模型中，可以将提供不同通信服务的不同元对象堆叠在基本应用程序对象之上。由于服务的正确行为取决于服务必须保护应用程序所面对的敌对环境的类型，因此还应该使用重写逻辑来指定这种敌对环境。然后，服务保证是对重写理论结合指定的行为的保证，这些重写理论指定了基本应用程序、服务和敌对环境。关于整个系列，请参见[Zbl 0957.00046号]. 引用于7文件 MSC公司： 2012年第68季度 语法和重写系统 68问题55 计算理论中的语义学 关键词：重写逻辑语义；洋葱皮 软件：莫德 PDF格式BibTeX公司 XML格式引用 \textit{G.Denker}等人，in：第三届重写逻辑及其应用国际研讨会，RWLW。2000年9月18日至20日，日本金泽，金泽市文化厅。阿姆斯特丹：爱思唯尔。第21页（2000年；兹bl 0962.68081）