10.3969/j.issn.1000-3428.2012.07.090
Web服务编制的形式化模型研究
为支持对业务流程执行语言(BPEL)语言的形式化分析和验证,提出一种Web服务编制的形式化模型——μ-BPEL.介绍模型的语法规则和操作语义,在此基础上,建立从μ-BPEL到扩展时间自动机的映射,利用模型检查技术研究服务正确性检验和与时间相关的检验问题.研究结果表明,该模型符合Web服务编制流程,满足系统设定的时态逻辑性质.
Web服务编制、形式化模型、时间自动机、映射
38
TP391(计算技术、计算机技术)
浙江省自然科学基金资助项目Y1110023
2012-06-26(万方平台首次上网日期,不代表论文的发表时间)
共3页
276-278