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

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

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

Mode	E	-T	-U	-S	-H	-R	M	X
HLCs extracted from first model	0	0	0	1	0	0	0	0
HLCs extracted from second model	0	0	0	1	0	0	0	0
Comparisons	37	37	37	46	37	37	37	37
HLC-comparisons	0	0	0	1	0	0	0	0
Correspondences	8	8	8	7	8	8	8	8
HLC-correspondences	0	0	0	1	0	0	0	0
Differences	1	1	1	3	1	1	1	1
Number of FC-thesaurus lookups	0	0	0	0	0	0	0	0
Number of name-thesaurus lookups	0	0	0	0	0	0	0	0

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

No HLCs.