Verification of Web service flows with model-checking techniques
暂无分享,去创建一个
[1] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[2] Henk Eertink,et al. A Business Process Design Language , 1999, World Congress on Formal Methods.
[3] S. Krishnan,et al. 2 XLANG : Web Services for Business Process Design , 2002 .
[4] Shige Peng. UDDI Technical White Paper , 2000 .
[5] Martin Peschke,et al. Design and Validation of Computer Protocols , 2003 .
[6] S. Nakajima,et al. On verifying Web service flows , 2002, Proceedings 2002 Symposium on Applications and the Internet (SAINT) Workshops.
[7] Dimitra Giannakopoulou,et al. Model checking of workflow schemas , 2000, Proceedings Fourth International Enterprise Distributed Objects Computing Conference. EDOC2000.
[8] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[9] Frank Leymann,et al. Managing Business Processes an an Information Resource , 1994, IBM Syst. J..