用该软件或数据库规定语言来描述问题,而采用一种软件所规定语言书写任务程序往往难以.pdf

网络计算和计算机数学通讯 面向服务的数学编程标记语言 Services-Oriented Mathematics Programming Markup Language 李 廉 李振芳 一．数学网格计算及用户领域语言 数学网格计算，即通过网格技术实现跨平台的数学软件应用。 利用网格技术实现数学计算，有很多技术问题需要解决，其中一个重要的问题就是对于数学 计算资源跨平台的调用，不同的数学计算软件或者数据库可能有完全不同的语言规范，用户必须 用该软件或数据库规定的语言来描述问题，而采用一种软件所规定语言书写的任务程序往往难以 被另一种软件理解，例如用 Mathmatica 的语言格式书写的数学计算程序就不能被 Matlab 读懂。换 句话说，要使得数学计算能够在网格上应用，必须设计一种脱离具体软件的标准语言，该语言具 有很强的描述数学问题的能力，能够方便的转化为具体的数学软件语言，以及该语言必须符合人 们通常描述数学问题的习惯，简单易学。当提供这样一种语言作为用户的界面语言后，才可以使 得用户脱离对于网格资源的具体了解，只需提交问题，而不必关心是网格上的哪一个软件或哪一 个数据库提供了相关的服务，这是真正的网格服务方式。这个问题不仅在数学计算网格的设计上 有，在其他的专业领域网格计算的设计上同样会遇到，因此是一个带有普遍性的问题。 网格计算技术发展到今天，绝大多数网格计算系统都是为特定应用设计的专用系统，而通用网 格系统的研究工作主要集中于中间件上，针对网格计算用户界面语言方面的研究，相对而言比较少。 兰州大学信息科学与工程学院网络计算和计算机数学实验室（ICCM ），于 2002 年 6 月成立了 MICE （Mathematics Internet Computing Environment ）小组，着手探讨、解决和实现上述问题。在 基于现有网络计算技术和各种相关规范的基础之上，并且考虑到网格计算的特性，MICE 小组开发 了的数学网格计算系统原型，期望以此构建一个功能强大的和灵活易用的数学网络计算应用平台。 其中为解决不依赖任何一种具体数学软件的数学领域任务描述问题，提出了一种数学领域的描述 语言，这是一种新的简单易学功能基本完备的用于网格环境的数学计算语言，以下简称 M 语言， 使得用户可以用统一的语言来描述问题，而避免花费大量的时间去学习、熟悉各种数学软件或数 学数据库语言，同时提供 M 语言与后台软件的接口中间件，使其转化为符合 WEBSERVICE 规范 的格式； 在网格计算系统中，XML 、MathML 等都是服务于系统的语言规范，但是这些语言主要是用于系 统内部传输和理解的，并不适合于用户端的使用，在用户端要求的语言应该更接近于领域描述的 13 网络计算和计算机数学通讯 习惯，例如在数学网格计算中，就要求网格语言更加接近人们通常书写的习惯，它的符号体系和 语法要求就应该接近自然语言，而后由一个中间件将其转化为诸如 XML 、MathML 这样的语言规 范，实现网格计算的功能。当前一些用于网格计算用户界面语言的例子有以下一些。 Condor[7]是美国 Wisconsin-Madison 大学提出的，目的是实现一种高吞吐量计算 HTC （High Throughput Computing ）的系统。Condor 通过分布式集成技术，将网络中的自主计算资源（主要是 处于空闲状态的计算能力）集成，作为系统的底层资源支持。Condor 提供了一套类似 shell 的脚本 语言来书写计算任务，简单易用，同时提供相应的软件开发工具，可以使科学家和工程师很好的 利用其集成的计算资源。脚本语言形式虽然比较简单，但是不具有跨平台性。 NetSolve [8][9]是美国田纳西州大学开发的针对数值计算的网格应用工具。NetSolve 有三个部分 组成，分别是服务的请求者或者发起者—客户端，服务器调度和维护者—Agent 以及服务的提供者 —Server 。在NetSolve 环境中，为数值计算用户（客户端