메뉴 건너뛰기




Volumn , Issue , 2007, Pages 122-131

Specification of realizable service conversations using collaboration diagrams

Author keywords

[No Author keywords available]

Indexed keywords

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

EID: 38649083117     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOCA.2007.41     Document Type: Conference Paper
Times cited : (12)

References (21)
  • 1
    • 38649097369 scopus 로고    scopus 로고
    • Realizability of interactions in collaboration diagrams. Technical Report 2006-11, Computer Science Department, University of California, Santa Barbara, September 2006.
    • Realizability of interactions in collaboration diagrams. Technical Report 2006-11, Computer Science Department, University of California, Santa Barbara, September 2006.
  • 3
    • 84879514151 scopus 로고    scopus 로고
    • 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.
    • 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
    • 0037251267 scopus 로고    scopus 로고
    • The self-serv environment for web services composition
    • Jan
    • 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.
    • (2003) IEEE Internet Computing , vol.7 , Issue.L , pp. 40-48
    • Benatallah, B.1    Sheng, Q.Z.2    Dumas, M.3
  • 5
    • 36348930622 scopus 로고    scopus 로고
    • 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.
    • 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
    • 38649113407 scopus 로고    scopus 로고
    • Business process execution language for web services BPEL, version 1.1
    • Business process execution language for web services (BPEL), version 1.1. http://www.ibm.com/ developerworks/library/ws-bpel.
  • 7
    • 0020735797 scopus 로고
    • On communicating finite-state machines
    • D. Brand and P. Zafiropulo. On communicating finite-state machines. J. ACM, 30(2):323-342, 1983.
    • (1983) J. ACM , vol.30 , Issue.2 , pp. 323-342
    • Brand, D.1    Zafiropulo, P.2
  • 8
    • 84880478628 scopus 로고    scopus 로고
    • Conversation specification: A new approach to design and analysis of e-service composition
    • May
    • 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.
    • (2003) Proc. 12th Int. World Wide Web Conf , pp. 403-410
    • Bultan, T.1    Fu, X.2    Hull, R.3    Su, J.4
  • 9
    • 31544460688 scopus 로고    scopus 로고
    • T Bultan, X. Fu, and J. Su. Analyzing conversations of web services. IEEE Internet Computing, 10(1):18-25, 2006.
    • T Bultan, X. Fu, and J. Su. Analyzing conversations of web services. IEEE Internet Computing, 10(1):18-25, 2006.
  • 10
    • 38649134633 scopus 로고    scopus 로고
    • 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.
    • 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
    • 9544247758 scopus 로고    scopus 로고
    • Conversation protocols: A formalism for specification and analysis of reactive electronic services
    • November
    • 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.
    • (2004) Theoretical Computer Science , vol.328 , Issue.1-2 , pp. 19-37
    • Fu, X.1    Bultan, T.2    Su, J.3
  • 13
    • 33845223365 scopus 로고    scopus 로고
    • X. Fu, T Bultan, and J. Su. Synchronizability of conversations among web services. IEEE Transactions on Software Engineering, 31(12): 1042-1055, December 2005.
    • 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
    • 38649091530 scopus 로고    scopus 로고
    • Message Sequence Chart (MSC). ITU-T, Geneva Recommendation Z.120, 1994.
    • Message Sequence Chart (MSC). ITU-T, Geneva Recommendation Z.120, 1994.
  • 16
    • 38649134632 scopus 로고    scopus 로고
    • 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.
    • 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
    • 0034375715 scopus 로고    scopus 로고
    • Synthesizing coordination requirements for heterogeneous autonomous agents
    • June
    • M. P. Singh. Synthesizing coordination requirements for heterogeneous autonomous agents. Autonomous Agents and Multi-Agent Systems, 3(2): 107-132, June 2000.
    • (2000) Autonomous Agents and Multi-Agent Systems , vol.3 , Issue.2 , pp. 107-132
    • Singh, M.P.1
  • 18
    • 17744400293 scopus 로고    scopus 로고
    • D. Skogan, R. Gronmo, and I. Solheim. Web Service Composition in UML. In Proc. of 8th International IEEE Enterprise Distributed Object Computing Conference, 2004.
    • 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
    • 3042823719 scopus 로고    scopus 로고
    • Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
    • 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.
    • (2004) ACM Transactions on Software Engineering and Methodology , vol.13 , Issue.L , pp. 37-85
    • Uchitel, S.1    Kramer, J.2    Magee, J.3
  • 20
    • 38649091529 scopus 로고    scopus 로고
    • UML 2.0 superstructure specification, http : //ww.uml. org/, October 2004.
    • UML 2.0 superstructure specification, http : //ww.uml. org/, October 2004.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.