Specification Language

• Design of a specification language to formalize the semantic contraints of a Web site

- XML
- Logical variables
- Tests and predicates
- (implicit) Local environment
- Rules
- Compiled to Prolog (Eclipse)
- Execution is 2 pass process


<citation from=$X> <$_> </citation>
        => citationfrom := $X;

<citation> <$A> </citation>
& $A contains <btitle> <$Title> <$_> </btitle>
        => title := $Title ;

<byear> <$Byear> <$_> </byear>
& citationfrom = "year"
& year = $Year
& title = $Title
? sameyear($Byear,$Year) /
        <li>
        Warning: The citation <i> "<$Title>" </i> line
        <$SourceLine>
        in file
        <$SourceFile>
        has not been published during this year
        (published in <$Byear>).
        </li> ;