语法验证相关硕士博士期刊学术论文 - 信丰网

语法验证相关论文

基于MWB的BPEL到π演算自动转换工具的研究与实现

随着全球化进程的加快,Web作为一种重要的沟通手段受到的关注越来越多,对Web服务描述的正确性投入的精力随之增加。BPEL(Business ......

学位

业务流程执行语言(BPEL) π演算自动建模语法检查 MWB验证工具

电信业务脚本可视化生成系统设计与实现

研究了如何实现基于脚本语言的可视化业务生成。介绍了业务脚本可视化生成的相关技术,证明了将基于XMLschema的建模应用于业务脚本......

期刊

语法验证语义验证软件构件业务脚本生成可视化编辑器

看过本文同时还关注