toppi's ws-bpel [10 articles] Export

Recent papers added to toppi's library classified by the tag ws-bpel. You can also see everyone's ws-bpel.

	Analysis of interacting BPEL web services [My Copy] In WWW '04: Proceedings of the 13th international conference on World Wide Web (2004), pp. 621-630. by Xiang Fu, Tevfik Bultan, Jianwen Su posted to webservice ws-bpel ws-composition by toppi on 2008-05-04 10:43:23 as along with 1 person jfischer
	Behavioral Constraints for Services [My Copy] Business Process Management (2007), pp. 271-287. by Niels Lohmann, Peter Massuthe, Karsten Wolf posted to webservice ws-bpel by toppi on 2008-05-04 10:28:57 as along with 1 group FM_SOA
	Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services [My Copy] Web Services, 2006. ECOWS '06. 4th European Conference on In Web Services, 2006. ECOWS '06. 4th European Conference on (2006), pp. 297-305. by W. L. Yeung posted to csp ws-bpel ws-cdl by toppi on 2008-02-22 05:11:45 as along with 1 group SRG Reading Room
	A Framework for Generic Error Handling in Business Processes [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Vol. 105 (10 December 2004), pp. 133-145. by Manuel Mazzara, Roberto Lucchi posted to bpel exception webservice ws-bpel by toppi on 2008-01-22 15:58:48 as
	A pi-calculus based semantics for WS-BPEL [My Copy] Journal of Logic and Algebraic Programming In Web Services and Formal Methods, Vol. 70, No. 1. (January 2007), pp. 96-118. by Roberto Lucchi, Manuel Mazzara posted to pi-calculus webservice ws-bpel by toppi on 2007-12-27 03:52:14 as along with 1 person japarejo
	From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL [My Copy] On the Move to Meaningful Internet Systems 2005: OTM Workshops (2005), pp. 506-515. by Jan Mendling, Michael Hafner posted to projection webservice ws-bpel ws-cdl by toppi on 2007-12-27 02:24:30 as along with 1 group FM_SOA
	Achieving survivability in business process execution language for Web services (BPEL) with exception-flows [My Copy] e-Technology, e-Commerce and e-Service, 2005. EEE '05. Proceedings. The 2005 IEEE International Conference on (2005), pp. 68-74. by C. K. Fung, P. C. K. Hung, D. H. Folger posted to exception ws-bpel by toppi on 2007-10-10 03:58:47 as along with 1 person alexei
	Formal semantics and analysis of control flow in WS-BPEL [My Copy] Science of Computer Programming, Vol. 67, No. 2-3. (1 July 2007), pp. 162-198. by Chun Ouyang, Eric Verbeek, Wil M. van der Aalst, Stephan Breutel, Marlon Dumas, Ter posted to ws-bpel by toppi on 2007-10-10 03:52:19 as along with 2 people and 1 group benavides segura tdg
	Life After BPEL? [My Copy] Formal Techniques for Computer Systems and Business Processes (2005), pp. 35-50. by W. M. P. Aalst, M. Dumas, A. H. M. Hofstede, N. Russell, H. M. W. Verbeek, P. Wohed posted to criticism webservice ws-bpel by toppi on 2007-10-10 03:42:23 as along with 2 people and 2 groups moborg pautasso FM_SOA Service Composition
	CSP-Based Verification for Web Service Orchestration and Choreography [My Copy] SIMULATION, Vol. 83, No. 1. (1 January 2007), pp. 65-74. by W. L. Yeung posted to csp ws-bpel ws-cdl by toppi on 2007-10-08 13:46:09 as along with 2 groups FM_SOA SRG Reading Room

Note: You may cite this page as: http://www.citeulike.org/user/toppi/tag/ws-bpel

exception	27
webservice	19
fault-tolerant	11
business_contract	10
choreography	10
ws-bpel	10
coordinated	9
business_process	8
concurrent	7
programming_language	5
bpel	4
csp	4
ws-cdl	4
channel-passing	3
cooperative	3
workflow	3
artifact	2
bpm	2
distributed-system	2
formalmethod	2
ibm	2
interface	2
java	2
msc	2
pi-calculus	2
research_trend	2
scope	2
soa	2
software_engineering	2
verification	2
ws-composition	2
agent	1
algorithm	1
business_transaction	1
case	1
checking	1
computerlanguage	1
contract	1
correctness_by_construction	1
criticism	1
econtract	1
event-based	1
formal	1
global	1
guardian	1
handling	1
icse	1
industry_work	1
method	1
mobile-process	1
mobility	1
model	1
net	1
projection	1
realizability	1
real-time	1
service	1
social-network	1
software_process	1
survey	1
testing	1
top-down	1
transaction	1
uddi	1
web	1
web20	1
wsdl	1

toppi's ws-bpel [10 articles] Export

toppi's tags