|
|
Application module:
State based behaviour |
ISO/TS 10303-1371:2011-10(E)
© ISO
|
This clause specifies the EXPRESS schema derived from the mapping
table.
It uses elements from the common resources or from other application
modules and defines the EXPRESS constructs that are specific to this
part of ISO 10303.
This clause constitutes the Module Interpreted Module (MIM) of the
application module.
This clause also
specifies the modifications that apply to the constructs
imported from the common resources.
The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application
modules:
-
use of a supertype entity does not make applicable any of its
specializations, unless the specialization is also imported in the
MIM schema;
-
use of a SELECT type does not make applicable any of its listed types
unless the listed type is also imported in the MIM schema.
EXPRESS specification:
*)
SCHEMA State_based_behaviour_mim;
USE FROM
Activity_method_assignment_mim;
--
ISO/TS 10303-1249
USE FROM
Behaviour_description_assignment_mim;
--
ISO/TS 10303-1483
USE FROM
Collection_identification_and_version_mim;
--
ISO/TS 10303-1396
USE FROM
Condition_mim;
--
ISO/TS 10303-1253
USE FROM
Description_assignment_mim;
--
ISO/TS 10303-1473
USE FROM
Expression_assignment_mim;
--
ISO/TS 10303-1491
USE FROM
External_state_based_behaviour_model_mim;
--
ISO/TS 10303-1468
USE FROM
General_model_parameter_mim;
--
ISO/TS 10303-1472
USE FROM
Identification_relationship_mim;
--
ISO/TS 10303-1398
USE FROM
Process_property_assignment_mim;
--
ISO/TS 10303-1040
USE FROM
Same_as_external_item_mim;
--
ISO/TS 10303-1402
USE FROM
state_type_schema
--
ISO 10303-56
(state_type_role);
USE FROM
Textual_expression_representation_mim;
--
ISO/TS 10303-1367
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Activity_method_assignment_mim |
ISO/TS 10303-1249 |
| Behaviour_description_assignment_mim |
ISO/TS 10303-1483 |
| Collection_identification_and_version_mim |
ISO/TS 10303-1396 |
| Condition_mim |
ISO/TS 10303-1253 |
| Description_assignment_mim |
ISO/TS 10303-1473 |
| Expression_assignment_mim |
ISO/TS 10303-1491 |
| External_state_based_behaviour_model_mim |
ISO/TS 10303-1468 |
| General_model_parameter_mim |
ISO/TS 10303-1472 |
| Identification_relationship_mim |
ISO/TS 10303-1398 |
| Process_property_assignment_mim |
ISO/TS 10303-1040 |
| Same_as_external_item_mim |
ISO/TS 10303-1402 |
| state_type_schema |
ISO 10303-56 |
| Textual_expression_representation_mim |
ISO/TS 10303-1367 |
NOTE 2
See Annex D,
Figures
D.1, D.2and D.3
for a graphical representation of this schema.
This subclause specifies the MIM types
for this application module. The MIM types and
definitions are specified below.
The sbb_action_items type is an extension
of the
action_items type.
It adds the data
type
state_type
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
sbb_action_items =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
action_items
WITH
(state_type);
END_TYPE;
(*
The sbb_action_method_items type is an extension
of the
action_method_items type.
It adds the data
type
state_type
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
sbb_action_method_items =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
action_method_items
WITH
(state_type);
END_TYPE;
(*
The sbb_behaviour_item_groupable_item type is an extension
of the
behaviour_item_groupable_item type.
It adds the data
type
state_type
to the list of alternate data types.
EXPRESS specification:
*)
TYPE
sbb_behaviour_item_groupable_item =
SELECT
BASED_ON
behaviour_item_groupable_item
WITH
(state_type);
END_TYPE;
(*
The sbb_behaviour_model_groupable_item type is an extension
of the
behaviour_model_groupable_item type.
It adds the data
types
action_method, state_based_behaviour_model
and
state_type
to the list of alternate data types.
EXPRESS specification:
*)
TYPE
sbb_behaviour_model_groupable_item =
SELECT
BASED_ON
behaviour_model_groupable_item
WITH
(action_method,
state_based_behaviour_model,
state_type);
END_TYPE;
(*
The sbb_classification_item type is an extension
of the
classification_item type.
It adds the data
types
action_method, action_method_relationship, applied_action_method_assignment, applied_description_text_assignment, applied_expression_assignment, applied_external_identification_assignment, applied_identification_assignment, class, derived_unit, description_text, document_file, expression, external_class_library, general_property, general_property_relationship, identification_assignment_relationship, measure_with_unit, named_unit, product, product_definition, product_definition_context, product_definition_formation, product_definition_formation_relationship, product_relationship, property_definition, property_definition_representation, representation, representation_item, representation_relationship, state_type, state_type_assignment
and
state_type_relationship
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
sbb_classification_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
classification_item
WITH
(action_method,
action_method_relationship,
applied_action_method_assignment,
applied_description_text_assignment,
applied_expression_assignment,
applied_external_identification_assignment,
applied_identification_assignment,
class,
derived_unit,
description_text,
document_file,
expression,
external_class_library,
general_property,
general_property_relationship,
identification_assignment_relationship,
measure_with_unit,
named_unit,
product,
product_definition,
product_definition_context,
product_definition_formation,
product_definition_formation_relationship,
product_relationship,
property_definition,
property_definition_representation,
representation,
representation_item,
representation_relationship,
state_type,
state_type_assignment,
state_type_relationship);
END_TYPE;
(*
The sbb_collection_assignment_groupable_item type is an extension
of the
collection_assignment_groupable_item type.
It adds the data
types
action_method, product, product_definition
and
product_definition_formation
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
sbb_collection_assignment_groupable_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
collection_assignment_groupable_item
WITH
(action_method,
product,
product_definition,
product_definition_formation);
END_TYPE;
(*
The sbb_collection_membership_groupable_item type is an extension
of the
collection_membership_groupable_item type.
It adds the data
types
action_method, action_method_relationship, applied_action_method_assignment, applied_classification_assignment, applied_description_text_assignment, applied_external_identification_assignment, applied_identification_assignment, applied_name_assignment, class, collection_assignment, collection_membership, derived_unit, derived_unit_element, description_text, document_file, external_source, general_property, general_property_relationship, identification_assignment_relationship, measure_with_unit, named_unit, product, product_definition, product_definition_context, product_definition_formation, product_definition_formation_relationship, product_relationship, property_definition, property_definition_representation, representation, representation_context, representation_item, representation_relationship, same_as_external_item_assignment, state_type, state_type_assignment, state_type_relationship
and
state_type_role
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
sbb_collection_membership_groupable_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
collection_membership_groupable_item
WITH
(action_method,
action_method_relationship,
applied_action_method_assignment,
applied_classification_assignment,
applied_description_text_assignment,
applied_external_identification_assignment,
applied_identification_assignment,
applied_name_assignment,
class,
collection_assignment,
collection_membership,
derived_unit,
derived_unit_element,
description_text,
document_file,
external_source,
general_property,
general_property_relationship,
identification_assignment_relationship,
measure_with_unit,
named_unit,
product,
product_definition,
product_definition_context,
product_definition_formation,
product_definition_formation_relationship,
product_relationship,
property_definition,
property_definition_representation,
representation,
representation_context,
representation_item,
representation_relationship,
same_as_external_item_assignment,
state_type,
state_type_assignment,
state_type_relationship,
state_type_role);
END_TYPE;
(*
The sbb_condition_action_method_items type is an extension
of the
condition_action_method_items type.
It adds the data
types
action_method, applied_action_method_assignment, applied_classification_assignment, applied_expression_assignment, applied_identification_assignment, general_property, parameter_value_select, product, product_definition_formation, property_definition, property_definition_representation
and
state_type_relationship
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
sbb_condition_action_method_items =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
condition_action_method_items
WITH
(action_method,
applied_action_method_assignment,
applied_classification_assignment,
applied_expression_assignment,
applied_identification_assignment,
general_property,
parameter_value_select,
product,
product_definition_formation,
property_definition,
property_definition_representation,
state_type_relationship);
END_TYPE;
(*
The sbb_description_item type is an extension
of the
description_item type.
It adds the data
types
action_method, action_method_relationship, applied_action_method_assignment, applied_description_text_assignment, applied_external_identification_assignment, applied_identification_assignment, class, derived_unit, document_file, expression, external_source, general_property, general_property_relationship, identification_assignment_relationship, measure_with_unit, named_unit, product, product_definition, product_definition_context, product_definition_formation, product_definition_formation_relationship, product_relationship, property_definition, property_definition_representation, representation, representation_item, representation_relationship, state_type, state_type_relationship
and
state_type_role
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
sbb_description_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
description_item
WITH
(action_method,
action_method_relationship,
applied_action_method_assignment,
applied_description_text_assignment,
applied_external_identification_assignment,
applied_identification_assignment,
class,
derived_unit,
document_file,
expression,
external_source,
general_property,
general_property_relationship,
identification_assignment_relationship,
measure_with_unit,
named_unit,
product,
product_definition,
product_definition_context,
product_definition_formation,
product_definition_formation_relationship,
product_relationship,
property_definition,
property_definition_representation,
representation,
representation_item,
representation_relationship,
state_type,
state_type_relationship,
state_type_role);
END_TYPE;
(*
The sbb_expression_assignment_item type is an extension
of the
expression_assignment_item type.
It adds the data
type
condition
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
sbb_expression_assignment_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
expression_assignment_item
WITH
(condition);
END_TYPE;
(*
The sbb_external_identification_item type is an extension
of the
external_identification_item type.
It adds the data
type
product
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
sbb_external_identification_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
external_identification_item
WITH
(product);
END_TYPE;
(*
The sbb_identification_item type is an extension
of the
identification_item type.
It adds the data
types
action_method, action_method_relationship, applied_action_method_assignment, applied_description_text_assignment, applied_external_identification_assignment, class, document_file, external_class_library, general_property, general_property_relationship, identification_assignment_relationship, product, product_definition, product_definition_context, product_definition_formation, product_relationship, property_definition, representation, representation_item, state_type, state_type_assignment
and
state_type_relationship
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
sbb_identification_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
identification_item
WITH
(action_method,
action_method_relationship,
applied_action_method_assignment,
applied_description_text_assignment,
applied_external_identification_assignment,
class,
document_file,
external_class_library,
general_property,
general_property_relationship,
identification_assignment_relationship,
product,
product_definition,
product_definition_context,
product_definition_formation,
product_relationship,
property_definition,
representation,
representation_item,
state_type,
state_type_assignment,
state_type_relationship);
END_TYPE;
(*
The sbb_parameter_value_select type is an extension
of the
parameter_value_select type.
It adds the data
types
product_definition, representation, representation_item
and
state_type
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
sbb_parameter_value_select =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
parameter_value_select
WITH
(product_definition,
representation,
representation_item,
state_type);
END_TYPE;
(*
The sbb_same_as_item type is an extension
of the
same_as_item type.
It adds the data
types
action_method, applied_action_method_assignment, applied_external_identification_assignment, derived_unit, derived_unit_element, description_text, external_source, general_property, measure_with_unit, named_unit, product, product_definition, product_definition_context, product_definition_formation, representation_context, state_type
and
state_type_role
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
sbb_same_as_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
same_as_item
WITH
(action_method,
applied_action_method_assignment,
applied_external_identification_assignment,
derived_unit,
derived_unit_element,
description_text,
external_source,
general_property,
measure_with_unit,
named_unit,
product,
product_definition,
product_definition_context,
product_definition_formation,
representation_context,
state_type,
state_type_role);
END_TYPE;
(*
The sbb_state_type_of_item type is an extension
of the
state_type_of_item type.
It adds the data
types
action_method, applied_action_method_assignment, applied_external_identification_assignment, document_file, group, product, product_definition
and
product_definition_formation
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
sbb_state_type_of_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
state_type_of_item
WITH
(action_method,
applied_action_method_assignment,
applied_external_identification_assignment,
document_file,
group,
product,
product_definition,
product_definition_formation);
END_TYPE;
(*
This subclause specifies the MIM entities for this
module. The MIM entities and definitions are specified below.
A sbb_characterized_applied_action_method_assignment is a type of
characterized_object
and
applied_action_method_assignment
EXPRESS specification:
*)
ENTITY sbb_characterized_applied_action_method_assignment
SUBTYPE OF (applied_action_method_assignment, characterized_object);
END_ENTITY;
(*
A sbb_characterized_general_property_relationship is a type of
characterized_object
and
general_property_relationship
EXPRESS specification:
*)
ENTITY sbb_characterized_general_property_relationship
SUBTYPE OF (characterized_object, general_property_relationship);
END_ENTITY;
(*
A sbb_characterized_generic_expression is a type of
characterized_object
and
generic_expression
EXPRESS specification:
*)
ENTITY sbb_characterized_generic_expression
SUBTYPE OF (characterized_object, generic_expression);
END_ENTITY;
(*
A sbb_characterized_product is a type of
characterized_object
and
product
EXPRESS specification:
*)
ENTITY sbb_characterized_product
SUBTYPE OF (characterized_object, product);
END_ENTITY;
(*
A sbb_characterized_product_definition_formation is a type of
characterized_object
and
product_definition_formation
EXPRESS specification:
*)
ENTITY sbb_characterized_product_definition_formation
SUBTYPE OF (characterized_object, product_definition_formation);
END_ENTITY;
(*
A sbb_characterized_product_definition_formation_relationship is a type of
characterized_object
and
product_definition_formation_relationship
EXPRESS specification:
*)
ENTITY sbb_characterized_product_definition_formation_relationship
SUBTYPE OF (characterized_object, product_definition_formation_relationship);
END_ENTITY;
(*
A sbb_characterized_property_definition_representation is a type of
characterized_object
and
property_definition_representation
EXPRESS specification:
*)
ENTITY sbb_characterized_property_definition_representation
SUBTYPE OF (characterized_object, property_definition_representation);
END_ENTITY;
(*
A sbb_characterized_representation is a type of
characterized_object
and
representation
EXPRESS specification:
*)
ENTITY sbb_characterized_representation
SUBTYPE OF (characterized_object, representation);
END_ENTITY;
(*
A sbb_characterized_representation_context is a type of
characterized_object
and
representation_context
EXPRESS specification:
*)
ENTITY sbb_characterized_representation_context
SUBTYPE OF (characterized_object, representation_context);
END_ENTITY;
(*
A sbb_characterized_representation_item is a type of
characterized_object
and
representation_item
EXPRESS specification:
*)
ENTITY sbb_characterized_representation_item
SUBTYPE OF (characterized_object, representation_item);
END_ENTITY;
(*
A sbb_characterized_state_type is a type of
characterized_object
and
state_type
EXPRESS specification:
*)
ENTITY sbb_characterized_state_type
SUBTYPE OF (characterized_object, state_type);
END_ENTITY;
(*
A sbb_characterized_state_type_assignment is a type of
characterized_object
and
state_type_assignment
EXPRESS specification:
*)
ENTITY sbb_characterized_state_type_assignment
SUBTYPE OF (characterized_object, state_type_assignment);
END_ENTITY;
(*
A sbb_characterized_state_type_relationship is a type of
characterized_object
and
state_type_relationship
EXPRESS specification:
*)
ENTITY sbb_characterized_state_type_relationship
SUBTYPE OF (characterized_object, state_type_relationship);
END_ENTITY;
(*
*)
END_SCHEMA; -- State_based_behaviour_mim
(*
© ISO 2011 — All rights reserved
