Author:
Chen Bo,Yuan Qingneng,Liu Zhiqi
Publisher
Springer Science and Business Media LLC
Reference9 articles.
1. Can A B, Bultan T, Fu X. Design for verification for asynchronously communicating Web services[C]// Proceedings of the 14th International Conference on World Wide Web. New York: ACM Press, 2005: 750–759.
2. Mongiello M, Castelluccia D. Modeling and verification of BPEL business processes[C]//Proceedings of the 4th Workshop on Model-Based Development of Computer-Based Systems. Potsdam: IEEE Computer Society, 2006: 144–148.
3. Foster H, Uchitel S, Magee J, et al. Model-based verification of Web service compositions[C]// IEEE International Conference on Automated Software Engineering. Montreal: IEEE Computer Society, 2003: 152–163.
4. Hu Jun, Yu Xiaofeng, Zhang Yuan, et al. Checking component based design for scenario based specifications [J]. Chinese Journal of Computer, 2006, 29(4): 513–525(Ch).
5. Pistore M, Roveri M, Busetta P. Requirements-driven verification of Web services [J]. Electronic Notes in Theoretical Computer Science, 2004, 105(3): 95–108.