论文部分内容阅读
对语义Web服务的操作语义进行恰当的形式化描述和有效建模是语义Web服务得到实际应用必须解决的基础问题，尤其是机器如何自动得到语义Web服务的逻辑模型。该文在对语义Web服务操作语义的Petri网描述方法的基础上，通过对原子语义Web服务的OWL -S进程描述进行解析，得到语义Web服务原子进程动态执行相应的Petri网关联矩阵，进一步通过Petri网的自动共享合成操作，得到语义Web服务操作语义的Petri网描述，解决了语义Web服务自动建模的问题，为语义Web服务的动态组合提供了有效的技术依据。