Specification of realizable service conversations using collaboration diagrams

Proceedings - IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2007

Volumn , Issue , 2007, Pages 122-131

  Bultan, Tevfik ^a   Fu, Xiang ^b  

^a Santa Barbara   (United States)

^b GEORGIA SOUTHWESTERN STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; GLOBAL OPTIMIZATION; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; USER INTERFACES;

GLOBAL SEQUENCE; SERVICE ORIENTED COMPUTING;

WEB SERVICES;

EID: 38649083117     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOCA.2007.41     Document Type: Conference Paper

References (21)

1. Realizability of interactions in collaboration diagrams. Technical Report 2006-11, Computer Science Department, University of California, Santa Barbara, September 2006.
2. R. Alur, K. Etessami, and M. Yannakakis. Inference of message sequence charts. In Proc. 22nd Int. Conf. on Software Engineering, pages 304-313, 2000.
3. 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.
4. B. Benatallah, Q. Z. Sheng, and M. Dumas. The self-serv environment for web services composition. IEEE Internet Computing, 7(l):40-48, Jan 2003.
5. M. B. Blake. A lightweight software design process for web services workflows. In Proc. of the 2006 IEEE International Conference on Web Services, pages 411-418, 2006.
6. Business process execution language for web services (BPEL), version 1.1. http://www.ibm.com/ developerworks/library/ws-bpel.
7. D. Brand and P. Zafiropulo. On communicating finite-state machines. J. ACM, 30(2):323-342, 1983.
8. T Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: A new approach to design and analysis of e-service composition. In Proc. 12th Int. World Wide Web Conf., pages 403-410, May 2003.
9. T Bultan, X. Fu, and J. Su. Analyzing conversations of web services. IEEE Internet Computing, 10(1):18-25, 2006.
10. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In Proc. 18th IEEE Int. Conf. on Automated Software Engineering Conference, pages 152-163, 2003.
11. 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.
12. X. Fu, T Bultan, and J. Su. Realizability of conversation protocols with message contents. International Journal of Web Services Research (JWSR), 2(4):68 - 93, 2005.
13. X. Fu, T Bultan, and J. Su. Synchronizability of conversations among web services. IEEE Transactions on Software Engineering, 31(12): 1042-1055, December 2005.
14. Message Sequence Chart (MSC). ITU-T, Geneva Recommendation Z.120, 1994.
15. J. J. Odell, H. V. D. Parunak, and B. Bauer. Representing Agent Interaction Protocols in UML. In Proc. of First International Workshop on Agent-Oriented Software Engineering, 1999.
16. H. V. D. Parunak. Visualizing agent conversations: Using enhanced Dooley graphs for agent design and analysis. In Proceedings of the Second International Conference on Multi-Agent Systems (ICMAS'96), 1996.
17. M. P. Singh. Synthesizing coordination requirements for heterogeneous autonomous agents. Autonomous Agents and Multi-Agent Systems, 3(2): 107-132, June 2000.
18. D. Skogan, R. Gronmo, and I. Solheim. Web Service Composition in UML. In Proc. of 8th International IEEE Enterprise Distributed Object Computing Conference, 2004.
19. S. Uchitel, J. Kramer, and J. Magee. Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Transactions on Software Engineering and Methodology, 13(l):37-85, 2004.
20. UML 2.0 superstructure specification, http : //ww.uml. org/, October 2004.
21. Web Service Choreography Description Language (WSCDL). http: //www.w3 .org/TR/ws-cdl- 10/, 2005.