Formalizing Web Service and modeling web service-based system based on Object Oriented Petri net

被引:0
|
作者
Tao, XF [1 ]
Jiang, CJ
机构
[1] Tongji Univ, Dept Comp Engn & Technol, Shanghai 200092, Peoples R China
[2] Natl Engn & Technol Ctr High Performance Comp, Tongji Branch, Shanghai 200092, Peoples R China
来源
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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.
引用
收藏
页码:1008 / 1011
页数:4
相关论文
共 50 条
  • [31] WSGB: A Web Service-Based Growing Book
    Dow, C. R.
    Huang, L. H.
    Chen, K. H.
    Chiu, J. C.
    Lin, C. M.
    [J]. INTERNATIONAL JOURNAL OF DISTANCE EDUCATION TECHNOLOGIES, 2006, 4 (04) : 69 - 87
  • [32] Towards Web Service-based Educational Systems
    Sampson, Demetrios G.
    [J]. INTERACTIVE TECHNOLOGY AND SMART EDUCATION, 2005, 2 (04) : 235 - 246
  • [33] Service-based Situational Awareness on the Semantic Web
    Dinkel, Stephen. C.
    Hafner, William
    Costa, Paulo C. G.
    Mukherjee, Sumitra
    [J]. 2013 IEEE INTERNATIONAL MULTI-DISCIPLINARY CONFERENCE ON COGNITIVE METHODS IN SITUATION AWARENESS AND DECISION SUPPORT (COGSIMA), 2013, : 246 - 253
  • [34] Web service-based standards for biometrics interoperability
    Caldwell, Tracey
    [J]. Biometric Technology Today, 2013, 2013 (10) : 9 - 11
  • [35] Web Service-based System for Hepatobiliary System Diseases Prognosis and Treatment
    Al-Marzoqi, Galal
    Alfonse, Marco
    Moawad, Ibrahim F.
    Roushdy, Mohamed
    [J]. PROCEEDINGS OF 2018 13TH INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND SYSTEMS (ICCES), 2018, : 47 - 55
  • [36] Proprietary Data Transformation and Modeling in a Web Service-Based Integration Environment
    Hu, Shawn X. K.
    Shan, Tony C.
    [J]. 2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2, 2009, : 454 - 455
  • [37] A Petri Net Semantics for Web Service Choreography
    Huang, Yu
    Wang, Hanpin
    [J]. APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1689 - 1690
  • [38] Web Service Composition with Petri Net and Ontology
    Marakhimov, Azizbek
    Yim, Jaegeol
    Joo, Jaehun
    [J]. ADVANCED METHODS AND TECHNOLOGIES FOR AGENT AND MULTI-AGENT SYSTEMS, 2013, 252 : 385 - 394
  • [39] OWL-S Based Interaction Testing of Web Service-based System
    Yu, Ying
    Huang, Ning
    Luo, Qiuzhong
    [J]. NWESP 2007: THIRD INTERNATIONAL CONFERENCE ON NEXT GENERATION WEB SERVICES PRACTICES, PROCEEDINGS, 2007, : 31 - 34
  • [40] A web service composition modeling and evaluation method used Petri net
    Feng, XN
    Liu, Q
    Wang, Z
    [J]. ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, 2006, 3842 : 905 - 911