-
1
-
-
3042648089
-
-
Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, Dec
-
G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, Dec. 2002.
-
(2002)
Web Services
-
-
Alonso, G.1
Casati, F.2
Kuno, H.3
Machiraju, V.4
-
2
-
-
84947943163
-
-
July
-
Andrews, Curbera, Dholakia, Goland, Klein, Leymann, Liu, Roller, Smith, Thatte, Trickovic, and Weerawarana. BPEL4WS- Business Process Execution Language for Web Services. Version 1.1, July 2002. http://ibm.com/developerworks/webservices/library/ws-bpel/.
-
(2002)
BPEL4WS- Business Process Execution Language for Web Services. Version 1.1
-
-
Andrews, C.1
Dholakia, G.2
Klein, L.3
Liu, R.4
Smith, T.5
Trickovic6
Weerawarana7
-
3
-
-
84947905309
-
-
May
-
Arkin, Askary, Fordin, Jekeli, Kawaguchi, Orchard, Pogliani, Riemer, Struble, Takacsi-Nagy, Trickovic, and Zimek. Web Service Choreography Interface. Version 1.0, May 2000. http://www.w3.org/TR/SOAP/.
-
(2000)
Web Service Choreography Interface. Version 1.0
-
-
Arkin, A.1
Fordin, J.2
Kawaguchi, O.3
Pogliani, R.4
Struble, T.-N.5
Trickovic6
Zimek7
-
4
-
-
84958754717
-
Syntactic detection of process divergence and non-local choice in message sequence charts
-
E. Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems., Enschede, The Netherlands, 1997. Springer Verlag
-
H. Ben-Abdallah and S. Leue. Syntactic detection of process divergence and non-local choice in message sequence charts. In E. Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems., pages 259-274, Enschede, The Netherlands, 1997. Springer Verlag, LNCS 1217.
-
LNCS
, vol.1217
, pp. 259-274
-
-
Ben-Abdallah, H.1
Leue, S.2
-
5
-
-
0003791651
-
-
Standard, version 1.1 edition, Mar
-
E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. WSDL - Web Services Description Language. W3C, Standard, version 1.1 edition, Mar. 2001. http://www.w3.org/TR/wsdl.
-
(2001)
WSDL - Web Services Description Language
-
-
Christensen, E.1
Curbera, F.2
Meredith, G.3
Weerawarana, S.4
-
7
-
-
23044520720
-
Interoperability of workshop applications - Local criteria for global soundness
-
W. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management., Springer-Verlag
-
E. Kindler, A. Martens, and W. Reisig. Interoperability of workshop applications - local criteria for global soundness. In W. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management., LNCS 1806, pages 235-253. Springer-Verlag, 2000.
-
(2000)
LNCS
, vol.1806
, pp. 235-253
-
-
Kindler, E.1
Martens, A.2
Reisig, W.3
-
9
-
-
8444221775
-
On compatibility of web services
-
Oct
-
A. Martens. On compatibility of web services. Petri Net Newsletter, (65):12-20, Oct. 2003.
-
(2003)
Petri Net Newsletter
, Issue.65
, pp. 12-20
-
-
Martens, A.1
-
13
-
-
84947999753
-
-
Lehrstuhl Theorie der Programmierung, Humboldt-Universität zu Berlin, Projektbeschreibung
-
A. Martens, W. Reisig, and M. Weber. Task Force - Geschäftsprozesssprache BPEL4WS. Lehrstuhl Theorie der Programmierung, Humboldt-Universität zu Berlin, Projektbeschreibung, 2003. http://www.informatik.hu-berlin.de/top/forschung/.
-
(2003)
Task Force - Geschäftsprozesssprache BPEL4WS
-
-
Martens, A.1
Reisig, W.2
Weber, M.3
-
14
-
-
17644384666
-
-
Informatik-Bericht, Institut für Informatik, Humboldt-Universität zu Berlin, to appear
-
A. Martens, C. Stahl, D. Weinberg, D. Fahland, and T. Heidinger. Business process execution language for web services - semantik, analyse und visualisierung. Informatik-Bericht, Institut für Informatik, Humboldt-Universität zu Berlin, to appear 2004.
-
(2004)
Business Process Execution Language for Web Services - Semantik, Analyse und Visualisierung
-
-
Martens, A.1
Stahl, C.2
Weinberg, D.3
Fahland, D.4
Heidinger, T.5
-
15
-
-
84949187302
-
Modeling e-service orchestration through petri nets
-
Buchmann et al., editor, Technologies for E-Services: Proceedings of TES'02, Springer- Verlag Heidelberg
-
M. Mecella, F. P. Presicce, and B. Pernici. Modeling e-service orchestration through petri nets. In Buchmann et al., editor, Technologies for E-Services: Proceedings of TES'02, LNCS 2444, pages 38-47. Springer-Verlag Heidelberg, 2002.
-
(2002)
LNCS
, vol.2444
, pp. 38-47
-
-
Mecella, M.1
Presicce, F.P.2
Pernici, B.3
-
16
-
-
84947999754
-
Petri Nets
-
Springer-Verlag, Berlin, Heidelberg, New York, Tokyo
-
W. Reisig. Petri Nets. Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, eatcs monographs on theoretical computer science edition, 1985.
-
(1985)
Eatcs Monographs on Theoretical Computer Science Edition
-
-
Reisig, W.1
-
18
-
-
0004181259
-
A class of petri net for modeling and analyzing business processes
-
Eindhoven University of Technology
-
W. M. P. van der Aalst. A class of petri net for modeling and analyzing business processes. Computing science report 95/26, Eindhoven University of Technology, 1995.
-
(1995)
Computing Science Report
-
-
Van Der Aalst, W.M.P.1
-
19
-
-
0004181568
-
Structural characterizations of sound workflow nets
-
Eindhoven University of Technology
-
W. M. P. van der Aalst. Structural characterizations of sound workflow nets. Computing science report 96/23, Eindhoven University of Technology, 1996.
-
(1996)
Computing Science Report
-
-
Van Der Aalst, W.M.P.1
|