|
|||||
|
|
| 基于Petri网的OWL-S流程模型的验证与分析 | |
| 作者单位： | 东南大学计算机科学与工程学院 江苏南京210096 |
| 摘 要： | 广泛研究使用的OWL-S Web服务交互规范作为一种半形式化的描述语言,在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言,尤其适合并发系统的描述。因此,使用Petri网对OWL-S流程模型进行建模,通过将工作流信息转化为Petri网描述,从而对OWL-S流程模型进行安全性(safeness)和活性(liveness)检验,是一个非常有意义的尝试。此外,对Petri网的分析与优化,能够反作用于OWL-S流程模型,消除原有模型的冗余并提高流程模型的合理性。 |
| 关 键 词： | Petri网 OWL-S Web服务组合验证:工作流分析 |
Petri-Net Based Verification and Analysis of OWL-S Process Model |
|
| Authors: | WANG Chen WANG Hong-bing XU Xun |
| Abstract: | |
| Keywords: | Petri-Net OWL-S Verification of Web Services Composition analysis of workflow |
| 本文献已被 CNKI 等数据库收录！ | |