Conclusion

• XML ans its companions give a sytax to Web documents but not yet a semantics

• Trying to apply technics coming from software engineering to Web sites

• A rule language to specify semantic contraints over a set of XML documents

• Tested on a real size set of documents

• A helpful step to mecanize the automatic verfication of Web sites

• No type checker yet (Xduce, Xstatic), no debugger, no name space...