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 条
  • [31] Design of steel and composite beams with web openings - Verification using finite element method
    Chung, KF
    Ko, CH
    Wang, AJ
    [J]. STEEL AND COMPOSITE STRUCTURES, 2005, 5 (2-3): : 203 - 233
  • [32] Performance Modeling of Composite Web Services
    Wang, Kaiyu
    Tian, Naishuo
    [J]. PROCEEDINGS OF THE 2009 PACIFIC-ASIA CONFERENCE ON CIRCUITS, COMMUNICATIONS AND SYSTEM, 2009, : 563 - +
  • [33] Analysis of the Availability of Composite Web Services
    Hu, Tao
    Guo, Song
    Guo, Minyi
    Tang, Feilong
    Dong, Mianxiong
    [J]. FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, : 231 - +
  • [34] Deriving Specifications for Composite Web Services
    Baryannis, George
    Carro, Manuel
    Plexousakis, Dimitris
    [J]. 2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 432 - 437
  • [35] Decentralizing execution of composite web services
    Nanda, MG
    Chandra, S
    Sarkar, V
    [J]. ACM SIGPLAN NOTICES, 2004, 39 (10) : 170 - 187
  • [36] Improving performance of composite web services
    Dyachuk, Dmytro
    Deters, Ralph
    [J]. IEEE INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS, PROCEEDINGS, 2007, : 147 - +
  • [37] Decentralized orchestration of composite Web Services
    Binder, Walter
    Constantinescu, Ion
    Faltings, Boi
    [J]. ICWS 2006: IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2006, : 869 - +
  • [38] Toward undoing in composite web services
    Gaudel, MC
    [J]. ARCHITECTING DEPENDABLE SYSTEMS III, 2005, 3549 : 59 - 68
  • [39] On coordinating personalized composite web services
    Maamar, Zakaria
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2006, 48 (07) : 540 - 548
  • [40] Distributed invocation of composite Web services
    Park, Chang-Sup
    Park, Soyeon
    [J]. EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2006, 4096 : 385 - 393
12345