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 条
  • [41] CSP-based verification for web service orchestration and choreography
    Yeung, W. L.
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2007, 83 (01): : 65 - 74
  • [42] Web Service Choreography Verification Using Z Formal Specification
    Rastegari, Y.
    Sajadi, Z.
    Shams, F.
    INTERNATIONAL JOURNAL OF ENGINEERING, 2016, 29 (11): : 1549 - 1557
  • [43] Verification of web service flows with model-checking techniques
    Nakajima, S
    FIRST INTERNATIONAL SYMPOSIUM ON CYBER WORLDS, PROCEEDINGS, 2002, : 378 - 385
  • [44] Quantitative verification for response times in composite Web service model
    Kasse, Youssou
    Mokdad, Lynda
    2011 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2011,
  • [45] Hierarchical verification for web service composition based on petri net
    Wang, L.
    Wang, Z. G.
    BASIC & CLINICAL PHARMACOLOGY & TOXICOLOGY, 2018, 123 : 36 - 37
  • [46] Formal description and verification of Web service composition based on OOPN
    Su, Jindian
    Yu, Shanshan
    Guo, Heqing
    ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, PROCEEDINGS: WITH ASPECTS OF THEORETICAL AND METHODOLOGICAL ISSUES, 2008, 5226 : 644 - +
  • [47] Interoperability verification for Web Service based robot communication platforms
    Narita, Masahiko
    Shimamura, Makiko
    Iwasa, Kazunori
    Yamaguchi, Toru
    2007 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS, VOLS 1-5, 2007, : 1029 - +
  • [48] Automatic Verification of Data-Centric Web Service Specifications
    Fang, Zhi
    Liao, Lejian
    Chen, Ruoyu
    2013 INTERNATIONAL CONFERENCE ON ELECTRONIC ENGINEERING AND COMPUTER SCIENCE (EECS 2013), 2013, 4 : 93 - 98
  • [49] Design and implementation of web service for mutual comparison of the set of algebraic vectors
    Horovcak, Pavel
    Lesso, Igor
    Gasparova, Zuzana
    2015 16TH INTERNATIONAL CARPATHIAN CONTROL CONFERENCE (ICCC), 2015, : 175 - 180
  • [50] A Novel Approach for Web Service Annotation Verification and Service Parameters Validation Using Ontology
    Shridevi, S.
    Raju, G.
    PROCEEDINGS OF THE 3RD INTERNATIONAL SYMPOSIUM ON BIG DATA AND CLOUD COMPUTING CHALLENGES (ISBCC - 16'), 2016, 49 : 399 - 415
12345