CAJ | 학술논문

该文首先提出了基于Petri网的Web服务组合建模方法，对服务组合进行形式化建模，然后采用可达树作为分析工具，对服务组合模型的可达性，活性，有界性等特性进行验证分析。最后通过一个具体的实例说明此方法的应用。
해문수선제출료기우Petri망적Web복무조합건모방법，대복무조합진행형식화건모，연후채용가체수작위분석공구，대복무조합모형적가체성，활성，유계성등특성진행험증분석。최후통과일개구체적실례설명차방법적응용。
This paper first puts forward Web services composition modeling method based on Petri net. The formal modeling for Web services composition is also the article research content. Then the paper uses the reachability tree as the analytical tool to analyse and verify the features of services composition model, such as accessibility, activity and boundedness. Finally, the article us-es a specific example to illustrate the application of this method.