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