POSC Specifications: Epicentre Version 3.0 | Logical Data Model |
Fix rules which are badly formed.
CHANGE ERP_fix_rules ALTER ENTITY contract_activity_type; WHERE ALTER mse AS val (*<RULETYPE>val*) (*<CHANGE>This does not fit the pattern of MSE (i.e., mandatory select one) since it allows both to be selected.*); END_ENTITY; ALTER ENTITY applied_coordinate_transformation; WHERE ALTER ose : NOT (EXISTS (edge) AND EXISTS (face)) (*<CHANGE>Use a simpler version.*); END_ENTITY; ALTER ENTITY contract_clause; WHERE ALTER mse AS val (*<RULETYPE>val*) (*<CHANGE>This does not fit the pattern of MSE (i.e., mandatory select one).*); END_ENTITY; ALTER ENTITY document_spec_class_classification; WHERE ALTER val1 : have_as_a_member :<>: be_classified_as (*<CHANGE>Use "instance comparison" instead of "value comparison".*); END_ENTITY; ALTER ENTITY ellipsoid; WHERE ALTER val : NOT EXISTS (semimajor_axis) OR (EXISTS (semimajor_axis) AND (EXISTS (semiminor_axis) XOR EXISTS (inverse_flattening))) (*<CHANGE>Allow semimajor_axis to not be given.*); END_ENTITY; ALTER ENTITY facility_class_classification; WHERE ALTER val1 : have_as_a_member :<>: be_classified_as (*<CHANGE>Use "instance comparison" instead of "value comparison".*); END_ENTITY; ALTER ENTITY fluid_phase_interface; WHERE ALTER sri : SIZEOF (QUERY (f <* fluid_phase | (f.fluid_system :=: fluid_system))) > 0 (*<CHANGE>Use "instance comparison" instead of "value comparison".*); END_ENTITY; ALTER ENTITY specific_fluid_phase; WHERE ALTER mse AS val (*<RULETYPE>val*) (*<CHANGE>This does not fit the pattern of MSE (i.e., mandatory select one).*); END_ENTITY; END_CHANGE;