形式语言与网络计算环境构建.pptxVIP

形式语言与网络计算环境构建

网络计算环境的定义网格就是下一代Internet；网格计算就是在动态变化的、拥有多个部门或者团体的复杂虚拟组织内，灵活、安全的协同资源共享与问题求解；3.网格就是方便资源管理，有效支持广域分布的、多领域的科学与工程问题解决的中间件系统；4.网格是建造分布式科学计算环境的一种一体化的集成方法，这一环境包括计算、数据管理、科学仪器以及人类的协作；5.网格是一种无缝的、集成的计算与协作环境

网络计算环境：集成网络系统计算资源，实现共享式协同完成计算任务Enablingthecoordinateduseofgeographicallydistributedresources—intheabsenceofcentralcontrol,omniscience,strongtrustrelationships——IanFoster(Globus)非专门定制网络，非专门指定任务类型，非专门设计运行软件

SOAPandotherprotocolsCAKEModelXMLTCP/IPUGIandAPI

计算的方便性（无处不在，作业盲提，服务透明）计算的高效性（快速实时，大数据量）

网络计算环境的构架：从HOURGLASS到WEBSERVICE

WEBSERVICEMANAGEMENTusersLocalserver网络环境

异构平台异构编程环境异构操作系统异构网络配置异构语言为解决以上问题，系统需要：与具体系统无关的公共协议（通过接口规范映射为具体环境）用户描述计算任务语言（通过语法解释和语义绑定，映射为具体执行语言）通讯使用的文本（XML文本文件，使用SOAP，TCP/IP解决异构网络之间的通讯)

问题：采用什么样的语言模式作为系统的宿主语言方便地描述计算任务与具体的计算环境无关很好地灵活性，适应规范和协议的变化

规范和标准：XML，XHTML，…用户任务描述网络服务应用界面系统标准通讯文件

语言模型抽象：标准协议文件（XML）：上下文无关文法，函数式语言模式（元素、属性）数学计算任务描述：表达式，关系式。编程语言：操作命令（operation）操作数据。分类代数模型（sortedalgebra）类逻辑代数语言模式（LAL语言）applyplus/cn2/cncn5/cn/apply2+5a,plus(2,5)Setcolor(4)b:=2;c:=5A:=b+c

语法和语义分离语法语义和程序分离抽象语言模型：变量，函数符号，关系符号逻辑连接符号（指令控制符号）公式表达式（数学表达式），关系表达式Ifgcd(f,g)=1thengetfactor(f+g)没有具体的语法和语义定义！

系统软件任务描述文件LAL语言书写语法定义文件（元素名称字典，DTD）系统工作文件（XML格式）语法获取应用软件接口规范（API）执行程序调用语义获取

公共协议（大家必须遵守的规则）：计算任务描述的书写格式规范XML规范应用软件接口规范语法获取：语法字典（DTD，上下文无关语言），解析器（DOMxerces)，Chomsky范式与操作树（节点集合）语义获取：指称语义（接口规范，绑定，服务发布UDDI）

决定系统功能的核心不是软件，而是规范和文档规范不变，系统软件无需改变文件改变，则语法和语义解释随之变化123（体现了系统的柔性，适应性强）动态更新，透明升级，自治维护，功能定制。4面向规范的软件开发方法

对宿主语言的要求：很好的描述数学计算很好的语法代数结构很好的语义解释性能很好的与其它计算语言的互翻译性形式语言理论有助于宿主语言模式的设计和中间件开发（LAL语言的性能）12

有没有更好的语言模式？

UsesandExtendsUseCaseRelationshipsAstheusecasesaredocumented,otherusecaserelationshipsmaybediscoveredAusesrelationshipshowsbehaviorthatiscommontooneormoreusecasesAnextendsrelationshipshowsoptionalbehaviorRegisterforcoursesusesLogonvalidationusesMaintaincurriculum

ActorsCopyright?1997byRationalSoftwareCorporationAnactori