WS-Net: A Petri-net based specification model for web services

Proceedings - IEEE International Conference on Web Services

Volumn , Issue , 2004, Pages 420-427

  Zhang, Jia ^a   Chang, Carl K ^b   Chung, Jen Yao ^c   Kim, Seong W ^d  

^a NORTHERN ILLINOIS UNIVERSITY   (United States)

^b Iowa State University   (United States)

^c IBM T J WATSON RESEARCH CENTER   (United States)

^d Samsung Advanced Institute of Technology (SAIT)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COLORED PETRI-NET (CPN); WEB SERVICE INTEGRATION; WEB SERVICES; WEB SERVICES DESCRIPTION LANGUAGES (WSDL); BUSINESS TRANSACTIONS; SERVICE-ORIENTED SYSTEM; TRIGGERING;

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; INTERFACES (COMPUTER); MATHEMATICAL MODELS; PETRI NETS; SOFTWARE ENGINEERING; TOPOLOGY; WORLD WIDE WEB; COMPUTER SOFTWARE; ELECTRONIC COMMERCE; INTEGRATION; INTERNET; SERVERS;

TELECOMMUNICATION SERVICES; WORLD WIDE WEB;

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

References (18)

1. 3. A Petri-Net Based Specification Method for Architectural Components", Proceedings of IEEE 23th Annual International Computer Software and Applications Conference (COMPSAC'99), Phoenix, AR, USA, Oct. 25-26, 1999, pp. 396-402.
2. Design/CPN Reference Manual for X-Windows Version 2.0, Meta Software Corporation, 1993.
3. X. Gao, J. Yang, and M.P. Papazoglou, "The Capability Matching of Web Services", Proceedings of the IEEE International Symposium on Multimedia Software Engineering (MSE'02), Newport Beach, CA, USA, Dec. 11-13, 2002, pp. 56-63.
4. The American Heritage Dictionary of the English Language, 4th edition, Houghton Mifflin Company, 2000.
5. W.J. van den Heuvel, J. Yang, and M. Papazoglou, "Service Representation, Discovery and Composition for E-marketplaces", Proceedings of the 6th International Conference on Cooperative Information Systems (COOPIS'01), Trento, Italy, Sep. 5-7, 2001.
6. IBM Corporation, "Business Process Execution Language for Web Services (BPEL4WS)," Version 1.0, 2002.
7. K. Jensen, "Coloured Petri Nets: A High Level language for System Design and Analysis", Lecture Notes in Computer Science, Advances in Petri Nets, 1990.
8. F. Leymann, "Web Services Flow Language (WSFL 1.0)," IBM Corporation, 2001.
9. V. Pinci and R. Shapiro, "An Integrated Software Development Methodology based on Hierarchical Colored Petri Nets", Lecture Nets in Computer Science, Advances in Petri Nets, 1990, pp. 227-252.
10. D. Ross, "Application and extensions of SADTT", IEEE Computer, 11(4), Apr. 1984, pp. 25-35.
11. M. Shaw, R. DeLine, D.V. Klein, T.L. Ross, D.M. Young, and G. Zelesnik, "Abstractions for Software Architecture and Tools to Support Them", IEEE Transactions on Software Engineering, Special Issue on Software Architecture, 21(4), Apr. 1995.
12. http://www.w3.org/TR/SOAP, accessed on Oct. 25, 2003.
13. Sun Microsystems, "Web Service Choreography Interface (WSCI)," Version 1.0, 2002.
14. S. Thatte, "XLANG - Web Services for Business Process Design," Microsoft Corporation, 2001.
15. W. Trattnig and H. Kerner-, "EDDA- A Very High-level Programming and Specification Language in the Style of SADT", Proceedings of IEEE Annual InternationalComputer Software and Applications Conference (COMPSAC'80), Oct. 1980, pp. 436-443.
16. A. Tsalgatidou and T. Pilioura, "An Overview of Standards and Related Technology in Web Services", Distributed and Parallel Databases, 12, 2002, pp. 135-162.
17. http://www.w3.org/TR/wsdl. accessed on Oct. 25, 2003.
18. .B. McLaughlin and M. Loukides, Java and XML, O'Reilly Java Tools, 2001.