On the Modeling of Correct Service Flows with BPEL4WS

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-56, Issue , 2004, Pages 117-128

  Reichert, Manfred ^a   Rinderle, Stefanie ^a   Dadam, Peter ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

WEBSITES;

BPEL4WS; BUSINESS APPLICATIONS; COMPOSITION LANGUAGES; CROSS-ORGANIZATIONAL; INPUT DATAS; MISSING INPUTS; PROCESS-ORIENTED; SERVICE FLOWS; SERVICE OPERATIONS; WEBS SERVICES;

WEB SERVICES;

EID: 33750006386     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. G. Alonso, F. Casati et al: Web Services, Springer, 2004
2. T. Andrews et al: Business Process Execution Language for Web Services, V. 1.1, May 2003
3. F. Breugel, M. Koshkina: Verification of business processes for web services. Technical Report CS-2003-11, York University, Ontario, CA
4. S. Chandrasekaran: Composition, performance analysis and simulation of web services. Master thesis, University of Georgia, USA, 2003
5. th Australasian Database Conference, Adelaide, Australia, 2003.
6. A. ter Hofstede, M. Orlowska, J. Rajapakse: Verification problems in conceptual workflow specifications. Data & Knowledge Engineering, 24(3):239-256, 1998
7. B. Kiepuszewski, A. ter Hofstede, C. Bussler: On structured workflow modeling. Proc. CAiSE'00, Stockholm, June 2000, LNCS 1789, pp. 431-445.
8. R. Khalaf, N. Mukhi, S. Weerawarana: Service-oriented composition in BPEL4WS. Proc. WWW'03, Budapest, May 2003
9. A. Martens: Analysis and reengineering of Web Services. Proc. ICEIS'04, Porto, 2004
10. th Int'l Conf. World Wide Web, 2002
11. flex - Supporting Dynamic Changes of Workflows Without Losing Control. JIIS, 10(2):93-129, 1998
12. M. Reichert, S. Rinderle, P. Dadam: On the Common Support of Workflow Type and Instance Changes Under Correctness Constraints. Proc. CoopIS'03, Nov. 2003
13. P. Wohed, W.M.P. van der Aalst, M. Dumas, A. ter Hofstede: Pattern Based Analysis of BPEL4WS. TR FIT-TR-2002-04, Queensland University of Technology, Australia