Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic
暂无分享,去创建一个
[1] Fausto Giunchiglia,et al. NUSMV: A New Symbolic Model Verifier , 1999, CAV.
[2] Xiang Fu,et al. Model Checking Interactions of Composite Web Services , 2003 .
[3] Wil M. P. van der Aalst. Business Process Execution Language , 2009, Encyclopedia of Database Systems.
[4] Raman Kazhamiakin,et al. Formal Analysis of Web Service Compositions , 2007 .
[5] Sebastián Uchitel,et al. Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
[6] Kaile Su,et al. Model Checking Temporal Logics of Knowledge in Distributed Systems , 2004, AAAI.
[7] Abdul Sattar,et al. Model Checking Temporal Logics of Knowledge Via OBDDs , 2007, Comput. J..
[8] Xiang Fu,et al. Analysis of interacting BPEL web services , 2004, WWW '04.