论文部分内容阅读
本文针对Petri网理论与方法在服务计算中的应用，从Web服务执行的角度，在定义Web服务组合的Petri网的基础上，给出Web服务组合的Petri网的自动生成方法。首先对Web服务的Petri网描述，通过利用Web服务的输入、输出等元素的本体定义为Petri网中相应库所元素添加语义标签，得到Web服务的Petri网的PNML(Petri net Markup Language)+OWL (Ontology Web Language)描述，其中PNML部分描述Petri网的网结构，OWL部分描述Petri网中各库所元素的语义标记；进一步，在已得到Web服务组合中各子Web服务之间输入/输出关联元素的基础上，确定各子Web服务的Petri网之间的可融合库所，通过执行可融合库所之间的库所融合操作，将各子Web服务的Petri网合并得到Web服务组合的Petri网，为Petri网相关理论与方法在服务计算中得到实际应用提供了必要的前提。