Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
Course World
Summarised Output

person corresponds to person
student corresponds to student
student_course_record corresponds to student_course_record
course corresponds to module
staff corresponds to staff
man corresponds to man
woman corresponds to woman

`person` corresponds to `person`

person.surname corresponds to person.family_name
person.first_name corresponds to person.given_name
? corresponds to ?
LIST [0 : ?] OF string_type corresponds to (is semantically weaker than) LIST [1 : ?] OF string_type
person.middle_names corresponds to person.middle_names
person.age corresponds to person.age
university_role corresponds to university_role
person.role corresponds to person.role
age >= 0 corresponds to (is semantically weaker than) age >= 18
age < 130 corresponds to (is semantically weaker than) age < 65
conjunction#5 corresponds to conjunction#6
domain_rule#3 corresponds to domain_rule#6

person.gender doesn't correspond to anything in the first model

Difference in slot entity_type.is_abstract:
- entity_type#188.is_abstract = true
- entity_type#195.is_abstract = false
Difference in slot attribute.name:
- explicit_attribute#290.name = "surname"
- explicit_attribute#306.name = "family_name"
Difference in slot attribute.name:
- explicit_attribute#291.name = "first_name"
- explicit_attribute#307.name = "given_name"
Difference in slot explicit_attribute.is_optional:
- explicit_attribute#292.is_optional = false
- explicit_attribute#308.is_optional = true
Difference in slot entity_type.supertype_of:
- entity_type#188.supertype_of = oneof_supertype_expression#26
- entity_type#195.supertype_of = null

HLC-correspondences:

type_hlc#5 corresponds to type_hlc#11
type_hlc#6 corresponds to type_hlc#12
type_hlc#7 corresponds to type_hlc#13
type_hlc#8 corresponds to type_hlc#16
type_hlc#9 corresponds to type_hlc#17
type_hlc#10 corresponds to type_hlc#18
non_null#4 corresponds to non_null#8
non_null#5 corresponds to non_null#9
non_null#7 corresponds to non_null#11
optional_xor_empty_aggregation#3 corresponds to optional_xor_empty_aggregation#4
choice_set#7 corresponds to choice_set#10
choice_set#8 corresponds to choice_set#9
type_hlc#41 corresponds to type_hlc#42
optional_xor_empty_aggregation#7 corresponds to optional_xor_empty_aggregation#8
domain_rules_hlc#15 corresponds to domain_rules_hlc#13
domain_rules_hlc#16 corresponds to domain_rules_hlc#14
domain_rules_hlc#12 corresponds to domain_rules_hlc#18
domain_rules_hlc#4 corresponds to domain_rules_hlc#6
domain_rules_hlc#4 corresponds to domain_rules_hlc#7
domain_rules_hlc#5 corresponds to domain_rules_hlc#8

`student` corresponds to `student`

0 corresponds to 0
? corresponds to ?
SET [0 : ?] OF student_course_record corresponds to SET [0 : ?] OF student_course_record
student.courses_taken corresponds to student.courses_taken
student.the_person corresponds to student.the_person

student.average_mark doesn't correspond to anything in the first model

Difference in slot entity_type.derived_attributes:
- entity_type#191.derived_attributes = {derived_attribute#4}
- entity_type#198.derived_attributes = null
Difference in slot named_type.domain_rules:
- entity_type#191.domain_rules = null
- entity_type#198.domain_rules = {domain_rule#5}

HLC-correspondences:

type_hlc#38 corresponds to type_hlc#39
non_null#29 corresponds to non_null#30
optional_xor_empty_aggregation#5 corresponds to optional_xor_empty_aggregation#6

`student_course_record` corresponds to `student_course_record`

student_course_record.course corresponds to student_course_record.course
student_course_record.exam_mark corresponds to student_course_record.exam_mark
student_course_record.lab_mark corresponds to student_course_record.lab_mark
student_course_record.the_student corresponds to student_course_record.the_student

student_course_record.total_mark doesn't correspond to anything in the first model

Difference in slot entity_type.derived_attributes:
- entity_type#192.derived_attributes = {derived_attribute#3}
- entity_type#199.derived_attributes = null
Difference in slot named_type.domain_rules:
- entity_type#192.domain_rules = null
- entity_type#199.domain_rules = {domain_rule#4}

HLC-correspondences:

type_hlc#31 corresponds to type_hlc#34
type_hlc#32 corresponds to type_hlc#35
type_hlc#33 corresponds to type_hlc#36
non_null#22 corresponds to non_null#25
non_null#23 corresponds to non_null#26
non_null#24 corresponds to non_null#27

`course` corresponds to `module`

course.department corresponds to module.department
course.level corresponds to module.level
course.programme corresponds to module.programme
course.id_number corresponds to module.id_number
course.semester corresponds to module.semester
course.title corresponds to module.title
0 corresponds to 0
? corresponds to ?
SET [0 : ?] OF student_course_record corresponds to SET [0 : ?] OF student_course_record
course.the_students corresponds to module.the_students
course.the_lecturer corresponds to module.the_lecturer
unique_rule#2 corresponds to (is semantically stronger than) unique_rule#3

Difference in slot named_frame.name:
- entity_type#193.name = "course"
- entity_type#200.name = "module"

HLC-correspondences:

type_hlc#19 corresponds to type_hlc#25
type_hlc#20 corresponds to type_hlc#26
type_hlc#21 corresponds to type_hlc#27
type_hlc#22 corresponds to type_hlc#28
type_hlc#23 corresponds to type_hlc#29
type_hlc#24 corresponds to type_hlc#30
non_null#12 corresponds to non_null#17
non_null#13 corresponds to non_null#18
non_null#14 corresponds to non_null#19
non_null#15 corresponds to non_null#20
non_null#16 corresponds to non_null#21
domain_rules_hlc#9 corresponds to domain_rules_hlc#10
one_to_many_relationship#4 corresponds to one_to_many_relationship#5

`staff` corresponds to `staff`

1 corresponds to 1
? corresponds to ?
SET [1 : ?] OF course corresponds to SET [1 : ?] OF module
staff.courses_taught corresponds to staff.courses_taught
staff.the_person corresponds to staff.the_person

`man` corresponds to `man`

Difference in slot entity_type.subtype_of:
- entity_type#189.subtype_of = {entity_type#188}
- entity_type#196.subtype_of = null

`woman` corresponds to `woman`

Difference in slot entity_type.subtype_of:
- entity_type#190.subtype_of = {entity_type#188}
- entity_type#197.subtype_of = null