West M. Developing High Quality Data Models
Подождите немного. Документ загружается.
member_of A member_of relationship type where a
state_of_biological_system_component may
be a member_of one or more class_
of_state_of_biological_system_component.
17.25 Intentionally Constructed Object
Figure 17-25 shows the data model for intentionally_
constructed_object.Anintentionally_constructed_object is
an individual that is intentionally created to be what it is.
A state_of_intentionally_constructed_object is an intentionally_
constructed_object or a temporal_part_of an intentionally_
constructed_object.
A state_of_intentionally_constructed_object maybea
member_of one or more class_of_state_of_ intentionally_
constructed_object.Anintentionally_constructed_object may be
a member_of one or more class_of_intentionally_constructed_
object and kind_of_intentionally_constructed_ object.
(RT) member_of S[1:?]
(RT) member_of S[1:?]
(RT) member_of_kind S[1:?]
(RT) temporal_part_of S[1:?]
state_of_intentionally_
constructed_object
class_of_state_of_
intentionally_
constructed_object
25,1 (6)
25,2 (6)
25,4 (6)
25,3 (6)
intentionally_
constructed_object
9,4 kind_of_intentionally_
constructed_object
26,2 functional_
object
29,2 socially_
constructed_object
29,1 state_of_
socially_
constructed_object
26,1 state_of_
functional_object
29,3 class_of_
state_of_socially_
constructed_object
26,3 class_of_state_
of_functional_object
class_of_
intentionally_
constructed_object
26,4 class_of_
functional_object
29,4 class_of_
socially_
constructed_object
9,4 kind_of_
intentionally_
constructed_object
Figure 17-25 HQDM_FRAMEWORK EXPRESS-G diagram 25 of 46.
272 Chapter 17 HQDM_FRAMEWORK
17.25.1 Class_of_intentionally_constructed_object
A class_of_individual that is also a class_of_state_of_intentionally_
constructed_object that is intentionally_constructed_object or any of
its subsets.
EXPRESS specification:
*)
ENTITY class_of_intentionally_constructed_object
SUBTYPE OF(class_of_individual, class_of_state_of_
intentionally_constructed_object);
END_ENTITY;
(*
17.25.2 Class_of_state_of_intentionally_
constructed_object
A class_of_state that is state_of_intention ally_constructed_
object or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_state_of_intentionally_constructed_object
SUBTYPE OF(class_of_state);
END_ENTITY;
(*
17.25.3 Intentionally_constructed_object
An individual and state_of_intentionally_constructed_
object that is intentionally constructed.
Note: Being intentionally constructed means that it is an act
of will or agreement that makes it what it is.
EXPRESS specification:
*)
ENTITY intentionally_constructed_object
SUBTYPE OF(individual,
state_of_intentionally_constructed_object);
SELF\individual.member_of :OPTIONAL SET [1:?] OF
class_of_intentionally_
constructed_object;
SELF\individual.member_of_kind :OPTIONAL SET [1:?] OF
kind_of_intentionally_
constructed_object;
END_ENTITY;
(*
Chapter 17 HQDM_FRAMEWORK 273
Attribute definitions:
member_of A mem
ber_of relationship type where an
intentionally_constructed_object may be a
member_of one or more
class_of_intentionally_constructed_object.
member_of_kind A member_of_kind relationship type where
an intentionally_constructed_object may be
a member_of one or more kind_of_
intentionally_constructed_object.
17.25.4 State_of_intentionally_constructed_object
A state that is an intentionally_constructed_object or a
temporal_part_of an intentionally_constructed_object.
EXPRESS specification:
*)
ENTITY state_of_intentionally_constructed_object
SUBTYPE OF(state);
SELF\state.temporal_part_of :OPTIONAL SET [1:?] OF
intentionally_constructed_
object;
SELF\state.member_of :OPTIONAL SET [1:?] OF class_
of_state_of_intentionally_
constructed_object;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A te
mporal_part_of relationship type where a
state_of_intentionally_constructed_object
may be a temporal_part_of one or more
intentionally_constructed_object.
member_of A member_of relationship type where a
state_of_intentionally_constructed_object may
be a member_of one or more class_
of_state_of_intentionally_constructed_object.
17.26 Functional Object
Figure 17-26 shows the data model for functional_object.A
functional_object is a physical_object that was intentionally
created to be what it is and has an intended role.Astate_of_
functional_object is a functional_object or a temporal_part_of
a functional_object.
274 Chapter 17 HQDM_FRAMEWORK
A state_of_functional_object may be a member_of one or
more class_of_state_of_functional_object.Afunctional_object
may be a member_of one or more class_of_functional_object
and kind_of_functional_object.
17.26.1 Class_of_functional_object
A class_of_physical_object, class_of_intention ally_
constructed_object, and class_of_state_of_functional_object
that is functional_object or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_functional_object
SUBTYPE OF(class_of_physical_object, class_of_intentionally_
constructed_object, class_of_state_of_functional_
object);
END_ENTITY;
(*
(RT) member_of S[1:?]
(RT) member_of S[1:?]
(RT) member_of_kind S[1:?]
(RT) temporal_part_of S[1:?]
state_of_
functional_object
class_of_state_of_
functional_object
26,1 (7, 25)
26,2 (7,25)
26,4 (7,25)26,3 (7,25)
functional_
object
27,4 ordinary_
functional_object
28,2 functional_
system_component
27,2 class_of_
ordinary_
functional_object
28,3 state_of_
functional_
system_component
27,1 state_of_
ordinary_
functional_object
27,3 class_of_state_
of_ordinary_
functional_object
9,7 kind_of_
functional_object
class_of_
functional_object
16,4 role
intended_role S[1:?]
9,7 kind_of_
functional_object
Figure 17-26 HQDM_FRAMEWORK EXPRESS-G diagram 26 of 46.
Chapter 17 HQDM_FRAMEWORK 275
17.26.2 Class_of_state_of_functional_object
A class_of_state_of_physical_object and class_of_state_of_
intentionally_constructed_object that is state_of_functional_object
or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_state_of_functional_object
SUBTYPE OF(class_of_state_of_physical_object, class_of_
state_of_intentionally_constructed_object);
END_ENTITY;
(*
17.26.3 Functional_object
An intentionally_constructed_object that is also a physical_
object that has an intended_role.
EXPRESS specification:
*)
ENTITY functional_object
SUBTYPE OF(intentionally_constructed_object,
state_of_functional_object, physical_object);
SELF\intentionally_
constructed_object.member_of :OPTIONAL SET [1:?] OF
class_of_functional_
object;
intended_role :SET [1:?] OF role;
SELF\intentionally_constructed_
object.member_of_kind :OPTIONAL SET [1:?] OF
kind_of_functional_
object;
END_ENTITY;
(*
Attribute definitions:
member_of A mem
ber_of relationship type where a
functional_object may be a member_of one
or more class_of_functional_object.
intended_role A relationship type where a functional_object
has one or more intended role(s).
member_of_kind A member_of_kind relationship type where a
functional_object may be a member_of one
or more kind_of_functional_object.
276 Chapter 17 HQDM_FRAMEWORK
17.26.4 State_of_functional_object
A state_of_intentionally_constructed_object and state_of_
physical_object that is a functional_ object or a temporal_
part_of a functional_object.
EXPRESS specification:
*)
ENTITY state_of_functional_object
SUBTYPE OF(state_of_intentionally_constructed_object,
state_of_physical_object);
SELF\state_of_intentionally_
constructed_object.
temporal_part_of :OPTIONAL SET [1:?] OF
functional_object;
SELF\state_of_intentionally_
constructed_object.
member_of :OPTIONAL SET [1:?] OF class_
of_state_of_functional_
object;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A tempo
ral_part_of relationship type where a
state_of_functional_ object may be a
temporal_part_of one or more
functional_object.
member_of A member_of relationship type where a
state_of_functional_ object may be a
member_of one or more
class_of_state_of_functional_object.
17.27 Ordinary Functional Object
Figure 17-27 shows the data model for ordinary _functional_
object.Anordinary_functional_object is a functional_object
that does not survive the simultaneous replacement of all its
parts. A state_of_ordinary_functional_object is an ordinary_
functional_object or a temporal_part_of an ordinary_
functional_object.
A state_of_ordinary_functional_object may be a member_of
one or more class_of_state_of_ordinary_functional_object.An
ordinary_functional_object may be a member_of one or more
class_of_ordinary_functional_object and kind_of_ordinary_
functional_object.
Chapter 17 HQDM_FRAMEWORK 277
17.27.1 Class_of_ordinary_functional_object
A class_of_state_of_ordinary_functional_object,thatisalsoa
class_of_functional_object,andaclass_of_ordinary_physical_
object that is ordinary_functional_object or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_ordinary_functional_object
SUBTYPE OF(class_of_state_of_ordinary_functional_object,
class_of_functional_object, class_of_ordinary_
physical_object);
END_ENTITY;
(*
17.27.2 Class_of_state_of_ordinary_
functional_object
A class_of_state_of_functional_object that is also a class_of_
state_of_ordinary_physical_object that is state_of_ordinary_
functional_object or any of its subsets.
(RT) member_of S[1:?]
(RT) member_of S[1:?]
(RT) member_of_kind S[1:?]
(RT) temporal_part_of S[1:?]
state_of_ordinary_
functional_object
class_of_state_of_
functional_object
27,1 (8, 26)
27,4 (8,26)
27,3 (8,26)
27,2 (8,26)
ordinary_
functional_object
9,6 kind_of_ordinary_
functional_object
28,5 class_of_
functional_system
43,2 class_of_
sales_product_
instance
28,9 installed_
functional_
system_component
43,5 state_of_
sales_product_
instance
28,1 state_of_
functional_system
28,4 class_of_state_
of_functional_
system
28,7 class_of_state_
of_functional_
system_component
43,3 class_of_state_
of_sales_
product_instance
28,10 functional_
system
43,4 sales_
product_instance
9,6 kind_of_ordinary_
functional_object
class_of_ordinary_
functional_object
Figure 17-27 HQDM_FRAMEWORK EXPRESS-G diagram 27 of 46.
278 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY class_of_state_of_ordinary_functional_object
SUBTYPE OF(class_of_state_of_functional_object,
class_of_state_of_ordinary_physical_object);
END_ENTITY;
(*
17.27.3 Ordinary_functional_object
Any state_of_ordinary_functional_object and ordinary_
physical_object that is a functional_object.
EXPRESS specification:
*)
ENTITY ordinary_functional_object
SUBTYPE OF(functional_object, state_of_ordinary_
functional_object, ordinary_physical_object);
SELF\functional_object.
member_of :OPTIONAL SET [1:?] OF class_of_
ordinary_functional_object;
SELF\functional_object.
member_of_kind :OPTIONAL SET [1:?] OF kind_of_
ordinary_functional_object;
END_ENTITY;
(*
Attribute definitions:
member_of A me
mber_of relationship type where an
ordinary_functional_object may be a
member_of one or more
class_of_ordinary_functional_object.
member_of_kind A member_of relationship type where an
ordinary_functional_object may be a
member_of one or more
kind_of_ordinary_functional_object.
17.27.4 State_of_ordinary_functional_object
Any state_of_functional_object that is also a state_of_
ordinary_physical_object.
EXPRESS specification:
*)
ENTITY state_of_ordinary_functional_object
Chapter 17 HQDM_FRAMEWORK 279
SUBTYPE OF(state_of_functional_object,
state_of_ordinary_physical_object);
SELF\state_of_functional_
object.temporal_part_of :OPTIONAL SET [1:?] OF
ordinary_functional_object;
SELF\state_of_functional_
object.member_of :OPTIONAL SET [1:?] OF class_
of_state_of_ordinary_
functional_object;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A temporal_part_of relationship
type where a
state_of_ordinary_functional_object may be
a temporal_part_of one or more
ordinary_functional_object.
member_of A member_of relationship type where a
state_of_ordinary_functional_object may be
a member_of one or more class_of_state_
of_ordinary_functional_object.
17.28 Functional System
Figure 17-28 shows the data model for functional_system.
A functional_system is a functional_object that is also a system.
A state_of_functional_system is a functional_system or a
temporal_part_of a functional_system .
A state_of_functional_system maybeamember_of one or
more class_of_state_of_functi onal_system.Afunctional_system
maybeamember_of one or more class_of_functional_system and
kind_of_functional_system.
A functional_system_component is a functional_object that is
a system_component.Astate_of_functional_system_component
is a functional_system_component or a temporal_part_of a
functional_system_component.
A state_of_functional_system_c omponent maybeamember_of
one or more class_of_state_of_functional_system_component.A
functional_system_component maybeamember_of one or more
class_of_functional_system_component and kind_of_functional_
system_component.
An installed_functional_system_component is a state_of_
functional_system_component, installed_object, and state_
of_ordinary_functio nal_object that is the temporal_part_of the
ordinary_functional_object wh ile it is installed.
280 Chapter 17 HQDM_FRAMEWORK
An installed_functional_system_component may be a member_of
one or more class_of_installed_functional_system_component.
17.28.1 Class_of_functional_system
A class_of_state_of_functional_system,thatisalsoaclass_
of_ordinary_functional_object,andaclass_of_system that is
functional_ system or any of its subsets.
(RT) member_of S[1:?](RT) member_of S[1:?]
(RT) member_of kind S[1:?]
(RT) temporal_part_of S[1:?]
state_of_
functional_system
class_of_state_
of_functional_
system
class_of_
functional_
system
functional_
system
28,1 (17,27)
28,10 (17,27)
28,5 (17,27)
28,4 (17,27)
state_of_
functional_system_
component
functional_
system_
component
28,3 (18,26)
10,2 kind_of_
functional_system
10,2 kind_of_
functional_system
10,5 kind_of_
functional_system_
component
10,5 kind_of_
functional_system_
component
(RT) member_of S[1:?]
(RT) component_of S[1:1]
(RT) member_of_kind S[1:?]
(RT) member_of S[1:?]
(RT) temporal_part_of S[1:?]
class_of_state_
of_functional_
system_component
class_of_
functional_
system_component
28,2 (18,26)
28,8 (18)
28,7 (18,27)
installed_
functional_system_
component
class_of_installed_
functional_system_
component
28,9 (19,27)
(RT) member_of S[1:?]
28,6 (19)
Figure 17-28 HQDM_FRAMEWORK EXPRESS-G diagram 28 of 46.
Chapter 17 HQDM_FRAMEWORK 281