Web sites verification: An abductive logic programming tool

被引：2

作者：

Mancarella, P. ^{[1
]}

Terreni, G. ^{[1
]}

Toni, F. ^{[2
]}

机构：

[1] Univ Pisa, Dipartimento Informat, I-56100 Pisa, Italy

[2] Imperial Coll London, Dept Comp, London, England

来源：

LOGIC PROGRAMMING, PROCEEDINGS | 2007年 / 4670卷

关键词：

D O I：

10.1007/978-3-540-74610-2_33

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web site should fulfill by using (a fragment of) the query language Xcerpt. The rules are translated into abductive logic programs with constraints and their fulfillment is checked through the CIFF abductive proof procedure.

引用

页码：434 / +

页数：2