Modeling interactions of web software

2nd Int'l. Workshop on Automated Specification and Verification of Web Systems, WWV'06

Volumn , Issue , 2006, Pages 45-50

  Bultan, Tevfik ^a  

^a Santa Barbara   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS; WEBSITES;

COLLABORATION DIAGRAM; CONVERSATION PROTOCOL; DISTRIBUTED INTERACTION; MESSAGE SEQUENCE CHARTS; MODEL INTERACTION; ORGANIZATIONAL BOUNDARIES; SOFTWARE COMPONENT; SYNCHRONIZABILITY;

WEB SERVICES;

EID: 46249088209     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WWV.2006.10     Document Type: Conference Paper

References (17)

1. R. Alur, K. Etessami, and M. Yannakakis. Realizability and verification of MSC graphs. In Proc. 28th Int. Colloq. on Automata, Languages, and Programming, pages 797-808, 2001.
2. Business process execution language for web services (BPEL), version 1.1. http://www.ibm.com/developerworks/library/ws-bpel.
3. T. Bultan and X. Fu. Realizability of interactions in collaboration diagrams. Technical report, Computer Science Department, University of California, Santa Barbara, September 2006.
4. E. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
5. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based analysis of obligations in web service choreography. In Proc. IEEE Int. Conf. on Internet and Web Applications and Services, 2006.
6. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In Proc. 13th Int. World Wide Web Conf., pages 621-630, May 2004.
7. X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and analysis of reactive electronic services. Theoretical Computer Science, 328(1-2): 19-37, November 2004.
8. X. Fu, T. Bultan, and J. Su. WSAT: A tool for formal analysis of web service compositions. In Proc. 16th Int. Conf. on Computer Aided Verification, volume 3114 of LNCS, pages 510-514, July 2004.
9. X. Fu, T. Bultan, and J. Su. Realizability of conversation protocols with message contents. International Journal of Web Services Research, 2(4):68-93, 2005.
10. X. Fu, T. Bultan, and J. Su. Synchronizability of conversations among web services. IEEE Transactions on Software Engineering, 31(12): 1042-1055, December 2005.
11. G.J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston, Massachusetts, 2003.
12. Java Message Service. http://java.sun.com/products/jms/.
13. Microsoft Message Queuing Service. http://www.microsoft.com/windows2000/ technologies/communications/msmq/d%efault.mspx.
14. S. Nakajima. Model checking verification for reliable web service. In Proc. of the 1st International Symposium on Cyber Worlds (CW2002), pages 378-385, November 2002.
15. UML 2.0 superstructure specification. http://ww.uml.org/, October 2004.
16. Web Service Choreography Description Language (WS-CDL). http://www.w3.org/TR/ws-cdl-10/, 2005.
17. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl, March 2001.