References
- 1 Ai, L., Tang, M., & Fidge, C. (2011) Partitioning composite Web services for decentralized execution using a genetic algorithm penalty-based genetic algorithm. Future Generation Computer Systems 27(3), pp 157–172.
- 2 Cardinale, Y., & Rukoz, M. (2011) A framework for reliable execution of transactional composite Web services. Proceedings of the International Conference on Management of Emergent Digital Ecosystems, New York, USA, pp 129–136.
- 3 Chen, S., Feng, Z., & Wang, H. (2010) Service Relations and Its Application in Services Oriented Computing. Chinese Journal of Computers 33(11), pp 2068–2083.
- 4 Codehaus. xfire. Retrieved from the World Wide Web January 5, 2015: http://xfire.codehaus.org/.
- 5 Darmstadt, C. R., Kuntze, N., & Velikova, Z. (2009) Secure Web Service Workflow Execution. Electronic Notes in Theoretical Computer Science (ENTCS) 236, pp 33–46.
- 6 Ding, Z., Wang, J., & Jiang, C. (2008) An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web service. Journal of Information Science and Engineering 24(5), pp 1309–1328.
- 7 Jordan, D., & Evdemon, J. (2007) Web services Business Process Execution Language Version 2.0[DB/OL]. Retrieved from the World Wide Web January 5, 2015:
- 8 Jüngel, E. K., & Weber, M. (2000) The Petri net markup language. Petri Net Newsletter 59, pp 24–29.
- 9 Kang, Z., Wang, H., & Hung, P. CK. (2007) WS-CDL+: An Extended WS-CDL Execution Engine for Web service Collaboration. In IEEE International Conference on Web Services (ICWS 2007).
- 10 Kang, Z., Wang, H., & Hung, P. CK. (2007) WS-CDL+ for Web service Collaboration. Information Systems Frontiers 9(4), pp 375–389.
- 11 Lapadula, A., Pugliese, R., & Tiezzi, F. (2007) A Calculus for Orchestration of Web Services. In Programming Languages and Systems, LNCS, 4421, pp 33–47.
- 12 Ma, B., Xiang, D., & Zhang, Z. (2013) Automatic Generation of Petri Net for Web services Composition. Journal of Chinese Computer Systems 34(2), pp 332–337.
- 13 Ma, B., & Xie, N. (2010) From OWL-S to PNML+OWL for Semantic Web Services. Second International Conference on Computer Modeling and Simulation, Sanya, China, pp 326–328.
- 14 Ma, B., & Xu, Y. (2009) Integrating PNML with OWL for Petri Nets. 2nd IEEE International Conference on Computer Science and Information Technology, pp 228–230.
- 15 McGuinness, D., & van Harmelen, F. (2011) OWL Web Ontology Language Overview [DB/ OL]. Retrieved from the World Wide Web January 5, 2015: http://www.w3.org/TR/owl-features/
- 16 Mendes, R., & Paulo, F. P. (2009) WebFlowAH:An Environment for Ad-Hoc Specification and Execution of Web Services-based Processes. Proceedings of the 2009 ACM symposium on Applied Computing, New York, USA, pp 692–693.
- 17 Narendra, N. C., & Orriens, B. (2007) Modeling Web service composition and execution via a requirements-driven approach. In Proceedings of the ACM Symposium on Applied Computing (SAC), Seoul, Korea, pp1642–1648.
- 18 Park, C., & Park, S. (2008) Efficient execution of composite Web services exchanging intentional data. Information Sciences 178(2), pp 317–339.
- 19 Suzumura, T., Trent, S., Tatsubori, M., Tozawa, A., & Onodera, T. (2008) Performance Comparison of Web Service Engines in PHP, Java and C. IEEE International Conference on Web Service (ICWS), pp 385 – 392.
- 20 Tan, W., Fan, Y., Zhou, M., & Tian, Z. (2010) Data-Driven Service Composition in Enterprise SOA Solutions: A Petri Net Approach. IEEE Transactions on Automation Science and Engineering 7(3), pp 686–694.
- 21 Tang, X., Jiang, C., Ding, Z., & Wang, C. (2007) A Petri Net-Based Semantic Web Service Automatic Composition Method. Journal of Software 18(12), pp 2991–3000.
- 22 Tang, X., Jiang, C., & Zhou, M. (2011) Automatic Web service composition based on Horn clauses and Petri nets. Expert Systems with Applications 38(10), pp 13024–13031.
- 23 Tsamoura, E., Gounaris, A., & Manolopoulos, Y. (2011) Decentralized execution of linear workflows over Web services. FutureGenerComput System, 27(3), pp 341–347.
- 24 Valero, V., Cambronero, M. E., Díaz, G., et al. (2009) Petri net approach for the design and analysis of Web Services Choreographies. The Journal of Logic and Algebraic Programming 78, pp 359–380.
- 25 Wang, Y., Dai, G., Hou, Y., Fang, J., & Ren, X. (2009) Verification of Web Service Orchestration Based on Concurrent Transaction Logic. Chinese Journal of Electronics 37(10), pp 2228–2233.
- 26 Xiang, D., Ma, B., & Zhang, Z. (2012) Automatic Sharing Synthesis of Petri Nets Based on Semantic. Journal of System Simulation 24(11), pp 2237–2242.
- 27 Xiong, P., Fan, Y., & Zhou, M. (2010) A Petri Net Approach to Analysis and Composition of Web Services. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 40(2), pp 376–387.
- 28 Yu, W. (2007) Peer-to-Peer Execution of BPEL Processes. The 19th International Conference on Advanced Information Systems Engineering, CAISE:Trondheim, Norway.