基于Petri网的OWL-S流程模型的验证与分析

• 作者: 王晨 王红兵 许迅
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: PETRI网 OWL-S WEB服务组合验证 工作流分析
• 年，卷（期）: 2008,（3）
• 页码范围: 1249-1252
• 页数: 4页
• 分类号: TP311

摘要

广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言，在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言，尤其适合并发系统的描述。因此，使用Petri网对OWL-S流程模型进行建模，通过将工作流信息转化为Petri网描述，从而对OWL-S流程模型进行安全性（safeness）活性（hveness）检验，是一个非常有意义的尝试。此外，对Petri网的分析与优化，能够反作用于OWL-S流程模型，消除原有模型的冗余并提高流程模型的合理性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王晨	东南大学计算机科学与工程学院	19	121	6.0	10.0
2	王红兵	东南大学计算机科学与工程学院	13	253	6.0	13.0
3	许迅	东南大学计算机科学与工程学院	3	10	2.0	3.0