-
1
-
-
38649097369
-
-
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
-
-
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
-
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
-
-
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
-
-
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
-
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
-
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
-
-
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
-
-
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
-
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
-
12
-
-
25144454483
-
Realizability of conversation protocols with message contents
-
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.
-
(2005)
International Journal of Web Services Research (JWSR)
, vol.2
, Issue.4
, pp. 68-93
-
-
Fu, X.1
Bultan, T.2
Su, J.3
-
13
-
-
33845223365
-
-
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
-
-
Message Sequence Chart (MSC). ITU-T, Geneva Recommendation Z.120, 1994.
-
Message Sequence Chart (MSC). ITU-T, Geneva Recommendation Z.120, 1994.
-
-
-
-
16
-
-
38649134632
-
-
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
-
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
-
-
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
-
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
-
-
UML 2.0 superstructure specification, http : //ww.uml. org/, October 2004.
-
UML 2.0 superstructure specification, http : //ww.uml. org/, October 2004.
-
-
-
|