-
1
-
-
0038315923
-
-
May
-
T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, S. Weerawarana: Business Process Execution Language for Web Services, version 1.1, May 2003. http://www-106.ibm.com/developerworks/webservices/library/ws-bpel
-
(2003)
Business Process Execution Language for Web Services, Version 1.1
-
-
Andrews, T.1
Curbera, F.2
Dholakia, H.3
Goland, Y.4
Klein, J.5
Leymann, F.6
Liu, K.7
Roller, D.8
Smith, D.9
Thatte, S.10
Trickovic, I.11
Weerawarana, S.12
-
3
-
-
23944465828
-
Formalizing web service choreographies
-
Pisa, Italy, February Elsevier
-
A. Brogi, G. Canal, E. Pimentel, A. Vallecillo: Formalizing Web Service Choreographies. In Proceedings of 1st International Workshop on Web Services and Formal Methods, Pisa, Italy, February 2004, Elsevier.
-
(2004)
Proceedings of 1st International Workshop on Web Services and Formal Methods
-
-
Brogi, A.1
Canal, G.2
Pimentel, E.3
Vallecillo, A.4
-
4
-
-
33746223508
-
Choreography and orchestration conformance for system design
-
Bologna, Italy, June Springer Verlag
-
N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, G. Zavattaro: Choreography and Orchestration Conformance for System Design. In Proceedings of 8th International Conference on Coordination Models and Languages (COORDINATION'06), Bologna, Italy, June 2006, Springer Verlag.
-
(2006)
Proceedings of 8th International Conference on Coordination Models and Languages (COORDINATION'06)
-
-
Busi, N.1
Gorrieri, R.2
Guidi, C.3
Lucchi, R.4
Zavattaro, G.5
-
5
-
-
0013222762
-
EbXML Business Process Specification Schema Version 1.01
-
J. Clark, C. Casanave, K. Kanaskie, B. Harvey, N. Smith, J. Yunker, K. Riemer (Eds.): May
-
J. Clark, C. Casanave, K. Kanaskie, B. Harvey, N. Smith, J. Yunker, K. Riemer (Eds.): ebXML Business Process Specification Schema Version 1.01, UN/CEFACT and OASIS Specification, May 2001. http://www.ebxml.org/specs/ebBPSS. pdf
-
(2001)
UN/CEFACT and OASIS Specification
-
-
-
6
-
-
24344444145
-
Tools for composite web services: A short overview
-
R. Hull, J. Su: Tools for composite web services: a short overview. SIGMOD Record 34(2): 86-95, 2005.
-
(2005)
SIGMOD Record
, vol.34
, Issue.2
, pp. 86-95
-
-
Hull, R.1
Su, J.2
-
8
-
-
70449615691
-
Formalizing service interactions
-
Vienna, Austria, Springer Verlag
-
G. Decker, F. Puhlmann, M. Weske: Formalizing Service Interactions. In Proceedings of BPM 2006, Vienna, Austria, 2006, Springer Verlag.
-
(2006)
Proceedings of BPM 2006
-
-
Decker, G.1
Puhlmann, F.2
Weske, M.3
-
9
-
-
44049113210
-
A calculus of mobile processes
-
R. Milner, J. Parrow, D. Walker: A calculus of mobile processes, Information and Computation, 100:1-40, 1992.
-
(1992)
Information and Computation
, vol.100
, pp. 1-40
-
-
Milner, R.1
Parrow, J.2
Walker, D.3
-
10
-
-
27144489778
-
Using the π-calculus for formalizing workflow patterns
-
Nancy, France, September Springer Verlag
-
F. Puhlmann, M. Weske: Using the π-Calculus for Formalizing Workflow Patterns. In Proceedings of BPM 2005, Nancy, France, September 2005, pp 153-168, Springer Verlag.
-
(2005)
Proceedings of BPM 2005
, pp. 153-168
-
-
Puhlmann, F.1
Weske, M.2
-
11
-
-
0030532165
-
A theory of bisimulation for the π-calculus
-
D. Sangiorgi: A theory of bisimulation for the π-calculus. In Acta Informatica 16(33): 69-97, 1996.
-
(1996)
Acta Informatica
, vol.16
, Issue.33
, pp. 69-97
-
-
Sangiorgi, D.1
-
13
-
-
34547355333
-
-
Preprint, School of Mathematical Sciences, January
-
H. Yang, X. Zhao, Z. Qiu, G. Pu, S. Wang: A Formal Model for Web Service Choreography Description Language (WS-CDL). Preprint, School of Mathematical Sciences, Peking University, January 2006. www.math.pku.edu.cn:8000/var/ preprint/7021.pdf
-
(2006)
A Formal Model for Web Service Choreography Description Language (WS-CDL)
-
-
Yang, H.1
Zhao, X.2
Qiu, Z.3
Pu, G.4
Wang, S.5
-
14
-
-
33845198195
-
-
Preprint # 4468, Faculty of IT, February
-
J. M. Zaha, A. Barros, M. Dumas, A. ter Hofstede: Lets Dance: A Language for Service Behavior Modeling. Preprint # 4468, Faculty of IT, Queensland University of Technology, February 2006. http://eprints.qut.edu.au/archive/ 00004468
-
(2006)
Lets Dance: A Language for Service Behavior Modeling
-
-
Zaha, J.M.1
Barros, A.2
Dumas, M.3
Ter Hofstede, A.4
-
15
-
-
35248894799
-
Service interaction modeling: Bridging global and local Views
-
Hong Kong
-
J. M. Zaha, M. Dumas, A. ter Hofstede, A. Barros, G. Decker: Service Interaction Modeling: Bridging Global and Local Views. In Proceedings of the 10th International EDOC Conference, Hong Kong, 2006.
-
(2006)
Proceedings of the 10th International EDOC Conference
-
-
Zaha, J.M.1
Dumas, M.2
Ter Hofstede, A.3
Barros, A.4
Decker, G.5
|