• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>10th International Workshop on Abstract State Machines 2003: Advances in Theory and Practice ASM 2003, Mar 3-7, 2003, Taormina, Italy >Mobile UNITY Schemas for Agent Coordination
【24h】

Mobile UNITY Schemas for Agent Coordination

机译：座席协调的移动UNITY模式

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Mobile UNITY refers to a notation system and proof logic initially designed to accommodate the special needs of the emerging field of mobile computing. The model allows one to define units of computation and mobility and the formal rules for coordination among them in a highly decoupled manner. In this paper, we reexamine the expressive power of the Mobile UNITY coordination constructs from a new perspective rooted in the notion that disciplined usage of a powerful formal model must rely on formally defined schemas. Several coordination schemas are introduced and formalized. They examine the relationship between Mobile UNITY and other computing models and illustrate the mechanics of employing Mobile UNITY as the basis for a formal semantic characterization of coordination models.
机译：Mobile UNITY指的是一种符号系统和证明逻辑，其最初旨在满足新兴的移动计算领域的特殊需求。该模型允许以高度分离的方式定义计算和移动性的单位以及用于它们之间协调的形式规则。在本文中，我们从一个新的观点重新审视了Mobile UNITY协调结构的表达能力，该观点植根于这样的观念：强大的正式模型的规范使用必须依赖于正式定义的模式。引入了几种协调方案并进行了形式化。他们研究了Mobile UNITY与其他计算模型之间的关系，并说明了使用Mobile UNITY作为协调模型的正式语义表征基础的机制。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号