AP212 is a large model for electrotechnical design, which is available
here from the STEP Project website.
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
aggregate_initialiser
Frames
aggregate_initialiser_element
Frames
aggregation_type Frames
andor_expression 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
qualifier Frames
query_expression Frames
query_variable Frames
range Frames
unary_operation Frames
unique_rule Frames
unresolved_reference Frames
user_function_call Frames
zero_or_more Frames
Email me