Skip to main content
SpringerLink
Log in

Formalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net

  • Conference paper
Grid and Cooperative Computing (GCC 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3032))

Included in the following conference series:

Abstract

Recently Web Service has become a hot spot. Its main idea is to integrate a group of services to construct new value-added Web Service-based systems, which run on the World-Wide-Web. It’s necessary to get formalizing and modeling techniques and graphic tools for reliable Web Service and its application construction. In this paper, an approach to formalizing Web Service and modeling its application system based on Object Oriented Petri net (OOPN) is proposed. By means of this approach, a formal description of Web Service based on OOPN can be obtained, and control flow of Web Service-based system can be modeled. Furthermore, this approach is on the top of WSDL, so it’s of practicality for application.

This work is support partially by projects of National 863 Plan (2002AA1Z2102A), Excel-lent Ph.D. Paper Author Foundation of China (199934), Foundation for University Key Teacher by the Ministry of Education, Shanghai Science & Technology Research Plan(03DZ15029,03JC14071).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chinnici, R., Gudgin, M., et al.: Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language (2003), http://www.w3.org/TR/wsdl12/#Service

  2. Tao, X.F., Jiang, C.J., Duan, J.T.: Construction of a Kind of Object-Oriented Petri Net and its Application. Mechanical Science and Technology 22(5) (2003)

    Google Scholar 

  3. Andrews, T., Curbera, F., Dholakia, H., et al.: Specification: Business Process Execution Language for Web Services Version 1.1 (2003), http://www-106.ibm.com/developerworks/library/ws-bpel

  4. Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Proc. Fourteenth Australasian Database Conference (ADC 2003), vol. 17 (2003)

    Google Scholar 

  5. Tadao, M.: Petri Nets: Properties,Analysis and Applications. Proceeding of IEEE 77(4), 541–560 (1989)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Engineering & Technology, Tongji University, 200092, Shanghai, China

    Xiaofeng Tao & Changjun Jiang

  2. Tongji Branch, National Engineering & Technology Center of High Performance Computer, 200092, Shanghai, China

    Xiaofeng Tao & Changjun Jiang

Authors
  1. Xiaofeng Tao
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Changjun Jiang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Shanghai Jiatong University, 80 Dongcuan Road, 200240, Shanghai, China

    Minglu Li

  2. Department of Computer Science, Illinois Institute of Technology, Chicago, IL, USA

    Xian-He Sun

  3. Department. of Computer Science, Shanghai Jiaotong University, 1954 HuaShan Road, 200030, Shanghai, P.R. China

    Qian-ni Deng

  4. Department of Computer Science, College of Liberal Arts, University of Iowa, 52242, Iowa City, IA, USA

    Jun Ni

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tao, X., Jiang, C. (2004). Formalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net. In: Li, M., Sun, XH., Deng, Qn., Ni, J. (eds) Grid and Cooperative Computing. GCC 2003. Lecture Notes in Computer Science, vol 3032. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24679-4_168

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24679-4_168

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21988-0

  • Online ISBN: 978-3-540-24679-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation