10.3969/j.issn.1000-386X.2009.09.065
基于可达图的Web服务组合验证
针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法.采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方法的应用.
Web服务组合、验证、Petri网、可达图
26
TP3;TP1
2009-11-24(万方平台首次上网日期,不代表论文的发表时间)
共3页
203-205