面向网格服务工程的模型驱动方法
信息论
2007-07-13 v1 math.IT
摘要
由于网格计算的热潮，此类系统很少使用形式化技术进行设计。网格技术的复杂性和快速增长的需求促进了使用经典开发技术，导致缺乏指导方针或规则以及非结构化的工程流程。本文提倡一种形式化方法，用于网格应用程序开发，以促进网格软件架构的严谨开发。该方法解决跨平台互操作性和服务质量问题；应用模型驱动范式，以形式化的体系结构中心工程方法来受益于形式语义描述的力量，以及基于模型的转换。这种新颖的组合概念的结果促进了设计模型的重用，并通过提供适应开发过程的同时确保每个设计步骤正确性，来简化网格计算中的开发。
引用
@article{arxiv.cs/0509065,
title = {On Deciding Deep Holes of Reed-Solomon Codes},
author = {Qi Cheng and Elizabeth Murray},
journal= {arXiv preprint arXiv:cs/0509065},
year = {2007}
}