最新形式语言与网络计算环境构建PPT课件.ppt

《最新形式语言与网络计算环境构建PPT课件.ppt》由会员分享，可在线阅读，更多相关《最新形式语言与网络计算环境构建PPT课件.ppt（45页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、形式语言与网络计算环境构建形式语言与网络计算环境构建兰州大学信息科学与工程学院兰州大学信息科学与工程学院2003年年12月月网络计算环境的定义网络计算环境的定义1.网格就是下一代网格就是下一代Internet；2.网格计算就是在动态变化的、拥有多个网格计算就是在动态变化的、拥有多个部门或者团体的复杂虚拟组织内，灵活、部门或者团体的复杂虚拟组织内，灵活、安全的协同资源共享与问题求解；安全的协同资源共享与问题求解；3.网格就是方便资源管理，有效支持广域网格就是方便资源管理，有效支持广域分布的、多领域的科学与工程问题解决的分布的、多领域的科学与工程问题解决的中间件系统；中间件系统；4.网格是建造分布

2、式科学计算环境的一种网格是建造分布式科学计算环境的一种一体化的集成方法，这一环境包括计算、一体化的集成方法，这一环境包括计算、数据管理、科学仪器以及人类的协作；数据管理、科学仪器以及人类的协作；5.网格是一种无缝的、集成的计算与协作环境网格是一种无缝的、集成的计算与协作环境 兰州大学信息科学与工程学院兰州大学信息科学与工程学院2003年年12月月兰州大学信息科学与工程学院兰州大学信息科学与工程学院2003年年12月月兰州大学信息科学与工程学院兰州大学信息科学与工程学院2003年年12月月兰州大学信息科学与工程学院兰州大学信息科学与工程学院2003年年12月月兰州大学信息科学与工程学院兰州大学信

3、息科学与工程学院2003年年12月月兰州大学信息科学与工程学院兰州大学信息科学与工程学院2003年年12月月问题：采用什么样的语言模式作为系统的宿问题：采用什么样的语言模式作为系统的宿主语言主语言方便地描述计算任务方便地描述计算任务与具体的计算环境无关与具体的计算环境无关很好地灵活性，适应规范和协议的变化很好地灵活性，适应规范和协议的变化兰州大学信息科学与工程学院兰州大学信息科学与工程学院2003年年12月月规范和标准：规范和标准：XML，XHTML，用户任务描用户任务描述述系统标准通系统标准通讯文件讯文件网络服务应网络服务应用界面用界面兰州大学信息科学与工程学院兰州大学信息科学与工程学院20

4、03年年12月月语言模型抽象：语言模型抽象：标准协议文件（标准协议文件（XML）：上下文无）：上下文无关文法，函数式语言模式（元素、关文法，函数式语言模式（元素、属性）属性）数学计算任务描述：表达式，关系数学计算任务描述：表达式，关系式。式。编程语言：操作命令（编程语言：操作命令（operation）操作数据。操作数据。分类代数模型（分类代数模型（sorted algebra）类逻辑代数语言模式（类逻辑代数语言模式（LAL语言）语言）2 5 2+5a,plus(2,5)Setcolor(4)b:=2;c:=5A:=b+c兰州大学信息科学与工程学院兰州大学信息科学与工程学院2003年年12月月抽

5、象语言模型：抽象语言模型：变量，函数符号，关系符号变量，函数符号，关系符号逻辑连接符号（指令控制符号）逻辑连接符号（指令控制符号）公式表达式（数学表达式），关系表达式公式表达式（数学表达式），关系表达式If gcd(f,g)=1 then getfactor(f+g)If gcd(f,g)=1 then getfactor(f+g)没有具体的语法和语义定义！没有具体的语法和语义定义！语法和语义分离语法和语义分离语法语义和程序分离语法语义和程序分离兰州大学信息科学与工程学院兰州大学信息科学与工程学院2003年年12月月系统软件系统软件任务描述文件任务描述文件LAL语言书写语言书写语法定义文件（元

6、素语法定义文件（元素名称字典，名称字典，DTD）系统工作文件系统工作文件（XMLXML格式）格式）语法获取语法获取应用软件接口应用软件接口规范（规范（API）执行程序调用执行程序调用语义获取语义获取兰州大学信息科学与工程学院兰州大学信息科学与工程学院2003年年12月月公共协议（大家必须遵守的规则）：公共协议（大家必须遵守的规则）：计算任务描述的书写格式规范计算任务描述的书写格式规范XMLXML规范规范应用软件接口规范应用软件接口规范语法获取：语法字典（语法获取：语法字典（DTDDTD，上下文无关语言），解析，上下文无关语言），解析器（器（DOMxerces)DOMxerces)，Chomsk

7、yChomsky范式与操作树（节点集合）范式与操作树（节点集合）语义获取：指称语义（接口规范，绑定，服务发布语义获取：指称语义（接口规范，绑定，服务发布UDDIUDDI）兰州大学信息科学与工程学院兰州大学信息科学与工程学院2003年年12月月决定系统功能的核心不是软件，而是规范和文档决定系统功能的核心不是软件，而是规范和文档规范不变，系统软件无需改变规范不变，系统软件无需改变文件改变，则语法和语义解释随之变化文件改变，则语法和语义解释随之变化（体现了系统的柔性，适应性强）（体现了系统的柔性，适应性强）动态更新，动态更新，透明升级，透明升级，自治维护，自治维护，功能定制。功能定制。面向规范的软件开发方法面向规范的软件开发方法兰州大学信息科学与工程学院兰州大学信息科学与工程学院2003年年12月月对宿主语言的要求：对宿主语言的要求：很好的描述数学计算很好的描述数学计算很好的语法代数结构很好的语法代数结构很好的语义解释性能很好的语义解释性能很好的与其它计算语言的互翻译性很好的与其它计算语言的互翻译性形式语言理论有助于宿主语言模式的设计形式语言理论有助于宿主语言模式的设计和中间件开发和中间件开发 （LAL语言的性能）语言的性能）兰州大学信息科学与工程学院兰州大学信息科学与工程学院2003年年12月月有没有更好的语言模式？