LTSA-WS: a tool for model-based verification of web service compositions and choreography
暂无分享,去创建一个
Sebastián Uchitel | Jeff Magee | Jeff Kramer | Howard Foster | J. Kramer | J. Magee | H. Foster | Sebastián Uchitel
[1] Omran Bukhres,et al. Failure Handling in Transactional Workkows Utilizing Corba 2.0 , 1996 .
[2] Sebastián Uchitel,et al. A workbench for synthesising behaviour models from scenarios , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
[3] Sebastián Uchitel,et al. Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
[4] Jeff Magee,et al. Concurrency - state models and Java programs , 2006 .
[5] Matthew MacDonald,et al. Web Services Architecture , 2004 .
[6] Rama Akkiraju,et al. A Framework for Facilitating Dynamic e-Business Via Web Services , 2001 .
[7] Robert J. Hall. Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges , 2002, SAS.
[8] Jeff Magee,et al. Compatibility verification for Web service choreography , 2004 .
[9] Tony Andrews. Business Process Execution Language for Web Services Version 1.1 , 2003 .
[10] Xiang Fu,et al. WSAT: A Tool for Formal Analysis of Web Services , 2004, CAV.
[11] Shin Nakajima,et al. Model-Checking Verification for Reliable Web Service , 2002 .
[12] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .