AP scope | AP module | AP contents | AP index | |
Application module: General model parameter | ISO/WD 10303-1472 |
This clause specifies the information requirements for the General model parameter application module. The information requirements are specified as the Application Reference Model (ARM) of this application module.
NOTE 1 A graphical representation of the information requirements is given in Annex C.
NOTE 2 The mapping specification is specified in 5.1. It shows how the information requirements are met by using common resources and constructs defined or imported in the MIM schema of this application module.
The following EXPRESS specification begins the General_model_parameter_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA General_model_parameter_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Class_arm;
--
ISO/TS 10303-1070
USE FROM
Classification_assignment_arm;
--
ISO/TS 10303-1114
USE FROM
External_class_arm;
--
ISO/TS 10303-1275
USE FROM
Foundation_representation_arm;
--
ISO/TS 10303-1006
USE FROM
Independent_property_arm;
--
ISO/TS 10303-1036
USE FROM
Independent_property_representation_arm;
--
ISO/TS 10303-1038
USE FROM
Parameter_value_specification_arm;
--
ISO/WD 10303-1470
USE FROM
Property_assignment_arm;
--
ISO/TS 10303-1030
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Class_arm ISO/TS 10303-1070 Classification_assignment_arm ISO/TS 10303-1114 External_class_arm ISO/TS 10303-1275 Foundation_representation_arm ISO/TS 10303-1006 Independent_property_arm ISO/TS 10303-1036 Independent_property_representation_arm ISO/TS 10303-1038 Parameter_value_specification_arm ISO/WD 10303-1470 Property_assignment_arm ISO/TS 10303-1030
NOTE 2 See Annex C, Figures C.1and C.2 for a graphical representation of this schema.
This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.
The gmp_classification_item type is an extension of the classification_item type. It adds the data types Constrained_general_parameter_relationship, General_model_parameter and Parameter_value_representation_item to the list of alternate data types.
EXPRESS specification:
*)
TYPE
gmp_classification_item =
SELECT
BASED_ON
classification_item
WITH
(Constrained_general_parameter_relationship,
General_model_parameter,
Parameter_value_representation_item);
END_TYPE;
(*
This subclause specifies the ARM entities for this module. Each ARM application entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entities and definitions are specified below.
An Constrained_general_parameter_relationship is a type of Independent_property_relationship that constrains the properties involved to be of a particular type or classified using a particular class.
EXPRESS specification:
*)
ENTITY Constrained_general_parameter_relationship
SUBTYPE OF (Independent_property_relationship);
SELF\Independent_property_relationship.relating : General_model_parameter;
SELF\Independent_property_relationship.related : General_model_parameter;
required_class : Class;
WHERE
WR1: (required_class.id IN CLASSOF(related)) AND (required_class.id IN CLASSOF(relating));
END_ENTITY;
(*
Attribute definitions:
relating: the first parameter that must be classified
related: the second parameter that must be classified
required_class: the class by which both parameters must be classified in the same manner
Formal propositions:
WR1: both parameters shall be classified using the required class
An General_model_parameter is a type of Independent_property that is a named input/output of a model used in the definition of the interface, in the sense of exposed method of communicating with the model, to the model which is or may be provided with or result in an actual value when the model is used or invoked. The model to which the General_model_parameter is related can be of any type.
EXAMPLE A UML 2 Behavior State Machine is an example of a model.
An instance of General_model_parameter may be classified using Classification_assignment to specify its direction. Four directions are defined in Annex F. The default direction, should it not be classified is, ParameterDirection-in.
NOTE See Annex F for an example ISO 10303-21 file showing a classified General_model_parameter.
The default value for the parameter may be specified using Independent_property_representation as specified in Annex F.
EXPRESS specification:
*)
ENTITY General_model_parameter
SUBTYPE OF (Independent_property);
END_ENTITY;
(*
A Parameter_value_representation_item is a type of Representation_item that adds to the set of items used to represent the value of a General_model_parameter. It is not a restriction that a General_model_parameter may only be represented using a Parameter_value_representation_item.
EXPRESS specification:
*)
ENTITY Parameter_value_representation_item
SUBTYPE OF (Representation_item);
parameter_value : parameter_value_select;
END_ENTITY;
(*
Attribute definitions:
parameter_value: the value of the parameter
This subclause specifies the ARM function for this module. The ARM function and definition is specified below.
EXPRESS specification:
*)
FUNCTION CLASSOF (the_instance : GENERIC_ENTITY : ininst) :SET OF STRING;
LOCAL result : SET OF STRING; classifications : BAG OF Classification_assignment; END_LOCAL; result := TYPEOF(the_instance); classifications := USEDIN(the_instance,'GENERAL_MODEL_PARAMETER_ARM.CLASSIFICATION_ASSIGNMENT.ITEMS'); REPEAT i := LOINDEX(classifications) TO HIINDEX(classifications); result := result + classifications[i].ASSIGNED_CLASS.ID; END_REPEAT; RETURN (result);
END_FUNCTION;
(*
Argument definitions:
the_instance: the entity instance for which the types and classes are to be returned
*)
END_SCHEMA; -- General_model_parameter_arm
(*
© ISO 2006 — All rights reserved