-
2
-
-
53149131748
-
Composition of interactive web services based on controller synthesis
-
P. Balbiani, F. Cheikh, and G. Feuillade. Composition of interactive web services based on controller synthesis. Research report, 2007.
-
(2007)
Research report
-
-
Balbiani, P.1
Cheikh, F.2
Feuillade, G.3
-
4
-
-
33745587348
-
Automatic composition of transition-based semantic web services with messaging
-
Trondheim, Norway, August 30, September 2, ACM
-
D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, and M. Mecella. Automatic composition of transition-based semantic web services with messaging. In Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30 - September 2, pages 613-624. ACM, 2005.
-
(2005)
Proceedings of the 31st International Conference on Very Large Data Bases
, pp. 613-624
-
-
Berardi, D.1
Calvanese, D.2
Giacomo, G.D.3
Hull, R.4
Mecella, M.5
-
5
-
-
35248900479
-
-
D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In Service-Oriented Computing - ICSOC 2003, First International Conference, Trento, Italy, December 15-18, Proceedings, 2910 of Lecture Notes in Computer Science, pages 43-58. Springer, 2003.
-
D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In Service-Oriented Computing - ICSOC 2003, First International Conference, Trento, Italy, December 15-18, Proceedings, volume 2910 of Lecture Notes in Computer Science, pages 43-58. Springer, 2003.
-
-
-
-
6
-
-
84880478628
-
Conversation specification: A new approach to design and analysis of e-service composition
-
T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: a new approach to design and analysis of e-service composition. In Proceedings of the international conference on World Wide Web, WWW, pages 403-410, 2003.
-
(2003)
Proceedings of the international conference on World Wide Web, WWW
, pp. 403-410
-
-
Bultan, T.1
Fu, X.2
Hull, R.3
Su, J.4
-
7
-
-
53149113424
-
-
N. Guermouche, O. Perrin, and C. Ringeissen. Timed specification for web services compatibility analysis. In International Workshop on Automated Specification and Verification of Web Systems (WWV'07), San Servolo island, Venice, Italy. December 14, 2007.
-
N. Guermouche, O. Perrin, and C. Ringeissen. Timed specification for web services compatibility analysis. In International Workshop on Automated Specification and Verification of Web Systems (WWV'07), San Servolo island, Venice, Italy. December 14, 2007.
-
-
-
-
8
-
-
37149018364
-
A lower bound on web services composition
-
Proceedings of Foundations of Software Science and Computation Structures FOSSACS, of
-
A. Muscholl and I. Walukiewicz. A lower bound on web services composition. In Proceedings of Foundations of Software Science and Computation Structures (FOSSACS), volume 4423 of LNCS, pages 274-287, 2007.
-
(2007)
LNCS
, vol.4423
, pp. 274-287
-
-
Muscholl, A.1
Walukiewicz, I.2
-
10
-
-
84880717148
-
Automated composition of web services by planning at the knowledge level
-
M. Pistore, A. Marconi, P. Bertoli, and P. Traverso. Automated composition of web services by planning at the knowledge level. In IJCAI, pages 1252-1259, 2005.
-
(2005)
IJCAI
, pp. 1252-1259
-
-
Pistore, M.1
Marconi, A.2
Bertoli, P.3
Traverso, P.4
|