(* SCHEMA process_planning_schema; *)
ENTITY validation
SUBTYPE OF (manufacturing_activity);
WHERE
wr1: SIZEOF(QUERY ( am <* QUERY ( arr <* USEDIN(SELF,'PROCESS_PLANNING_SCHEMA.ACTION_RESOURCE_REQUIREMENT.OPERATIONS')
| (
'PROCESS_PLANNING_SCHEMA.REQUIREMENT_FOR_ACTION_RESOURCE' IN
TYPEOF(arr)) ) | (SIZEOF(QUERY ( it <* am.resources | (
'PROCESS_PLANNING_SCHEMA.FIXTURE_ASSEMBLY' IN TYPEOF(it)) ))
<= 1) )) = 1;
wr2: SIZEOF(QUERY ( am <* QUERY ( arr <* USEDIN(SELF,'PROCESS_PLANNING_SCHEMA.ACTION_RESOURCE_REQUIREMENT.OPERATIONS')
| (
'PROCESS_PLANNING_SCHEMA.REQUIREMENT_FOR_ACTION_RESOURCE' IN
TYPEOF(arr)) ) | (SIZEOF(QUERY ( it <* am.resources | (
'PROCESS_PLANNING_SCHEMA.TOOL_ASSEMBLY' IN TYPEOF(it)) )) =
1) )) = 1;
wr3: SIZEOF(QUERY ( cm <* USEDIN(SELF,
'PROCESS_PLANNING_SCHEMA.ACTION.CHOSEN_METHOD') | (NOT (
SIZEOF(QUERY ( ppa <* USEDIN(cm,'PROCESS_PLANNING_SCHEMA.PROCESS_PROPERTY_ASSOCIATION.PROCESS')
| (('PROCESS_PLANNING_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN
TYPEOF(ppa.property_or_shape)) AND (ppa.description =
'part fixture mounting part shape')) )) = 1)) )) = 1;
wr4: SIZEOF(QUERY ( adr <* SELF\
action_method_with_associated_documents.documents | (
'PROCESS_PLANNING_SCHEMA.CONTROLLER_PROGRAM' IN TYPEOF(adr)) ))
<= 1;
END_ENTITY; -- validation
|
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:19:47-04:00