形式语言与网络计算环境构建内容摘要:
关的公共协议(通过接口规范映射为具体环境) 用户描述计算任务语言(通过语法解释和语义绑定,映射为具体执行语言) 通讯使用的文本( XML文本文件,使用 SOAP, TCP/IP解决异构网络之间的通讯 ) 兰州大学信息科学与工程学院 2020年 12月 问题:采用什么样的语言模式作为系统的宿主语言 方便地描述计算任务 与具体的计算环境无关 很好地灵活性,适应规范和协议的变化 兰州大学信息科学与工程学院 2020年 12月 规范和标准: XML, XHTML, … 用户任务描述 系统标准通讯文件 网络服务应用界面 兰州大学信息科学与工程学院 2020年 12月 语言模型抽象: 标准协议文件( XML):上下文无关文法,函数式语言模式(元素、属性) 数学计算任务描述:表达式,关系式。 编程语言:操作命令( operation)操作数据。 分类代数模型( sorted algebra) 类逻辑代数语言模式( LAL语言)。形式语言与网络计算环境构建
本资源仅提供20页预览,下载后可查看全文
阅读剩余 0%
本站所有文章资讯、展示的图片素材等内容均为注册用户上传(部分报媒/平媒内容转载自网络合作媒体),仅供学习参考。
用户通过本站上传、发布的任何内容的知识产权归属用户或原始著作权人所有。如有侵犯您的版权,请联系我们反馈本站将在三个工作日内改正。
相关推荐
形状像耗子,生活像猴子爬在树枝上,忙着摘果子。打一
松鼠 驯良 第 1自然段 第 2自然段 第 34自然段 第 5自然段 讨人喜欢 脸: 清秀 眼: 闪闪有光 体 : 矫健 肢: 轻快 尾巴: 帽缨形、美