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


First Model

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

Second Model

SCHEMA test;
  ENTITY person;
    age : age_type;
  END_ENTITY;

  TYPE age_type = INTEGER;
  WHERE
    {0 <= SELF < 130};
  END_TYPE;
END_SCHEMA;

Experimental Results

ModeE-T-U-S-H-RMX
HLCs extracted from first model55550556
HLCs extracted from second model33330338
Comparisons3636363615153674
HLC-comparisons11111111001118
Correspondences444444411
HLC-correspondences00000003
Differences888833810
Number of FC-thesaurus lookups20220022
Number of name-thesaurus lookups00000000

Output (Mode X)

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

HLCs:


Email me