Dr. Andrew Broad
Computer Science
MPhil Project
Experimental Results
Course World

Course World is a small EXPRESS model which I devised to test the constraint-understanding system with respect to coverage of EXPRESS constructs, the range of higher-level constraints (HLCs) it can extract and the cases it uses to do so.

The model itself is available here.

Click here for a summary of the HLCs extracted (this is automatically generated by the constraint-understanding system).

The frames generated by the constraint-understanding system (and output as HTML-ised FIL files) follow.

  • Note that these include not just the augmented model (i.e. the frames representing the input model, and the HLCs extracted therefrom), but also frames representing the frame class models and the cases in the case library.
  • The frames are grouped into files according to frame class.
  • entity_type is a good place to start!


  • adder Frames
  • aggregation_type Frames
  • at_most_one Frames
  • binary_operation Frames
  • bound Frames
  • built_in_constant Frames
  • built_in_function_call Frames
  • case_frame Frames
  • conjunction Frames
  • defined_type Frames
  • derived_attribute Frames
  • domain_rule Frames
  • entity_type Frames
  • equation Frames
  • exactly_one Frames
  • explicit_attribute Frames
  • inverse_attribute Frames
  • literal_expression Frames
  • multiplier Frames
  • non_null Frames
  • oneof_expression Frames
  • range Frames
  • unique_rule Frames
  • user_function_call Frames
  • zero_or_more Frames


    Email me