Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
Range Constraints


First Model

SCHEMA test;
  ENTITY person;
    name : STRING;
    age : INTEGER;
  WHERE
    (age >= 0) AND (age < 130);
  END_ENTITY;
END_SCHEMA;

Second Model

SCHEMA test;
  ENTITY person;
    name : STRING;
    age : INTEGER;
  WHERE
    {0 <= age < 130};
  END_ENTITY;
END_SCHEMA;

Experimental Results

ModeE-T-U-S-H-RMX
HLCs extracted from first model33330333
HLCs extracted from second model33330333
Comparisons5959575926595959
HLC-comparisons77770777
Correspondences121212125121212
HLC-correspondences33330333
Differences33332333
Number of FC-thesaurus lookups30133333
Number of name-thesaurus lookups00000000

Output (Mode E)

The frames generated by the CCUS (and output as HTML-ised FIL files) follow - a file for each frame-class:

HLCs:


Email me