SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Lecture Notes in Computer Science

Volumn 3582, Issue , 2005, Pages 350-365

Semantics of BPEL4WS-like fault and compensation handling

(4) Qiu, Zongyan a Wang, Shuling a Pu, Geguang a Zhao, Xiangpeng a

a PEKING UNIVERSITY (China)

Author keywords

BPEL4WS; Business Process; Com pensation handling; Fault handling; Language; Semantics

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE;

BPEL4WS; BUSINESS PROCESS; COMPENSATION HANDLING; FAULT HANDLING; LANGUAGE;

SEMANTICS;

EID: 26444507906 PISSN: 03029743 EISSN: None Source Type: Conference Proceeding
DOI: 10.1007/11526841_24 Document Type: Conference Paper

Times cited : (64)

References (12)

1
- 0142157001
- Analysis of web services composition languages: The case of BPEL4WS
- Springer
- W. Aalst, M. Dumas, and A. Hofstede, and P. Wohed, Analysis of web services composition languages: the case of BPEL4WS. LNCS 2813, pp. 200-215. Springer, 2003.
- (2003) LNCS , vol.2813 , pp. 200-215
- Aalst, W.¹ Dumas, M.² Hofstede, A.³ Wohed, P.⁴

2
- 0344118797
- A calculus for long-running transactions
- Springer
- L. Bocchi, C. Laneve, and G. Zavattaro. A calculus for long-running transactions. Proc. of FMOODS'03, LNCS 2884, PP. 124-138. Springer, 2003.
- (2003) Proc. of FMOODS'03, LNCS , vol.2884 , pp. 124-138
- Bocchi, L.¹ Laneve, C.² Zavattaro, G.³

3
- 0003810353
- S. Thatte. XLANG: Web Service for Business Process Design, http:www.gotdotnt.com/team/xmlwsspecs/xlang-c/default.html.
- XLANG: Web Service for Business Process Design
- Thatte, S.¹

4
- 0004002694
- F. Leymann. WSFL: Web Serices Flow Languag, http://www-3.ibm.com/ software/solutions/webservices/pdf/WSDL.pdf.
- WSFL: Web Serices Flow Languag
- Leymann, F.¹

5
- 0038315923
- BPEL4WS, Business Process Execution Language for Web Service, http://www.siebel.com/bpel, 2003.
- (2003) Business Process Execution Language for Web Service

6
- 26944481746
- Theoritical foundations for compensation in flow composition languages
- ACM
- Roberto Bruni, Hernán Melgratti, and Ugo Montanari, Theoritical foundations for compensation in flow composition languages, POPL'05, ACM, 2005.
- (2005) POPL'05
- Bruni, R.¹ Melgratti, H.² Montanari, U.³

7
- 33646122491
- An operational semantics for StAC, a language for modelling long-running business transactions
- Springer
- M. Butler and C. Ferreira. An operational semantics for StAC, a language for modelling long-running business transactions. LNCS 2949, pp. 87-104. Springer, 2004.
- (2004) LNCS , vol.2949 , pp. 87-104
- Butler, M.¹ Ferreira, C.²

8
- 84976721251
- Sagas
- ACM Press
- H. Garcia-Molina and K. Salem. Sagas, Proc. of ACM SIGMOD'87, pp. 249-259. ACM Press, 1987.
- (1987) Proc. of ACM SIGMOD'87 , pp. 249-259
- Garcia-Molina, H.¹ Salem, K.²

9
- 0003851050
- Morgan Kaufmann
- J. Gay and A. Reuter. Transaction Processing: Concepts and techniques, Morgan Kaufmann, 1993.
- (1993) Transaction Processing: Concepts and Techniques
- Gay, J.¹ Reuter, A.²

10
- 10444263947
- A framework for generic error handling in business processes
- Elsevier
- M. Mazzara and R. Lucchi. A framework for generic error handling in business processes. Proc. WS-FM'04, ENTCS Vol. 105, pp. 133-145, Elsevier, 2004.
- (2004) Proc. WS-FM'04, ENTCS , vol.105 , pp. 133-145
- Mazzara, M.¹ Lucchi, R.²

11
- 0004062181
- PhD thesis, Dept. of Electrical Eng. and Computer Sci., MIT
- J. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, Dept. of Electrical Eng. and Computer Sci., MIT, 1981.
- (1981) Nested Transactions: An Approach to Reliable Distributed Computing
- Moss, J.¹

12
- 10444274353
- Towards a formal foundation to orchestration languages
- Elsevier
- M. Viroli. Towards a formal foundation to orchestration languages. Proc. of WS-FM'04, ENTCS Vol. 105, pp. 51-71, Elsevier, 2004.
- (2004) Proc. of WS-FM'04, ENTCS , vol.105 , pp. 51-71
- Viroli, M.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.