Author:
Zhang Guangquan,Shi Huijuan,Rong Mei,Di Haojun
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Pistore, M., Roveri, M., Busetta, P.: Requirements-driven verification of Web services. In: WSFM 2004, pp. 95–108 (2004)
2. Lei, L.H., Duan, Z.H.: An extended deterministic finite automata based method for the verification of composite Web services. Journal of Software 18(12), 2980–2990 (2007) (in Chinese)
3. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of Web service compositions. In: IEEE ASE 2003, pp. 152–161 (2003)
4. Fu, X., Bultan, T., Su, J.: Synchronizability of conversations among Web services. IEEE Transactions on Software Engineering 31(12), 1042–1055 (2005)
5. Pallickara, S., Fox, G., Pallickara, S.L.: An analysis of reliable delivery specifications for Web services. In: 10th International Conference on Information Technology: Coding and Computing, pp. 360–365 (2005)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献