摘要: 针对Web服务组合流程进行建模,可以实现可靠的服务组合。文中首先提出了一种基于Petri网理论的Web服务组合建模方法,对服务组合进行形式化建模,然后通过分析Web服务网的可迭性和活性对Web服务组合进行验证,最后举例说明此方法的应用。
陈丁剑 吴健 马满福 胡正国. 基于Petri网的Web服务组合建模[J]. 计算机科学, 2006, 33(5): 128-130. https://doi.org/
CHEN Ding-Jian, WU Jian ,MA Man-Fu ,HU Zheng-Guo (College of Computer, Northwestern Polytechnieal University, Xi'an 710072). [J]. Computer Science, 2006, 33(5): 128-130. https://doi.org/