A CP-nets-based design and verification framework for web services composition

Proceedings - IEEE International Conference on Web Services

Volumn , Issue , 2004, Pages 756-760

  Yi, Xiaochuan ^a   Kochut, Krys J ^a  

^a University of Georgia ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONVERSATION PROTOCOLS; FINITE STATE MACHINES (FSM); WEB SERVICES; CP-NETS; FINITE STATE MACHINE (FSM) MODEL;

ALGORITHMS; CUSTOMER SATISFACTION; GRAPH THEORY; SEMANTICS; XML; COMPUTER SIMULATION; FINITE AUTOMATA; FLOW CONTROL; NETWORK PROTOCOLS; PATTERN RECOGNITION; SEARCH ENGINES;

WORLD WIDE WEB;

EID: 4944232556     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. "Web Services Description Language (WSDL) 1.1", W3C Note, 15 March 2001. http://www.w3.org/TR/wsdl
2. "Web Services Conversation Language 1.0 ",W3C Note, 14 March 2002. http://www.w3.org/TR/wscl10/
3. "Specification: Business Process Execution Language for Web Services Version 1.1", 05 May 2003. http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/
4. "Web Service Choreography Interface (WSCI) 1.0", W3C Note, 8 August 2002. http://www.w3.org/TR/wsci/
5. S. Chatterjee, J. Webber, "Developing Enterprise Web Services An Architect's Guide", Prentice Hall, 2004
6. C.A. Petri, "Communication with Automata", Grffiss Air Force Base Tech. Report RADC-TR-65-377, vol. 1, Suppl. 1, 1966
7. T. Murata, "Petri nets: Properties, analysis and applications", Proceedings of IEEE, vol 77, no 4, April 1989
8. J. L. Peterson, "Petri Net Theory and the Modeling of Systems", Prentice-Hall International, 1981.
9. K. Jensen, "Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use", Volume 1, 2 and 3, second edition, 1996
10. CPN tools. http://www.daimi.au.dk/CPNtools/
11. T. Bultan, X. Fu, R. Hull, and J.Su, "Conversation Specification: A New Approach to Design and Analysis of E-Service Composition", Proc. of Twelfth International World Wide Web Conference (WWW2003), 2003.
12. Xiang Fu, Tevfik Bultan, and Jianwen Su, "Analysis of Interacting BPEL Web Services", Proc. of the Thirteenth International World Wide Web Conference (WWW 2004).
13. H. Foster; S. Uchitel, J. Kramer, and J. Magee, "Model-Based Verification of Web Service Compositions", Automated Software Engineering (ASE) Conference 2003, Montreal, Canada, October 2003.
14. W.M.P. van der Aalst, "The Application of Petri Nets to Workflow Management", Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
15. X. Yi, and Krys J. Kochut, "A Framework for Web Services Composition Design and Verification", UGA Computer Science Technical Report, UGA-CS-TR-04-001. http://www.cs.uga.edu/~xyi/tr04001.pdf
16. T. Suzuki, S. M. Shatz, and T. A. Murata, "Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets", TSE 16(5): 523-536, 1990.
17. J. Billington, M. Diaz, G. Rozenberg (eds.), "Application of Petri nets to communication networks: advances in Petri nets", Lecture Notes in Computer Science, Springer, 1999.
18. S. Frølund, K. Govindarajan, cl: A Language for Formally Defining Web Services Interactions, HP Laboratories Palo Alto, HPL-2003-208, October 1st, 2003