形式语言与网络计算环境构建课件培训讲学.pptVIP

形式语言与网络 计算环境构建;网络计算环境的定义;网络计算环境：集成网络系统计算 资源，实现共享式协同完成计算 任务 Enabling the coordinated use of geographically distributed resources — in the absence of central control, omniscience, strong trust relationships —— Ian Foster (Globus);XML;网络计算环境的构架： 从HOURGLASS到WEB SERVICE ;WEB SERVICE MANAGEMENT;异构平台 异构编程环境 异构操作系统 异构网络配置 异构语言;问题：采用什么样的语言模式作为系统的宿主语言 方便地描述计算任务 与具体???计算环境无关 很好地灵活性，适应规范和协议的变化;规范和标准：XML，XHTML，…;语言模型抽象： 标准协议文件（XML）：上下文无关文法，函数式语言模式（元素、属性） 数学计算任务描述：表达式，关系式。 编程语言：操作命令（operation）操作数据。;抽象语言模型： 变量，函数符号，关系符号 逻辑连接符号（指令控制符号） 公式表达式（数学表达式），关系表达式 If gcd (f, g) =1 then getfactor( f + g ) 没有具体的语法和语义定义！;系统软件;公共协议（大家必须遵守的规则）： 计算任务描述的书写格式规范 XML规范 应用软件接口规范;决定系统功能的核心不是软件，而是规范和文档 规范不变，系统软件无需改变 文件改变，则语法和语义解释随之变化 （体现了系统的柔性，适应性强） 动态更新， 透明升级， 自治维护， 功能定制。;对宿主语言的要求： 很好的描述数学计算 很好的语法代数结构 很好的语义解释性能 很好的与其它计算语言的互翻译性;有没有更好的语言模式？;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational Software Corporation ;Copyright ? 1997 by Rational S