-
2
-
-
84944061023
-
Compositional modeling of reactive systems using open nets
-
2001, LNCS 2154 00
-
Baldan, P., Corradini, A., Ehrig, H. and Heckel, R. 2001: Compositional modeling of reactive systems using open nets. CONCUR, 2001, LNCS 2154 00, 502-18.
-
(2001)
CONCUR
, pp. 502-518
-
-
Baldan, P.1
Corradini, A.2
Ehrig, H.3
Heckel, R.4
-
3
-
-
1142280427
-
Matchmaking of Web services based on the DAML-S service model
-
Proceedings of the Second International Joint Conference on Autonomous and Multi-Agents Systems (ICMAS2003), Melbourne, 14-18 July, 926-27
-
Bansal, S. and Vidal, J.M. 2003: Matchmaking of Web services based on the DAML-S service model. Proceedings of the Second International Joint Conference on Autonomous and Multi-Agents Systems (ICMAS2003), Melbourne, 14-18 July, 926-27.
-
(2003)
-
-
Bansal, S.1
Vidal, J.M.2
-
4
-
-
35248900479
-
Automatic composition of e-services that export their behavior
-
ICSOC 2003, LNCS
-
Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M. and Mecella, M. 2003: Automatic composition of e-services that export their behavior. ICSOC 2003, LNCS, 2910 43-58.
-
(2003)
, vol.2910
, pp. 43-58
-
-
Berardi, D.1
Calvanese, D.2
Giacomo, G.D.3
Lenzerini, M.4
Mecella, M.5
-
6
-
-
84880478628
-
Conversation specification: a new approach to design and analysis of e-service composition
-
Proceedings of the 12th International World Wide Web Conference (WWW2003), Budapest, 20-24 May, 403-10
-
Bultan, T., Fu, X., Hull, R. and Su, J. 2003: Conversation specification: a new approach to design and analysis of e-service composition. Proceedings of the 12th International World Wide Web Conference (WWW2003), Budapest, 20-24 May, 403-10.
-
(2003)
-
-
Bultan, T.1
Fu, X.2
Hull, R.3
Su, J.4
-
7
-
-
84959037224
-
Beyond discrete e-services: composing session-oriented services in telecommunications
-
Proceedings of Workshop on Technologies for E-Services (TES), Rome, 14-15 September, 58-73
-
Christophides, V., Hull, R., Karvounarakis, G., Kumar, A., Tong, G. and Xiong, M. 2001: Beyond discrete e-services: composing session-oriented services in telecommunications. Proceedings of Workshop on Technologies for E-Services (TES), Rome, 14-15 September, 58-73.
-
(2001)
-
-
Christophides, V.1
Hull, R.2
Karvounarakis, G.3
Kumar, A.4
Tong, G.5
Xiong, M.6
-
9
-
-
19944405131
-
Analysis of interacting BPEL Web services
-
Proceedings of the 13th International World Wide Web Conference (WWW2004), New York, 17-22 May, 621-30
-
Fu, X., Bultan, T. and Su, J. 2004: Analysis of interacting BPEL Web services. Proceedings of the 13th International World Wide Web Conference (WWW2004), New York, 17-22 May, 621-30.
-
(2004)
-
-
Fu, X.1
Bultan, T.2
Su, J.3
-
10
-
-
33745635991
-
A Petri net-based model for Web service composition
-
Proceedings of the 14th Australasian Database Conference on Database Technologies (ADC2003), Adelaide, 4-7 February, 191-200
-
Hamadi, R. and Benatallah, B. 2003: A Petri net-based model for Web service composition. Proceedings of the 14th Australasian Database Conference on Database Technologies (ADC2003), Adelaide, 4-7 February, 191-200.
-
(2003)
-
-
Hamadi, R.1
Benatallah, B.2
-
11
-
-
78649704527
-
A graph-based approach to Web services composition
-
Proceedings of the 2005 Symposium on Applications and the Internet, Trento, Italy, 31 January-4 February, 183-89
-
Hashemian, S. and Mavaddat, F. 2005: A graph-based approach to Web services composition. Proceedings of the 2005 Symposium on Applications and the Internet, Trento, Italy, 31 January-4 February, 183-89.
-
(2005)
-
-
Hashemian, S.1
Mavaddat, F.2
-
14
-
-
3042795915
-
Research of Petri net based workflow model reduction method
-
Li, J. and Fan, Y. 2001: Research of Petri net based workflow model reduction method. Information and Control, 30, 492-97.
-
(2001)
Information and Control
, vol.30
, pp. 492-497
-
-
Li, J.1
Fan, Y.2
-
15
-
-
0345566250
-
Composing Web services on the semantic Web
-
Medjahed, B., Bouguettaya, A. and Elmagarmid, A.K. 2003: Composing Web services on the semantic Web. International Journal on Very Large Data Bases, 12, 333-51.
-
(2003)
International Journal on Very Large Data Bases
, vol.12
, pp. 333-351
-
-
Medjahed, B.1
Bouguettaya, A.2
Elmagarmid, A.K.3
-
16
-
-
11044239442
-
Current solutions for Web service composition
-
Milanovic, N. and Malek, M. 2004: Current solutions for Web service composition. IEEE Internet Computing, 8, 51-59.
-
(2004)
IEEE Internet Computing
, vol.8
, pp. 51-59
-
-
Milanovic, N.1
Malek, M.2
-
17
-
-
70349896736
-
Simulation, verification and automated composition of Web services
-
Proceedings Of The 11th International World Wide Web Conference (WWW2002), Honolulu, 7-11 May, 77-88
-
Narayanan, S. and McLlraith, S.A. 2002: Simulation, verification and automated composition of Web services. Proceedings Of The 11th International World Wide Web Conference (WWW2002), Honolulu, 7-11 May, 77-88.
-
(2002)
-
-
Narayanan, S.1
McLlraith, S.A.2
-
18
-
-
0030381304
-
An application of Petri net reduction for Ada tasking deadlock analysis
-
Shatz, S.M., Tu, S., Murata, T. and Duri, S. 1996: An application of Petri net reduction for Ada tasking deadlock analysis. IEEE Transactions on Parallel and Distributed Systems, 7, 1307-22.
-
(1996)
IEEE Transactions on Parallel and Distributed Systems
, vol.7
, pp. 1307-1322
-
-
Shatz, S.M.1
Tu, S.2
Murata, T.3
Duri, S.4
-
20
-
-
21244474440
-
Inheritance of inter-organizational workflows: how to agree to disagree without losing control
-
van der Aalst, W.M.P. 2003: Inheritance of inter-organizational workflows: how to agree to disagree without losing control. Information Technology and Management, 4, 345-89.
-
(2003)
Information Technology and Management
, vol.4
, pp. 345-389
-
-
van der Aalst, W.M.P.1
-
21
-
-
44449176510
-
Evaluation of workflow similarity measures in service discovery
-
Wombacher, A. and Rozie, M. 2006: Evaluation of workflow similarity measures in service discovery. Service Oriented Electronic Commerce, 7, 51-71.
-
(2006)
Service Oriented Electronic Commerce
, vol.7
, pp. 51-71
-
-
Wombacher, A.1
Rozie, M.2
-
22
-
-
85001785595
-
Matchmaking for business processes based on choreographies
-
Wombacher, A., Fankhauser, P., Mahleko, B. and Neuhold, E. 2004: Matchmaking for business processes based on choreographies. International Journal of Web Services, 1, 14-32.
-
(2004)
International Journal of Web Services
, vol.1
, pp. 14-32
-
-
Wombacher, A.1
Fankhauser, P.2
Mahleko, B.3
Neuhold, E.4
-
23
-
-
33845223375
-
Modeling service compatibility with Pi-calculus for choreography
-
Proceedings of the 25th International Conference on Conceptual Modeling (ER2006), Tucson, AZ, 6-9 November, 26-39
-
Wu, Z., Zhou, M., Li, Y. and Wu, J. 2006: Modeling service compatibility with Pi-calculus for choreography. Proceedings of the 25th International Conference on Conceptual Modeling (ER2006), Tucson, AZ, 6-9 November, 26-39.
-
(2006)
-
-
Wu, Z.1
Zhou, M.2
Li, Y.3
Wu, J.4
-
24
-
-
3042666264
-
QoS-Aware middleware for Web services composition
-
Zeng, L., Benatallah, B., Ngu, A.H.H., Dumas, M., Kalagnanam, J. and Chang, H. 2004: QoS-Aware middleware for Web services composition. IEEE Transactions on Software Engineering, 30, 311-27.
-
(2004)
IEEE Transactions on Software Engineering
, vol.30
, pp. 311-327
-
-
Zeng, L.1
Benatallah, B.2
Ngu, A.H.H.3
Dumas, M.4
Kalagnanam, J.5
Chang, H.6
|