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 条
  • [1] A fast algebraic Web verification service
    Alpuente, M.
    Ballis, D.
    Falaschi, M.
    Ojeda, P.
    Romero, D.
    WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2007, 4524 : 239 - +
  • [2] Algebraic modeling and verification of Web service composition
    Rai, Gopal N.
    Gangadharan, G. R.
    Padmanabhan, Vineet
    6TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2015), THE 5TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2015), 2015, 52 : 675 - 679
  • [3] An algebraic theory for web service contracts
    Laneve, Cosimo
    Padovani, Luca
    FORMAL ASPECTS OF COMPUTING, 2015, 27 (04) : 613 - 640
  • [4] Fast and Formalized: Heuristics-based On-the-fly Web Service Composition and Verification
    Huynh, Khai T.
    Quan, Tho T.
    Bui, Thang H.
    PROCEEDINGS OF 2015 2ND NATIONAL FOUNDATION FOR SCIENCE AND TECHNOLOGY DEVELOPMENT CONFERENCE ON INFORMATION AND COMPUTER SCIENCE NICS 2015, 2015, : 174 - 179
  • [5] Compatibility verification for web service choreography
    Foster, H
    Uchitel, S
    Magee, J
    Kramer, J
    IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 738 - 741
  • [6] Architectural Characterization of Web Service Interaction Verification
    Rai, Gopal N.
    Gangadharan, G. R.
    PROCEEDINGS OF 3RD INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING, NETWORKING AND INFORMATICS, ICACNI 2015, VOL 2, 2016, 44 : 447 - 456
  • [7] A Logical Representation and Verification of Web Service Choreography
    Madani, Zahra
    Nematbakhsh, Naser
    Zamanifar, Kamran
    Mardukhi, Frahad
    2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 2, PROCEEDINGS, 2009, : 404 - +
  • [8] Formal modeling and verification for web service composition
    Tian, Baojun
    Gu, Yanlin
    Journal of Software, 2013, 8 (11) : 2733 - 2737
  • [9] A Model for Verification of Web Service Maneuvering : A Survey
    Danapaquiame, N.
    Ilavarasan, E.
    2012 THIRD INTERNATIONAL CONFERENCE ON COMPUTING COMMUNICATION & NETWORKING TECHNOLOGIES (ICCCNT), 2012,
  • [10] Formal Verification of Web Service Interaction Contracts
    Shegalov, German
    Weikum, Gerhard
    2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 2, 2008, : 525 - +
12345