Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
Semantic Equivalence


First Model

SCHEMA test;
  ENTITY person;
    name : STRING;
    age : INTEGER;
  WHERE
    age >= 0;
  END_ENTITY;
END_SCHEMA;

Second Model

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

Experimental Results

ModeE-T-U-S-H-RMX
HLCs extracted from first model00010000
HLCs extracted from second model00010000
Comparisons3737374637373737
HLC-comparisons00010000
Correspondences88878888
HLC-correspondences00010000
Differences11131111
Number of FC-thesaurus lookups00000000
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:

No HLCs.


Email me