WSAT: A Tool for Formal Analysis of Web Services-Reference-Cited by-同舟云学术

WSAT: A Tool for Formal Analysis of Web Services

Published:2004 Issue: Volume: Page:510-514
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Fu Xiang,Bultan Tevfik,Su Jianwen

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-27813-9_48.pdf

Reference8 articles.

1. Brown, A., Fuchs, M., Robie, J., Wadler, P.: MSL a model for W3C XML Schema. In: Proc. of 10th Int. World Wide Web Conference (WWW), pp. 191–200 (2001)

2. Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: A new approach to design and analysis of e-service composition. In: Proc. of 12th Int. World Wide Web Conference (WWW), May 2003, pp. 403–410 (2003)

3. Lecture Notes in Computer Science;X. Fu,2003

4. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL Web Services. To appear in the Proc. of 13th Int. World Wide Web Conf, WWW (2004)

5. Fu, X., Bultan, T., Su, J.: Model checking XML manipulating software. To appear in the Proc. of 2004 IEEE Int. Symp. on Software Testing and Analysis, ISSTA (2004)

Cited by 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Research on public opinion effecting on stock price during crises based on model checking;Expert Systems with Applications;2024-09

2. Analyzing Realizability of BPMN Choreographies;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12

3. Provenance-based analysis of data-centric processes;The VLDB Journal;2015-06-18

4. Formalizing and appling compliance patterns for business process compliance;Software & Systems Modeling;2014-02-08

5. A Design Tool for Service-oriented Systems;Electronic Notes in Theoretical Computer Science;2013-05