BPEL2DENEB: Translation of BPEL processes to executable high-level petri nets

5th International Conference on Internet and Web Applications and Services, ICIW 2010

Volumn , Issue , 2010, Pages 496-505

  Fabra, Javier ^a   Álvarez, Pedro ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

BPEL; DENEB; High level petri nets; SOA

Indexed keywords

ARCHITECTURAL MODELS; BUSINESS EXECUTION LANGUAGES; BUSINESS PROCESS; HIGH-LEVEL PETRI NETS; PROCESS FLOWS; WEB PROCESS; WEB SERVICES TECHNOLOGIES;

GRAPH THEORY; INFORMATION SERVICES; INTERNET; LINGUISTICS; PETRI NETS; QUERY LANGUAGES; WEB SERVICES;

TRANSLATION (LANGUAGES);

EID: 77954493199     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIW.2010.81     Document Type: Conference Paper

References (33)

1. G. Alonso, F. Casati, H. Kuno, and V. Machiraju, Web Services: Concepts, Architectures and Applications. Springer, 2004.
2. WSDL specification - W3C. (2001). [Online]. Available: http://www.w3.org/TR/wsdl.
3. BPEL 2.0 specification - OASIS. (2007). [Online]. Available: http://docs.oasis-open.org/wsbpel/.
4. H. M. W. Verbeek, W. Van Der Aalst, and A. Kumar, "XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows," Inf. Technol. and Management, vol. 5, no. 1-2, pp. 65-110, 2004.
5. C. Ouyang, H. Verbeek, W. van der Aalst, S. Breutel, M. Dumas, and A. ter Hofstede, "WofBPEL/BPEL2PNML," in Tools Sessions in 2nd International Workshop on Web Services and Formal Methods - WS-FM05, 2005.
6. W. Song, X. Ma, C. Ye, W. Dou, and J. Lu, "Timed Modeling and Verification of BPEL Processes Using Time Petri Nets," in Ninth Int. Conf. on Quality Software, 2009, pp. 92-97.
7. J. Fabra, P. Álvarez, J. Bañares, and J. Ezpeleta, "A framework for the development and execution of horizontal protocols in open BPM systems," in 4th Int. Conf. on Business Process Management - BPM 2006, ser. LNCS. Springer Verlag, 2006, pp. 209-224.
8. J. Fabra, P. Álvarez, J. Bañares, and J. Ezpeleta, "Runtime Protocol Binding: Flexible Service Integration By Means Of Flexible Service Interactions," in 2008 Int. Conf. on Services Computing - SCC 2008, ser. LNCS. IEEE Computer Society Press, 2008, pp. 291-298.
9. BPEL2DENEB Project Homepage. (2010). [Online]. Available: http://www.jfabra.es/bpel2deneb/.
10. S. Hinz, K. Schmidt, and C. Stahl, "Transforming BPEL to Petri Nets," in International Conference on Business Process Management - BPM2005, ser. LNCS, vol. 3649. Springer, 2005, pp. 220-235.
11. C. Ouyang, E. Verbeek, W. van der Aalst, S. Breutel, M. Dumas, and A. ter Hofstede, "Formal semantics and analysis of control flow in WS-BPEL," Science of Computer Programming, vol. 67, no. 2-3, pp. 162-198, 2007.
12. N. Lohmann, E. Verbeek, C. Ouyang, C. Stahl1, and W. van der Aalst, "Comparing and Evaluating Petri Net Semantics for BPEL," International Journal of Business Process Integration and Management, vol. 4, no. 1, pp. 60-73, 2009.
13. Y. Yang, Q. Tan, J. Yu, and F. Liu, "Transformation of BPEL to CP-nets for verifying Web services composition," in International Conference on Next Generation Web Services Practices - NWeSP'05, 2005, pp. 22-26.
14. H. Dun, H. Xu, and L. Wang, "Transformation of BPEL Processes to Petri Nets," in Theoretical Aspects of Software Engineering, 2008, pp. 166-173.
15. A. Martens, "Analyzing Web Service Based Business Processes," in 8th International Conference on Fundamental Approaches to Software Engineering - FASE 2005, 2005, pp. 19-33.
16. Oracle BPEL Process Manager. (2009). [Online]. Available: http://www.oracle.com/technology/products/ias/bpel/.
17. IBM WebSphere Process Server. (2009). [Online]. Available: http://www-01.ibm.com/software/integration/wps/.
18. Microsoft BizTalk Server. (2009). [Online]. Available: http://www.microsoft.com/biztalk/.
19. ActiveBPEL. (2009). [Online]. Available: http://www.activevos.com/.
20. Apache Orchestration Director Engine (Apache ODE). (2008). [Online]. Available: http://ode.apache.org/.
21. J. E. Hanson, P. Nandi, and S. Kumaran, "Conversation support for business process integration," in Sixth International Enterprise Distributed Object computing Conference - EDOC'02. IEEE Computer Society, 2002, p. 65.
22. O. Kummer, "Introduction to Petri nets and reference nets," Sozionik Aktuell, vol. 1, pp. 1-9, 2001.
23. J. Billington, S. Christensen, K. M. van Hee, E. Kindler, O. Kummer, and L. Petrucci, "The Petri Net Markup Language: Concepts, Technology, and Tools," in International Conference on Applications and Theory of Petri Nets, ser. LNCS, vol. 2679. Springer, 2003, pp. 483-505. (Pubitemid 137638402)
24. O. Kummer, F. Wienberg, M. Duvigneau, M. Köhler, D. Moldt, and H. Rölke, "Renew - the Reference Net Workshop," in Tool Demonstrations. 24th International Conference on Application and Theory of Petri Nets - ATPN 2003, Jun. 2003, pp. 99-102.
25. L. Cabac, M. Duvigneau, D. Moldt, and H. Rölke, "Modeling Dynamic Architectures Using Nets-Within-Nets," in International Conference on Applications and Theory of Petri Nets, ser. LNCS, vol. 3536. Springer, 2005, pp. 148-167.
26. D. Moldt, S. Offermann, and J. Ortmann, "A Petri Net-Based Architecture for Web Services," in Workshop on Service- Oriented Computing and Agent-Based Engineering - SOCABE 2005, 2005, pp. 33-40.
27. J. Fabra, P. Álvarez, J. A. Bañares, and J. Ezpeleta, "RLinda: a Petri net based implementation of the Linda coordination paradigm for Web services interactions," in 7th Int. Conf. on Electronic Commerce and Web Technologies - EC-Web'06, ser. LNCS, vol. 4082. Springer Verlag, 2006, pp. 183-192.
28. J. Fabra, P. Álvarez, and J. Ezpeleta, "DRLinda: A Distributed Message Broker For Collaborative Interactions Among Business Processes," in 8th Int. Conf. on Electronic Commerce and Web Technologies - EC-Web'07, ser. LNCS, vol. 4655. Springer Verlag, 2007, pp. 212-221.
29. K. Bals, "Extensible Stylesheet Language (XSL) Requirements Version 2.0," World Wide Web Consortium, Working Draft WD-xslfo20-req-20080326, March 2008.
30. SAXON: XSLT and XQuery processing. (2009). [Online]. Available: http://www.saxonica.com/.
31. U. Dogrusoz, Q. Feng, B. Madden, M. Doorley, and A. Frick, "Graph visualization toolkits," IEEE Computer Graphics and Applications, vol. 22, pp. 30-37, 2002.
32. N. Palmer, "Understanding the BPMN-XPDL-BPEL Value Chain," Business Integration Journal, no. November/December 2006, pp. 54-55, 2006. [Online]. Available: http://www.wfmc.org/documents/palmer.BIJ.novdec06.pdf.
33. F. Jouault and I. Kurtev, "Transforming Models with ATL," in MoDELS Satellite Events, ser. LNCS, vol. 3844. Springer, 2005, pp. 128-138.