网格中介服务的正式方面
分布式、并行与集群计算
2009-12-15 v1 形式语言与自动机理论
摘要
在分布式环境（如网格）中的协调涉及选择最合适的服务、资源或组合来执行计划的活动。这些功能出现在基础设施的不同层面，并以各种形式呈现，形成了一个模糊的领域，难以看清参与组件之间的关系及其相关属性。本文聚焦于这些问题的子集：网格中间件中的资源中介服务。本文旨在通过定义用于资源、主机和中介选择的网格中间件三个层面的中介代理，为中介服务及相关活动建立一个语义模型。本文的主要贡献是通过使用抽象状态机提供形式化模型，来定义和分解网格中不同的中介服务组件。
引用
@article{arxiv.0912.2549,
title = {Formal Aspects of Grid Brokering},
author = {Attila Kertész and Zsolt Németh},
journal= {arXiv preprint arXiv:0912.2549},
year = {2009}
}