-
1
-
-
84949196234
-
A Web Service Planning Language for Service Composition
-
Buchmann, A., Casati, F., Fiege, L., Hsu, M.-C., Shan, M.-C. (Eds.): Technologies for E-Services (TES 2002), Springer-Verlag
-
Aiello, M., Papazoglou, M.-P., Yang, J., Carman, M., Pistore, M., Serafini, L., Traverso, P.: A Web Service Planning Language for Service Composition, In Buchmann, A., Casati, F., Fiege, L., Hsu, M.-C., Shan, M.-C. (Eds.): Technologies for E-Services (TES 2002), LNCS, Vol. 2444. Springer-Verlag (2002), 76-85.
-
(2002)
LNCS
, vol.2444
, pp. 76-85
-
-
Aiello, M.1
Papazoglou, M.-P.2
Yang, J.3
Carman, M.4
Pistore, M.5
Serafini, L.6
Traverso, P.7
-
2
-
-
35048898065
-
Formal Relationship between Petri Nets and Graph Grammars as Basis for Animation Views in GenGED
-
Pasadena, USA
-
Bardohl, R., Ermel, C., Padberg, J.: Formal Relationship between Petri Nets and Graph Grammars as Basis for Animation Views in GenGED, Proceeding of International Conference on Design and Process Technologies (IDPT2002), Pasadena, USA (2002).
-
(2002)
Proceeding of International Conference on Design and Process Technologies (IDPT2002)
-
-
Bardohl, R.1
Ermel, C.2
Padberg, J.3
-
3
-
-
35048859945
-
WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications
-
Vancouver, B.C., Canada
-
Cao, J., Ma, X., Chan, T.S., Lu, J.: WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications, Proceedings of the 2002 International Conference on Parallel Processing, Vancouver, B.C., Canada (2002).
-
(2002)
Proceedings of the 2002 International Conference on Parallel Processing
-
-
Cao, J.1
Ma, X.2
Chan, T.S.3
Lu, J.4
-
4
-
-
0038315923
-
-
Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business Process Execution Language for Web Services (BPEL4WS), http://www106.ibm.com/developerworks/library/ws-bpel/ (2002).
-
(2002)
Business Process Execution Language for Web Services (BPEL4WS)
-
-
Curbera, F.1
Goland, Y.2
Klein, J.3
Leymann, F.4
Roller, D.5
Thatte, S.6
Weerawarana, S.7
-
5
-
-
0036328418
-
Unraveling the Web Services Web: An Introduction to SOAP, WSDL, and UDDI
-
Curbera, F., Duftler, M., Khalaf, R., Nagy, W., Mukhi, N. Weerawarana, S.: Unraveling the Web Services Web: An Introduction to SOAP, WSDL, and UDDI, IEEE Internet Computing, Vol.6, No.2 (2002), 86 93.
-
(2002)
IEEE Internet Computing
, vol.6
, Issue.2
, pp. 8693
-
-
Curbera, F.1
Duftler, M.2
Khalaf, R.3
Nagy, W.4
Mukhi, N.5
Weerawarana, S.6
-
6
-
-
0000145484
-
Algebraic Approach to Graph Transformation
-
G. Rozenberg (Eds.): World Scientific Publishing
-
Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approach to Graph Transformation, In: G. Rozenberg (Eds.): Handbook of Graph Grammars and Computing by Graph Transformation, World Scientific Publishing (1997), 247 312.
-
(1997)
Handbook of Graph Grammars and Computing by Graph Transformation
, pp. 247312
-
-
Ehrig, H.1
Heckel, R.2
Korff, M.3
Löwe, M.4
Ribeiro, L.5
Wagner, A.6
Corradini, A.7
-
7
-
-
4544339500
-
A Petri Net-based Model for Web Service Composition
-
Schewe, K.-D., Zhou, X.-F. (Eds): Adelaide, Australia, Australian Computer Society
-
Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition, In: Schewe, K.-D., Zhou, X.-F. (Eds): Conferences in Research and Practice in Information Technology, Vol.17, Adelaide, Australia, Australian Computer Society, 191 200.
-
Conferences in Research and Practice in Information Technology
, vol.17
, pp. 191200
-
-
Hamadi, R.1
Benatallah, B.2
-
8
-
-
84936881073
-
From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods
-
Switzerland
-
Koehler, J., Tirenni, G., Kumaran, S.: From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods, Proceeding of the Sixth International Enterprise Distributed Object Computing Conference, Switzerland(2002), 96 108.
-
(2002)
Proceeding of the Sixth International Enterprise Distributed Object Computing Conference
, pp. 96108
-
-
Koehler, J.1
Tirenni, G.2
Kumaran, S.3
-
10
-
-
0036991663
-
Web Services and Business Process Management
-
Leymann, F., Roller, D., Schmidt, M.T.: Web Services and Business Process Management, IBM System Journal, Vol.41, No.2 (2002)
-
(2002)
IBM System Journal
, vol.41
, Issue.2
-
-
Leymann, F.1
Roller, D.2
Schmidt, M.T.3
-
11
-
-
84949187302
-
Modeling E-service Orchestration through Petri Nets
-
Buchmann, A., Casati, F., Fiege, L., Hsu, M.-C., Shan, M.-C. (Eds.): Technologies for E-Services (TES 2002). Springer-Verlag
-
Mecella, M., Presicce, P.P., Pemici, B.: Modeling E-service Orchestration through Petri Nets, In Buchmann, A., Casati, F., Fiege, L., Hsu, M.-C., Shan, M.-C. (Eds.): Technologies for E-Services (TES 2002). LNCS, Vol. 2444. Springer-Verlag, (2002) 38 47.
-
(2002)
LNCS
, vol.2444
, pp. 3847
-
-
Mecella, M.1
Presicce, P.P.2
Pemici, B.3
-
12
-
-
0041732124
-
Web services: Beyond component-based computing
-
Stal, M.: Web services: beyond component-based computing, Communications of the ACM, Vol.45, No. 10 (2002) 71 76.
-
(2002)
Communications of the ACM
, vol.45
, Issue.10
, pp. 7176
-
-
Stal, M.1
-
13
-
-
35048883020
-
A Visual Modeling Framework for Distributed Object Computing
-
V, B. Jacobs and A. Rensink (eds.): Kluwer Academic Publishers
-
Taentzer, G.: A Visual Modeling Framework for Distributed Object Computing, In: V, B. Jacobs and A. Rensink (eds.): Formal Methods for Open Object-based Distributed Systems, Kluwer Academic Publishers (2002)
-
(2002)
Formal Methods for Open Object-based Distributed Systems
-
-
Taentzer, G.1
-
15
-
-
84944066635
-
Web Component: A Substrate for Web Service Reuse and Composition
-
CAiSE 2002, Springer-Verlag
-
Yang, J., Papazoglou, M.P.: Web Component: A Substrate for Web Service Reuse and Composition, CAiSE 2002, LNCS, Vol.2348, Springer-Verlag, 21 36(2002).
-
(2002)
LNCS
, vol.2348
, pp. 2136
-
-
Yang, J.1
Papazoglou, M.P.2
|