QoS-driven service composition modeling with extended hierarchical CPN

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

Volumn , Issue , 2007, Pages 483-491

  Li, Wen Jun ^a   Liang, Xiao Jun ^a   Song, Hua Mei ^a   Zhou, Xiao Cong ^a  

^a SUN YAT SEN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; HIERARCHICAL SYSTEMS; OBJECT ORIENTED PROGRAMMING; QUALITY OF SERVICE; RESOURCE ALLOCATION;

SERVICE COMPOSITION MODELS; SERVICE-ORIENTED ARCHITECTURE (SOA);

PETRI NETS;

EID: 34548842464     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2007.39     Document Type: Conference Paper

References (21)

1. B. Srivastava and J. Koehler, "Web Service Composition: Current Solution and Open Problems", ICAPS 2003 Workshop on Planning for Web Services, 2003. http://www.zurich.ibm.com/pdf/ebizz/icaps-ws.pdf
2. T. Andrews, F. Curbera, H. Dholakia, et al, "Business Process Execution Language for Web Services (BPEL4WS), Version 1.1", February 2005. http://www-128.ibm.com/developerworks/library/specification/ws-bpel/
3. W3C. "Web Service Choreography Interface (WSCI), Version 1.0", August 2002. http://www.w3.org/TR/wsci/
4. R. Hamadi and B. Benatallah, "A Petri Net-based Model for Web Service Composition". Conferences in Research and Practice in Information Technology, Vol.17, 2003.
5. Y. Tang, L. Chen, K. T. He and N. Jing, "SRN: An Extended Petri-Net-Based Workflow Model for Web Service Composition", IEEE International Conference on Web Services (ICWS'04), June 2004, San Diego, California, USA, pp. 591-599.
6. Y. Yang, Q. Tan, Y. Xiao, F. Liu and J. Yu, "Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification", LNCS 3841, 2006, pp. 275-284.
7. Y. Yang, "Verifying Web Services Composition Based on Hierarchical Colored Petri Nets", ACM 2005, pp. 47-54.
8. Y. Yang, Q. Tan, Y. Xiao, J. Yu and F. Liu, "Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow", International Symposium on Applications and the Internet (SAINT'06), 2006, pp. 116-122.
9. Hashemian, S.V., Mavaddat, F. "A Graph-Based Framework for Composition of Stateless Web Services", the 4th European Conference on Web Services (ECOWS'06), 2006, pp. 75-86.
10. L. Bao, W.S. Zhang and X.G. Zhang, "Describing and Verifying Web Service Using CCS", Conference on the Seventh International Parallel and Distributed Computing, Applications and Technologies (PDCAT '06), 2006, pp. 421-426.
11. Y. Liu, A. Ngu and L. Zeng, "QoS Computation and Policing in Dynamic Web Service Selection", 13th International World Wide Web Conference (WWW'2004), May 2004, pp. 66-73.
12. P. Fedosseev, "Composition of Web Services and QoS Aspects", Seminar: Data Communication and Distributed Systems, WS 2003/2004, 2004. http://www-4.informatik.rwth-aachen.de/content/teaching/seminars/sub/ 2003_2004_ws_docs/WebServices.pdf
13. C. Petri, "Kommunikation mit Automaten", PhD thesis, University of Bonn, Germany, 1962.
14. K. Jensen, "An Introduction to the Theoretical Aspects of Coloured Petri Nets", LNCS 803, 1993, pp. 230-272.
15. W. Li, D. Chen, and Y. Wen, "A Dynamic QoS Driven Approach to GIS Grid Services Selector", 1st International Conference on Semantics, Knowledge and Grid (SKG'05), November 2005, pp. 40-47.
16. Dongsheng Liu et al, "Modeling workflow processes with colored Petri nets", Computers in Industry 49(2002) 267-281.
17. K. Jensen, "An Introduction to the Practical Use of Coloured Petri Nets", LNCS1492, 1996, pp. 237-292.
18. M. Mecella, F. Presicce, B. Pernici, et al, "Modeling E-Service Orchestration through Petri Nets", TES 2002, LNCS 2444, pp. 38-47.
19. A. Schömig and H. Rau, "A Petri Net Approach for the Performance Analysis of Business Process", Research Report Series, Institute of Computer Science, University of Würzburg, May 1995.
20. X. Yi and K. Kochut, "A CP-Nets-based Design and Verification Framework for Web Services Composition", IEEE International Conference on Web Services (ICWS'04), June 2004, San Diego, California, USA, pp. 756-760.
21. W. Emmerich and V. Gruhn, "FUNSOFT Nets: A Petri-Net based Software Process Modeling Language", 13th International Conference on Software Engineering (ICSE'91), 1991, pp. 175-184.