Computer Science ›› 2015, Vol. 42 ›› Issue (4): 111-115.doi: 10.11896/j.issn.1002-137X.2015.04.021
Previous Articles Next Articles
SHEN Hua, HE Yan-xiang and ZHANG Ming-wu
| [1] 王晶,戎玫,张广泉,等.基于概率模型检测的Web服务组合验证[J].计算机科学,2012,39(1):120-123 [2] 雷丽晖,段振华.一种基于扩展有限自动机验证组合Web服务的方法[J].软件学报,2007,18(12):2980-2990 [3] 骆翔宇,谭征,苏开乐,等.一种基于认知模型检测的Web服务组合验证方法[J].计算机学报,2011,34(6):1041-1061 [4] Wombacher A,Fankhauser P,Mahleko B,et al.Matchmaking for business processes based on choreographies [C]∥2004 IEEE International Conference on e-Technology,e-Commerce and e-Service.IEEE,2004:359-368 [5] 李景霞,闫春钢.一种基于扩展颜色Petri网的Web服务组合验证机制[J].计算机科学,2009,36(10):146-149 [6] 陈丁剑,吴健,马满福,等.基于Petri网的Web服务组合建模[J].计算机科学,2006,33(5):128-130,135 [7] Narayanan S,McIlraith S.Analysis and simulation of web ser-vices[J].Computer Networks,2003,42(5):675-693 [8] Overdick H,Puhlmann F,Weske M.Towards a formal model for agile service discovery and integration.http://frapu.net/pdf/icsoc2005.pdf [9] 廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643 [10] 林闯.随机Petri网和系统性能评价(第2版)[M].北京:清华大学出版社,2005 [11] 何炎祥,沈华.随机Petri网模型到马尔可夫链的转换规则与实现[J].计算机科学与探索,2013,7(1):55-62 [12] 何炎祥,沈华.一种基于随机Petri网的Web服务组合性能瓶颈定位策略[J].计算机学报,2013,36(10):1953-1966 [13] 吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:28-30,88-91 [14] 李扬.求解线性方程组及不等式组的ABS方法[D].大连:辽宁师范大学,2007 [15] Murata T.Petri nets:Properties,analysis and applications [J].Proceedings of the IEEE,1989,77(4):541-580 |
| No related articles found! |
|
||
Home