形式语言
形式语言与网络计算环境构建
关的公共协议（通过接口规范映射为具体环境） 用户描述计算任务语言（通过语法解释和语义绑定，映射为具体执行语言） 通讯使用的文本（ XML文本文件，使用 SOAP， TCP/IP解决异构网络之间的通讯 ) 兰州大学信息科学与工程学院 2020年 12月 问题：采用什么样的语言模式作为系统的宿主语言 方便地描述计算任务 与具体的计算环境无关 很好地灵活性，适应规范和协议的变化
关的公共协议（通过接口规范映射为具体环境） 用户描述计算任务语言（通过语法解释和语义绑定，映射为具体执行语言） 通讯使用的文本（ XML文本文件，使用 SOAP， TCP/IP解决异构网络之间的通讯 ) 兰州大学信息科学与工程学院 2020年 12月 问题：采用什么样的语言模式作为系统的宿主语言 方便地描述计算任务 与具体的计算环境无关 很好地灵活性，适应规范和协议的变化