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 条
  • [31] Modeling and Verification of Temporal Constraints for Web Service Composition
    Benabdelhafid, Maya Souilah
    Boubaker, Houda
    Boufaida, Mahmoud
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2021, 12524 : 21 - 29
  • [32] A Fast and Scalable Mechanism for Web Service Composition
    Chattopadhyay, Soumi
    Banerjee, Ansuman
    Banerjee, Nilanjan
    ACM TRANSACTIONS ON THE WEB, 2017, 11 (04)
  • [33] Fast group verification system for intelligent robot service
    Yun, Woo-han
    Kim, DoHyung
    Yoon, Ho-Sub
    IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 2007, 53 (04) : 1731 - 1735
  • [34] Representation, verification, and computation of timed properties in Web service compositions
    Kazhamiakin, Raman
    Pandya, Paritosh
    Pistore, Marco
    ICWS 2006: IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2006, : 497 - +
  • [35] Web Service Orchestration and Verification using MSC and CP Nets
    Paliwal, Aabhas V.
    Adam, Nabil
    Bornhoevd, Christof
    APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1693 - +
  • [36] Efficient run-time verification of web service composition
    Yau, Yik-Shiung
    Chua, Fang-Fang
    International Journal of Web Engineering and Technology, 2015, 10 (02) : 170 - 198
  • [37] Semantic Web Service Composition Using Formal Verification Techniques
    Kil, Hyunyoung
    Nam, Wonhong
    COMPUTER APPLICATIONS FOR DATABASE, EDUCATION, AND UBIQUITOUS COMPUTING, 2012, 352 : 72 - +
  • [38] Security Requirements in Web Service Composition: Formalization, Integration and Verification
    El Kassmi, Ilyass
    Jarir, Zahi
    2016 IEEE 25TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2016, : 179 - 184
  • [39] Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration
    Zatout, Sara
    Benabdelhafid, Maya Souilah
    Boufaida, Mahmoud
    2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018, : 531 - 536
  • [40] Set partition and trace based verification of Web service composition
    Rai, Gopal N.
    Gangadharan, G. R.
    6TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2015), THE 5TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2015), 2015, 52 : 278 - 285
12345