Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
MPhil/PhD Frame-Class Models
Summarised Output


frame corresponds to frame


named_type corresponds to named_type


entity_type corresponds to entity_type

HLC-correspondences:

explicit_attribute corresponds to explicit_attribute


attribute corresponds to attribute


derived_attribute corresponds to derived_attribute


expression corresponds to expression


inverse_attribute corresponds to inverse_attribute


oneof_expression corresponds to oneof_supertype_expression


and_expression corresponds to and_supertype_expression


andor_expression corresponds to andor_supertype_expression


unique_rule corresponds to unique_rule


local_rule corresponds to local_rule


domain_rule corresponds to domain_rule


defined_type corresponds to defined_type


aggregation_type corresponds to aggregation_type

HLC-correspondences:

literal_expression corresponds to literal


built_in_constant corresponds to built_in_constant


query_expression corresponds to query_expression


query_variable corresponds to query_variable


function_call corresponds to function_call

HLC-correspondences:

qualifier corresponds to qualifier


aggregate_initialiser corresponds to aggregate_initialiser


aggregate_initialiser_element corresponds to aggregate_initialiser_element


higher_level_constraint corresponds to higher_level_constraint


bound corresponds to bound


range corresponds to range


non_null corresponds to non_null


adder corresponds to adder


multiplier corresponds to multiplier


case_frame corresponds to case_frame


Email me