Web服务编制的形式化模型研究

• 作者: 杨晓波
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Web服务编制 形式化模型 时间自动机 映射
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 276-278
• 分类号: TP391
• 字数: 2752字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.07.090

摘要

为支持对业务流程执行语言(BPEL)语言的形式化分析和验证,提出一种Web服务编制的形式化模型——μ-BPEL.介绍模型的语法规则和操作语义,在此基础上,建立从μ-BPEL到扩展时间自动机的映射,利用模型检查技术研究服务正确性检验和与时间相关的检验问题.研究结果表明,该模型符合Web服务编制流程,满足系统设定的时态逻辑性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨晓波		30	225	9.0	13.0