基于B方法的Web Service组合描述和验证方法

• 作者: 万建成 侯金奎 冯仕红 王帅强
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Web Service B方法 服务形式化 服务组合
• 年，卷（期）: 2007,（19）
• 所属期刊栏目: 博士论文
• 页码范围: 19-22,41
• 页数: 5页
• 分类号: TP311
• 字数: 3545字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.19.007

摘要

对于Web Service及其组合来说,保证其组合的正确性是十分必要的.B方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方法.该文基于B方法对Web服务及其组合进行了形式化建模,并能够利用B方法相对成熟和完善的模型检查工具,来完成模型的正确性验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	侯金奎	山东大学计算机科学与技术学院	23	180	7.0	12.0
2	万建成	山东大学计算机科学与技术学院	56	967	16.0	29.0
3	冯仕红	山东大学计算机科学与技术学院	10	113	7.0	10.0
4	王帅强	山东大学计算机科学与技术学院	6	48	4.0	6.0