A petri net approach to mediation-aided composition of web services

IEEE Transactions on Automation Science and Engineering

Volumn 9, Issue 2, 2012, Pages 429-435

  Du, Yanhua ^a   Li, Xitong ^b   Xiong, Pengcheng ^c  

^a UNIVERSITY OF SCIENCE AND TECHNOLOGY BEIJING   (China)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c Georgia Institute of Technology   (United States)

Author keywords

Compatibility verification; mediation transition; mediation aided composition; modular reachability graph; prototype system

Indexed keywords

MEDIATION TRANSITION; PROTOTYPE SYSTEM; REACHABILITY GRAPHS; RULE-BASED TECHNIQUES; STATE-SPACE EXPLOSION; WORKFLOW NETS;

PETRI NETS; WEB SERVICES;

WEBSITES;

EID: 84862800188     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2012.2188511     Document Type: Article

References (23)

1. M. Carman, L. Serafini, and P. Traverso, "Web service composition as planning," in Proc. Int. Conf. ICAPS, 2003, pp. 45-51.
2. X. Tang, C. Jiang, and M. Z. Zhou, "Automatic Web service composition based on Horn clauses and Petri nets," Expert Systems With Applications, vol. 38, no. 10, pp. 13024-13031, 2011.
3. R. Hamadi and B. Benatallah, "A Petri net-based model forWeb service composition," in Proc. Int. Conf. ADC, 2003, pp. 191-200.
4. J. M. Mendes, P. Leitão, F. Restivo, and A. W. Colombo, "Composition of Petri nets models in service-oriented industrial automation," in Proc. 8th Int. Conf. INDIN, 2010, pp. 578-583.
5. H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Compatibility verification for web service choreography," in Proc. Int'l Conf. ICWS, 2004, pp. 738-741.
6. P. Xiong, Y. Fan, and M. Z. Zhou, "Web service configuration under multiple quality-of-service attribute," IEEE Transactions on Automation Science and Engineering, vol. 6, no. 2, pp. 311-321, 2009.
7. A. J. Mooij and M. Voorhoeve, "Proof techniques for adapter generation," in Proc. 5th Int. Conf. WS-FM , 2008, pp. 207-223.
8. K. W. S. Wang, "Interface Adaptation for Conversational Services," Ph.D., Faculty of Information Technology, Queensland University of Technology., Brisbane, Australia, 2008.
9. W. Tan, Y. S. Fan, and M. C. Zhou, "A Petri net-based method for compatibility analysis and composition ofWeb services in business process execution language," IEEE Transactions on Automation Science and Engineering., vol. 6, no. 1, pp. 94-106, 2009.
10. X. Li, Y. Fan, S. Madnick, and Q. Z. Sheng, "A pattern-based approach to protocol mediation for web service composition," Information and Software Technology, vol. 52, no. 3, pp. 304-323, 2010.
11. N. Guermouche, O. Perrin, and C. Ringeissen, "A mediator based approach for services composition," in Proc. 6th Int. Conf. SERA, 2008, pp. 273-280.
12. H. R. M. Nezhad, G. Y. Xu, and B. Benatallah, "Protocol-aware matching of web service interfaces for adapter development," in Proc. Int. Conf. WWW, 2010, pp. 731-740.
13. A. A. Bachir and M. C. Fauvet, "Diagnosing and measuring incompatibilities between pairs of services," in Proc. 20th Int. Conf. DEXA, 2009, pp. 229-243.
14. Z. Zhou, S. Bhiri, H. Zhuge, and M. Hauswirth, "Assessing service protocol adaptability based on protocol reduction and graph search," Concurrency and Computation: Practice and Experience, vol. 23, no. 9, pp. 880-904, 2011.
15. C. Canal, P. Poizat, and G. Salaun, "Model-based adaptation of behavioral mismatching components," IEEE Transactions on Software Engineering, vol. 34, no. 4, pp. 546-563, 2008.
16. L. Niels, M. Peter, S. Christian, and W. Daniela, "Analyzing interacting WS-BPEL processes using flexible model generation," Data & Knowledge Engineering, vol. 64, no. 1, pp. 38-54, 2008.
17. C. Sqren and P. Laure, "Modular analysis of Petri nets," The Computer Journal, vol. 43, no. 3, pp. 224-242, 2000.
18. J. Y. Jung, J. Park, S. K. Han, and K. Lee, "An ECA-based framework for decentralized coordination of ubiquitous web services," Information and Software Technology, vol. 49, no. 5, pp. 1141-1161, 2007.
19. Y. Du, Y. Fan, and X. Li, "Verifying service composition based on modular reachability graph and generating BPEL codes," Journal of Software, vol. 21, no. 8, pp. 1810-1819, 2010.
20. eBay developers Program, 2006. [Online]. Available: http://developer. ebay.com/DevZone/XML/docs/Web-Help/Checkout-Third-Party-Checkout.html
21. BPEL2oWNF, 2007. [Online]. Available: http://www.gnu.org/software/ bpel2owfn
22. PIPE, 2005. [Online]. Available: http://www.pipe2.sourceforge.net/
23. Y. Du, P. Xiong, Y. Fan, and X. Li, "Dynamic checking and solution to temporal violations in concurrent workflow processes," IEEE Trans. Syst., Man,Cybern.: Part A, vol. 41, no. 6, pp. 1166-1181, 2011.