基于可达图的Web服务组合验证

• 作者: 乔彬 吴国文 葛孝堃
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Web服务组合 验证 Petri网 可达图
• 年，卷（期）: 2009,（9）
• 所属期刊栏目: 网络与通信
• 页码范围: 203-205
• 页数: 3页
• 分类号: TP3
• 字数: 2868字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2009.09.065

摘要

针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法.采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方法的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	葛孝堃		2	6	1.0	2.0
2	吴国文	东华大学计算机科学与技术学院	23	70	5.0	7.0
3	乔彬	东华大学计算机科学与技术学院	2	5	1.0	2.0