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
来源：
GRID AND COOPERATIVE COMPUTING, PT 1 | 2004年 / 3032卷
关键词：
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 条
  • [1] A Petri Net Theory-Based Method for Modeling Web Service-Based Systems
    Han, Rendong
    Ju, Yanbing
    Liu, Kecheng
    Zhao, Jinghua
    [J]. 2008 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-31, 2008, : 12192 - +
  • [2] A proposal for Petri net based web service application modeling
    Moldt, D
    Offermann, S
    Ortmann, J
    [J]. WEB ENGINEERING, PROCEEDINGS, 2004, 3140 : 93 - 97
  • [3] Petri net based semantic web service composition
    [J]. 1600, Science and Engineering Research Support Society (09):
  • [4] Interactive Web service composition based on Petri net
    Sun, Ping
    Jiang, ChangJun
    Zhou, MengChu
    [J]. TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (01) : 116 - 132
  • [5] Modeling Method of Ontology Web Service Interaction Based on Coloured Petri Net
    Su, Meng
    Gao, Jing
    [J]. 2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014, : 128 - 131
  • [6] Modeling and managing the variability of Web service-based systems
    Sun, Chang-ai
    Rossing, Rowan
    Sinnema, Marco
    Bulanov, Pavel
    Aiello, Marco
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2010, 83 (03) : 502 - 516
  • [7] A web service-based molecular modeling system using a distributed processing system
    Park, S
    Kim, B
    Kim, JI
    [J]. WEB AND COMMUNICATION TECHNOLOGIES AND INTERNET -RELATED SOCIAL ISSUES - HSI 2005, 2005, 3597 : 208 - 217
  • [8] Study on Semantic Web Service Composition Based on Petri Net
    Zou Jinan
    Lin Jianbing
    Ruan Deshui
    [J]. PROCEEDINGS OF 2012 7TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, VOLS I-VI, 2012, : 1110 - 1114
  • [9] Hierarchical verification for web service composition based on petri net
    Wang, L.
    Wang, Z. G.
    [J]. BASIC & CLINICAL PHARMACOLOGY & TOXICOLOGY, 2018, 123 : 36 - 37
  • [10] Compatibility analysis approach for Petri net based Web service
    Xiong, Pengcheng
    Fan, Yushun
    [J]. Gaojishu Tongxin/Chinese High Technology Letters, 2008, 18 (09): : 943 - 947
12345