From BPEL processes to YAWL workflows

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4184 LNCS, Issue , 2006, Pages 107-122

  Brogi, Antonio ^a   Popescu, Razvan ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; SEMANTICS; TELECOMMUNICATION SERVICES; WORLD WIDE WEB;

FORMAL SEMANTICS; WEB SERVICES; WORKFLOWS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33845227818     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841197_7     Document Type: Conference Paper

References (12)

1. J. Arias-Fisteus, L. S. Fernández, and C. D. Kloos. Formal Verification of BPEL4WS Business Collaborations. In K. Bauknecht, M. Bichler, and B. Pröll, editors, EC-Web, volume 3182 of LNCS, pages 76-85. Springer, 2004.
2. BPEL4WS Coalition. Business Process Execution Language for Web Services (BPEL4WS) Version 1.1. (ftp://www6.software.ibm.com/software/developer/ library/ws-bpel.pdf).
3. A. Brogi and R. Popescu. Service Adaptation through Trace Inspection. In S. Gagnon, H. Ludwig, M. Pistore, and W. Sadiq, editors, Proceedings of SOBPI'05, pages 44-58, 2005. (http://elab.njit.edu/sobpi/sobpi05-proceedings. pdf).
4. A. Brogi and R. Popescu. Towards Semi-automated Workflow-Based Aggregation of Web Services. In B. Benatallah, F. Casati, and P. Traverso, editors, ICSOC'05, volume 3826 of LNCS, pages 214-227. Springer, 2005.
5. S. Hinz, K. Schmidt, and C. Stahl. Transforming BPEL to Petri Nets. In W. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Proceedings of the Third International Conference on Business Process Management (BPM 2005), volume 3649 of LNCS, pages 220-235, Nancy, France, Sept. 2005. Springer-Verlag.
6. M. Koshkina and F. van Breugel. Verification of business processes for Web services. Technical Report CS-2003-11, York University, October 2003. (http://www.cs.yorku.ca/techreports/2003/CS-2003-11.ps).
7. C. Ouyang, E. Verbeek, W. M. van der Aalst, S. Breutel, M. Dumas, and A. H. ter Hofstede. Formal Semantics and Analysis of Control Flow in WS-BPEL. Technical Report 2174, Queensland University of Technology, February 2006. Available from: http://eprints.qut.edu.au/archive/00002174/01/BPM-05-15.pdf.
8. OWL-S Coalition. OWL-S: Semantic Markup for Web Services Version 1.1. (http://www.daml.org/services/owl-s/1.1/overview/).
9. M. P. Papazoglou and D. Georgakopoulos. Service-Oriented Computing. Communication of the ACM, 46(10):24-28, 2003.
10. W. M. P. van der Aalst and A. H. M. ter Hofstede. YAWL: Yet Another Workflow Language. Inf. Syst., 30(4):245-275, 2005.
11. W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros. Workflow Patterns. Distrib. Parallel Databases, 14(1):5-51, 2003.
12. WSDL Coalition. Web Service Description Language (WSDL) version 1.1. (http://www.w3.org/TR/wsdl).