基于状态演算的网格服务自动组合技术研究

《基于状态演算的网格服务自动组合技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、重庆大学硕士学位论文目录4.1.2状态演算逻辑编程语言Golog系列.................................................................234.1.3在状态演算中增加意愿公理..............................................................................274.1.4Golog程序的自充分性.............................................................................

2、...........284.2OWL-S模型到状态演算的映射....................................................................................294.2.1OWLS中的原子过程...........................................................................................304.2.2原子过程的effects和outputs..........................................

3、...................................314.2.3原子过程的preconditions和inputs...................................................................334.2.4OWL-S中的复合过程..........................................................................................344.3本章小结.........................................

4、................................................................................365基于Petri网的模型验证机制研究....................................................................375.1Petri网概述...............................................................................................................

5、......375.1.1Petri网简介...........................................................................................................375.1.2Petri网的结构.......................................................................................................385.1.3典型Petri网的描述...........................

6、...................................................................395.2OWL-S模型映射为Petri网......................................................................................415.2.1OWL-S模型的原子过程映射为Petri网............................................................415.2.2OWL-S模型的复合过程映射为Petri网模型

7、....................................................415.3模型的验证.....................................................................................................................445.3.1过程模型中的结构冲突....................................................