AP scope  |  AP module  |  AP contents  |  AP index
Application module: General model parameter ISO/WD 10303-1472

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definition
   4.3 ARM entity definitions
   4.4 ARM function definition
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type definitions
     5.2.2 MIM entity definitions
6 Module reference data

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
Bibliography
Index

4 Information requirements

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;
(*

4.1 Required AM ARMs

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.

4.2 ARM type definition

This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.

4.2.1 gmp_classification_item   EXPRESS-G

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;
(*

4.3 ARM entity definitions

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.

4.3.1 Constrained_general_parameter_relationship   EXPRESS-GMapping table

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

4.3.2 General_model_parameter   EXPRESS-GMapping table

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;
(*

4.3.3 Parameter_value_representation_item   EXPRESS-GMapping table

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

4.4 ARM function definition

This subclause specifies the ARM function for this module. The ARM function and definition is specified below.

4.4.1 CLASSOF

Given an entity instance, return all its types and all the classes by which it has been classified.

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