A fast algebraic Web verification service

被引：0
|
作者：
Alpuente, M. [1 ]
Ballis, D. [2 ]
Falaschi, M. [3 ]
Ojeda, P. [1 ]
Romero, D. [1 ]
机构：
[1] Univ Politecn Valencia, DSIC, Campus Vera S-N Apdo 22012, Valencia 46071, Spain
[2] Dip Matemat & Informat, I-33100 Udine, Italy
[3] Dip Sci Matemat & Informat, I-53100 Siena, Italy
来源：
WEB REASONING AND RULE SYSTEMS, PROCEEDINGS | 2007年 / 4524卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we present the rewriting-based, Web verification service WebVerdi-M, which is able to recognize forbidden/incorrect patterns and incomplete/missing Web pages. WebVerdi-M relies on a powerful Web verification engine that is written in Maude, which automatically derives the error symptoms. Thanks to the AC pattern matching supported by Maude and its metalevel facilities, WebVerdi-M enjoys much better performance and usability than a previous implementation of the verification framework. By using the XML Benchmarking tool xmlgen, we develop some scalable experiments which demonstrate the usefulness of our approach.
引用
收藏
页码：229 / +
页数：3
相关论文
共 50 条
  • [21] Constraint verification failure recovery in web service composition
    Laleh, Touraj
    Paquet, Joey
    Mokhov, Serguei
    Yan, Yuhong
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2018, 89 : 387 - 401
  • [22] EEMTI: an Extending Framework for Nested Web Service Verification
    Srirajun, Nalinrat
    Bhattarakosol, Pattarasinee
    Tantasanawong, Panjai
    Han, Sunyoung
    2012 7TH INTERNATIONAL CONFERENCE ON COMPUTING AND CONVERGENCE TECHNOLOGY (ICCCT2012), 2012, : 128 - 133
  • [23] Static verification of control and data in web service compositions
    Kazhamiakin, Raman
    Pistore, Marco
    ICWS 2006: IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2006, : 83 - +
  • [24] Specification and Verification of Data and Time in Web Service Composition
    Zhang, Guangquan
    Di, Haojun
    Rong, Mel
    Shi, Huijuan
    WEB INFORMATION SYSTEMS AND MINING, PT II, 2011, 6988 : 436 - +
  • [25] Model-based verification of web service compositions
    Foster, H
    Uchitel, S
    Magee, J
    Kramer, J
    18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 152 - 161
  • [26] A Framework for Fast Service Verification and Query Execution for Boolean Service Rules
    Chattopadhyay, Soumi
    Dutta, Saikat
    Banerjee, Ansuman
    ADVANCES IN SERVICES COMPUTING, APSCC 2015, 2015, 9464 : 17 - 32
  • [27] A Formal Verification for Web Service Composition Based on CCS
    Yun, B. S.
    Yan, J. W.
    Liu, M.
    MANUFACTURING AUTOMATION TECHNOLOGY, 2009, 392-394 : 330 - 334
  • [28] Timing Constraints Specification and Verification for Web Service Compositions
    Dai, Guilan
    Liu, Rujuan
    Zhao, Chongchong
    Hu, Changjun
    2008 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, VOLS 1-3, PROCEEDINGS, 2008, : 315 - +
  • [29] Verification for commitment-based web service protocols
    Fang, Z. (fangz@bit.edu.cn), 1600, Inderscience Publishers, 29, route de Pre-Bois, Case Postale 856, CH-1215 Geneva 15, CH-1215, Switzerland (07):
  • [30] Verification of Privacy Timed Properties in Web Service Protocols
    Mokhtari, K.
    Benbernou, S.
    Said, M.
    Coquery, E.
    Hacid, M. S.
    Leymann, F.
    2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 2, 2008, : 593 - +
12345