基于开放Petri网的Web服务行为弱合理性分析

• 作者: 方贤文 王娟
• 来源期刊: 微电子学与计算机
• 关键词: 开放Petri网Web服务行为 弱合理性 行为相关性
• 年，卷（期）: 2012,（5）
• 页码范围: 77-80,85
• 分类号: TP391.9
• 语种: 中文

摘要

目前，组合Web服务的正确性主要是通过合理性来判定，判定服务组合模型是否满足行为一致相关性是判定合理性的有效方法，而已提出的行为一致相关性判定算法仅在T-不变量存在的情况是可行的．文中利用开放Petri网对web服务进行建模，基于服务树理论，提出了判定多个Web服务组合后满足行为弱合理性的算法，实现对组合Web服务的正确性分析．最后通过具体实例分析了该方法的有效性．

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王娟	安徽理工大学信息与计算科学系	12	23	3.0	4.0