A Novel Method for Verification of Composite Web Services

被引：1
|
作者：
Wang, Xiaobing [1 ]
Yu, Sijiang [2 ]
机构：
[1] Xidian Univ, Inst Comp Theory & Technol, Xian, Peoples R China
[2] Xian Univ Posts & Telecommun, Finance Div, Xian, Peoples R China
来源：
2015 2ND INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CONTROL ENGINEERING ICISCE 2015 | 2015年
关键词：
Composite Web Services; OWL-S; Object-Oriented; Verification; TEMPORAL LOGIC;
D O I：
10.1109/ICISCE.2015.17
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
This paper presents a novel method based on object-oriented MSVL for verification of composite Web services described by OWL-S. First, object-oriented MSVL, an executable temporal logic language for modeling, is briefly presented. Secondly, modeling rules are defined for OWL-S which is used to compose Web services. Further, Propositional Projection Temporal Logic (PPTL), a specification language for describing desirable properties, is presented and the verification method is proposed. At last, the verification method is illustrated by a bookstore example based on Web services.
引用
收藏
页码：37 / 40
页数：4
相关论文
共 50 条
  • [1] Analysis and verification of composite web services
    Yang, YP
    Tan, QP
    [J]. Proceedings of the 11th Joint International Computer Conference, 2005, : 171 - 176
  • [2] Notations for the specification and verification of composite Web services
    Woodman, SJ
    Palmer, DJ
    Shrivastava, SK
    Wheater, SM
    [J]. EIGHTH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2004, : 35 - 46
  • [3] Composite Web Services as Dataflow Graphs for Constraint Verification
    Gupta, Jyotsana
    Paquet, Joey
    Mokhov, Serguei A.
    [J]. PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE (CLOSER), 2020, : 282 - 291
  • [4] Cooperative and group testing in verification of dynamic composite web services
    Tsai, WT
    Chen, Y
    Paul, R
    Liao, N
    Huang, H
    [J]. PROCEEDINGS OF THE 28TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATION CONFERENCE, WORKSHOP AND FAST ABSTRACTS, 2004, : 170 - 173
  • [5] A Reliability Analysis Method of the Composite Web Services
    Shu, Yan-jun
    Wu, Zhi-bo
    Feng, Yun-ping
    [J]. COMPUTER SCIENCE AND TECHNOLOGY (CST2016), 2017, : 1028 - 1034
  • [6] Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic
    Luo, Xiangyu
    Tan, Zheng
    Dong, Rongsheng
    [J]. THIRD INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTING, 2009, : 693 - 696
  • [7] A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV
    Kova, Melissa
    Bentahar, Jamal
    Maamar, Zakaria
    Yahyaoui, Hamdi
    [J]. NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2009, 199 : 245 - 261
  • [8] A Novel Risk Recognition Method in Web Services
    Xu, E.
    Shao Liangshan
    Sun Fuming
    Cao Guanghui
    Wu Hao
    [J]. 2009 INTERNATIONAL SYMPOSIUM ON WEB INFORMATION SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 136 - +
  • [9] A Model-Driven Engineering Approach for the Formal Verification of Composite Web Services
    Maraoui, Raoudha
    Cariou, Eric
    Ayeb, Bechir
    [J]. 2013 IEEE 22ND INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2013, : 266 - 271
  • [10] A novel verification model for web services manoeuvring using hybrid automata
    Danapaquiame, N.
    Ilavarasan, E.
    [J]. INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2015, 51 (04) : 324 - 333
12345