West M. Developing High Quality Data Models
Подождите немного. Документ загружается.
EXPRESS specification:
*)
ENTITY class_of_state_of_system
SUBTYPE OF(class_of_state_of_ordinary_physical_object);
END_ENTITY;
(*
17.17.2 Class_of_system
A class_of_state_of_system that is also a class_of_
ordinary_physical_object that is system or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_system
SUBTYPE OF(class_of_state_of_system,
class_of_ordinary_physical_object);
END_ENTITY;
(*
17.17.3 State_of_system
A state_of_ordinary_physical_object that is a system or a
temporal_part_of a system.
(RT) member_of S[1:?]
(RT) member_of S[1:?]
(RT) member_of kind S[1:?]
(RT) temporal_part_of S[1:?]
state_of_
system
class_of_state_
of_system
17,2 (8)
17,1 (8,18)
17,4 (8)
17,3 (8)
system
10,1 kind_of_
system
30,1 state_of_party
22,2 state_of_
biological_system
28,1 state_of_
functional_system
22,3 class_of_state_
of_biological_system
28,4 class_of_state_
of_functional_system
30,3 class_of_state_
of_party
30,2 party
22,1 biological_
system
28,10 functional_
system
30,4 class_of_party
22,4 class_of_
biological_system
28,5 class_of_
functional_system
10,1 kind_of_system
class_of_
system
Figure 17-17 HQDM_FRAMEWORK EXPRESS-G diagram 17 of 46.
252 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY state_of_system
SUBTYPE OF(state_of_ordinary_physical_object);
SELF\state_of_ordinary_
physical_object.temporal_part_of :OPTIONAL SET [1:?] OF
system;
SELF\state_of_ordinary_
physical_object.member_of :OPTIONALSET[1:?]OF
class_of_stat e_of_
system;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A tempo
ral_part_of relationship type where a
state_of_system may be a temporal_part_of
one or more system.
member_of A member_of relationship type where a
state_of_system may be a member_of one or
more class_of_state_of_system.
17.17.4 System
An ordinary_physical_object that is an organized or connected
group of physical_object.
EXPRESS specification:
*)
ENTITY system
SUBTYPE OF(state_of_system, ordinary_physical_object);
SELF\state_of_system.member_of :OPTIONAL SET [1:?] OF
class_of_system;
SELF\ordinary_physical_object.
member_of_kind :OPTIONAL SET [1:?] OF
kind_of_system;
END_ENTITY;
(*
Attribute definitions:
member_of A me
mber_of relationship type where a
system may be a member_of one or more
class_of_system.
member_of_kind A member_of_kind relationship type where a
system may be a member_of one or more
kind_of_system.
Chapter 17 HQDM_FRAMEWORK 253
17.18 System Component
Figure 17-18 shows the data model for system_component.A
system_component is a replaceable component of exactly one
system.Astate_of_system_component is a system_component or
a temporal_part_of a system_component.Astate_of_system_
component may be a member_of one or more class_of_state_of_
system_component,andasystem_component maybeamember_of
one or more class_of_system_component and one or more
kind_of_system_component.
17.18.1 Class_of_state_of_system_component
A class_of_state_of_physical_object that is state_of_system_
component or any of its subsets.
(RT) member_of S[1:?]
component_of S[1:?]
(RT) member_of S[1:?]
(RT) temporal_part_of S[1:?]
state_of_system_
component
class_of_state_
of_system_
component
18,1 (7)
17,1 system
18,2 (7)
18,4 (7)
18,3 (7)
system_
component
24,6 state_of_
biological_system_
component
28,3 state_of_
functional_system_
component
33,5 organization_
component
24,1 biological_
system_component
28,2 functional_
system_component
33,6 state_of_
organization_
component
19,2 installed_object
class_of_
system_
component
28,7 class_of_state_
of_functional_
system_component
33,2 class_of_state_
of_organization_
component
24,3 class_of_state_
of_biological_
system_component
19,1 class_of_
installed_object
33,4 class_of_
organization_
component
24,4 class_of_
biological_system_
component
28,8 class_of_
functional_system_
component
10,3 kind_of_system_
component
Figure 17-18 HQDM_FRAMEWORK EXPRESS-G diagram 18 of 46.
254 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY class_of_state_of_system_component
SUBTYPE OF(class_of_state_of_physical_object);
END_ENTITY;
(*
17.18.2 Class_of_system_component
A class_of_state_of_system_component that is also a class_of_
physical_object that is system_component or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_system_component
SUBTYPE OF(class_of_state_of_system_component,
class_of_physical_object);
END_ENTITY;
(*
17.18.3 State_of_system_component
A state_of_physical_object that is a system_component or a
temporal_part_of a system_component.
EXPRESS specification:
*)
ENTITY state_of_system_component
SUBTYPE OF(state_of_physical_object);
SELF\state_of_physical_
object.temporal_part_of :OPTIONAL SET [1:?] OF
system_component;
SELF\state_of_physical_
object.member_of :OPTIONAL SET [1:?] OF class_
of_state_of_system_
component;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A tempo
ral_part_of relationship type where a
state_of_system_component may be a
temporal_part_of one or more system_
component.
member_of A member_of relationship type where a
state_of_system_component may be a
member_of one or more class_of_state_of_
system_component.
Chapter 17 HQDM_FRAMEWORK 255
17.18.4 System_component
A physical_object that is a component_of a system and that
can be completely replaced without losing identity.
Note: A system_component is existence dependent on the
system it is a component of, unlike any ordinary_physical_
object that may be installed as the component.
EXPRESS specification:
*)
ENTITY system_component
SUBTYPE OF(physical_object, state_of_system_component);
component_of :SET [1:1] OF system;
SELF\physical_object.
member_of :OPTIONAL SET [1:?] OF class_of_
system_component;
END_ENTITY;
(*
Attribute definitions:
component_of A part_of r
elationship type where each system_
component is part_of exactly one system.
member_of A member_of relationship type where a
system_component may be a member_of one or
more class_of_system_component.
17.19 Installed Object
Figure 17-19 shows the data model for installed_object.An
installed_object is a state_of_ordinary_physical_object that is
(RT) member_of S[1:?]
installed_
object
19,2 (8,18)
class_of_
installed_object
19,1 (8,18)
28,9 installed_
functional_
system_component
24,5 in_place_
biological_
component
33,7 person_in_
position
28,6 class_of_
installed_functional_
system_component
24,2 class_of_in_
place_biological_
component
33,1 class_of_
person_in_position
Figure 17-19 HQDM_FRAMEWORK
EXPRESS-G diagram 19 of 46.
256 Chapter 17 HQDM_FRAMEWORK
also a state_of_system_component from when the ordinary_
physical_object is installed as a system_component to when it is
removed. An installed_object may be a member_of one or more
class_of_installed_object.
17.19.1 Class_of_installed_object
A class_of_state_of_system_component that is also a class_
of_state_of_ordinary_physical_object that is installed_object
or any of its subse ts.
EXPRESS specification:
*)
ENTITY class_of_installed_object
SUBTYPE OF(class_of_state_of_system_component,
class_of_state_of_ordinary_physical_object);
END_ENTITY;
(*
17.19.2 Installed_object
A state_of_ordinary_physical_object that is also a state_of_
system_component that is a temporal_part_of an ordinary_
physical_object from when it is installed as a system_component
to when it is removed.
EXPRESS specification:
*)
ENTITY installed_object
SUBTYPE OF(state_of_ordinary_physical_object,
state_of_system_component);
SELF\state_of_ordinary_
physical_object.member_of :OPTIONAL SET [1:?] OF
class_of_installed_
object;
END_ENTITY;
(*
Attribute definitions:
member_of A mem
ber_of relationship type where an
installed_object may be a member_of one or more
class_of_installed_object.
17.20 Biological Object
Figure 17-20 shows the data model for biological_object.
A biological_object is a physical_object from the biological
Chapter 17 HQDM_FRAMEWORK 257
realm. A state_of_biological_object is a biological_object or a
temporal_part_of a biological_object.
A state_of_biological_object may be a member_of one or
more class_of_state_of_biologica l_object and a biological_
object may be a member_of one or more class_of_biological_
object and kind_of_biological_object.
17.20.1 Biological_object
A state_of_biological_object that is also a physical_object
that sustains itself and reproduces.
EXPRESS specification:
*)
ENTITY biological_object
SUBTYPE OF(state_of_biological_object, physical_object);
SELF\state_of_biological_
object.member_of :OPTIONAL SET [1:?] OF class_of_
biological_object;
SELF\physical_object.
member_of_kind :OPTIONAL SET [1:?] OF kind_of_
biological_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_
biological_object
class_of_state_of_
biological_object
20,2 (7)
20,1 (7)
20,3 (7)
20,4 (7)
biological_
object
9,8 kind_of_
biological_object
21,2 ordinary_
biological_object
24,1 biological_
system_component
24,4 class_of_
biological_system_
component
21,3 class_of_
ordinary_
biological_object
24,6 state_of_
biological_system_
component
21,1 state_of_
ordinary_
biological_object
24,3 class_of_state_
of_biological_system_
component
21,4 class_of_state_
of_ordinary_
biological_object
9,8 kind_of_
biological_object
class_of_
biological_object
Figure 17-20 HQDM_FRAMEWORK EXPRESS-G diagram 20 of 46.
258 Chapter 17 HQDM_FRAMEWORK
Attribute definitions:
member_of A me
mber_of relationship type where a
biological_object may be a member_of one
or more class_of_biological_object.
member_of_kind A member_of relationship type where a
biological_object may be a member_of one
or more kind_of_biological_object.
17.20.2 Class_of_biological_object
A class_of_state_of_biological_object and class_of_physical_
object that is biological_object or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_biological_object
SUBTYPE OF(class_of_state_of_biological_object,
class_of_physical_object);
END_ENTITY;
(*
17.20.3 Class_of_state_of_biological_object
A class_of_state_of_physical_object that is state_of_biological_
object or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_state_of_biological_object
SUBTYPE OF(class_of_state_of_physical_object);
END_ENTITY;
(*
17.20.4 State_of_biological_object
A state_of_physical_object that is a biological_object or a
temporal_part_of a biological_object.
EXPRESS specification:
*)
ENTITY state_of_biological_object
SUBTYPE OF(state_of_physical_object);
SELF\state_of_physical_
object.temporal_part_of :OPTIONAL SET [1:?] OF
biological_object;
Chapter 17 HQDM_FRAMEWORK 259
SELF\state_of_physical_
object.member_of :OPTIONAL SET [1:?] OF class_
of_state_of_biological_
object;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A temporal_part_of relationship
type where a
state_of_biological_object may be a
temporal_part_of one or more
biological_object.
member_of A member_of relationship type where a
state_of_biological_object may be a
member_of one or more
class_of_biological_object.
17.21 Ordinary Biological Object
Figure 17-21 shows the data model for ordinary_biological_
object.Anordinary_biological_object is a biological_object that
does not survive having all its parts changed at once. A
state_of_ordinary_biological_object is an ordinary_biological_
object or a temporal_part_of an ordinary_biological_object.
A state_of_ ordinary_biological_object may be a member_of
one or more class_o f_state_of_ordinary_biological_object.An
ordinary_biological_object may be a member_of one or more
class_of_biological_object and kind_of_biological_object.
17.21.1 Class_of_ordinary_biological_object
A class_of_biological_object, class_of_ordinary_physical_
object and class_of_state_of_ordinary_biological_object that is
ordinary_biological_object or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_ordinary_biological_object
SUBTYPE OF(class_of_biological_object, class_of_state_of_
ordinary_biological_object, class_of_ordinary_
physical_object);
END_ENTITY;
(*
260 Chapter 17 HQDM_FRAMEWORK
17.21.2 Class_of_state_of_ordinary_
biological_object
A class_of_state_of_biological_object that is also a class_of_
state_of_ordinary_physical_object that is state_of_ordinary_
biological_object or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_state_of_ordinary_biological_object
SUBTYPE OF(class_of_state_of_biological_object,
class_of_state_of_ordinary_physical_object);
END_ENTITY;
(*
17.21.3 Ordinary_biological_object
A state_of_ordinary_biological_object,abiological_object,
and an ordinary_physical_object that is a biological_object
that does not survive the replacement of all of its parts.
(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_
biological_object
class_of_state_of_
ordinary_
biological_object
21,1 (8,20)
21,2 (8,20)
21,4 (8,20)
21,3 (8,20)
ordinary_
biological_object
9,9 kind_of_ordinary_
biological_system
22,1 biological_
system
22,4 class_of_
biological_system
24,5 in_place_
biological_
component
22,2 state_of_
biological_system
24,2 class_of_in_
place_biological_
component
22,3 class_of_state_
of_biological_system
9,9 kind_of_ordinary_
biological_object
class_of_
ordinary_
biological_object
Figure 17-21 HQDM_FRAMEWORK EXPRESS-G diagram 21 of 46.
Chapter 17 HQDM_FRAMEWORK 261