West M. Developing High Quality Data Models
Подождите немного. Документ загружается.
EXPRESS specification:
*)
ENTITY ordinary_biological_object
SUBTYPE OF(state_of_ordinary_biological_object,
biological_object, ordinary_physical_object);
SELF\state_of_ordinary_
biological_object.member_of :OPTIONAL SET [1:?] OF
class_of_ordinary_
biological_object;
SELF\biological_object.member_
of_kind :OPTIONAL SET [1:?] OF
kind_of_ordinary_
biological_object;
END_ENTITY;
(*
Attribute definitions:
member_of A mem
ber_of relationship type where an
ordinary_biological_object may be a
member_of one or more
class_of_ordinary_biological_object.
member_of_kind A member_of relationship type where an
ordinary_biological_object may be a
member_of one or more
kind_of_ordinary_biological_object.
17.21.4 State_of_ordinary_biological_object
A state_of_biological_object that is also a state_of_
ordinary_physical_object that is an ordinary_biological_object
or a temporal_part_of an ordinary_bi ological_object.
EXPRESS specification:
*)
ENTITY state_of_ordinary_biological_object
SUBTYPE OF(state_of_biological_object,
state_of_ordinary_physical_object);
SELF\state_of_biological_
object.temporal_part_of :OPTIONAL SET [1:?] OF
ordinary_biological_
object;
SELF\state_of_biological_
object.member_of :OPTIONAL SET [1:?] OF class_
of_state_of_ordinary_
biological_object;
END_ENTITY;
(*
262 Chapter 17 HQDM_FRAMEWORK
Attribute definitions:
temporal_part_of A tempo
ral_part_of relationship type where a
state_of_ordinary_biological_object may be
a temporal_part_of one or more
ordinary_biological_object.
member_of A member_of relationship type where a
state_of_ordinary_biological_object may be
a member_of one or more
class_of_state_of_ordinary_biological_object.
17.22 Biological System
Figure 17-22 shows the data model for biological_system.A
biological_system is a system from the biological realm, includ-
ing living things and ecosystems. A state_of_biological_system is
a biological_system or a temporal_part_of a biological_system.
A state_of_biological_system may be a member_of one or
more class_of_state_of_biological_system .Abiologica l_system
may be a member_of one or more class_of_biological_system
and kind_of_biological_system.
17.22.1 Biological_system
Any system that is also an ordinary_biological_object and a
state_of_biological_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_
biological_system
class_of_state_of_
biological_system
22,2 (17,21)
22,1 (17,21,24)
22,3 (17,21)
22,4 (17,21)
16,4 role
natural_role
biological_system
10,6 kind_of_
biological_system
23,5 person
23,2 class_of_
person
23,1 state_of_
person
23,3 class_of_state_
of_person
10,6 kind_of_
biological_system
class_of_
biological_system
Figure 17-22 HQDM_FRAMEWORK EXPRESS-G diagram 22 of 46.
Chapter 17 HQDM_FRAMEWORK 263
EXPRESS specification:
*)
ENTITY biological_system
SUBTYPE OF(ordinary_biological_object,
state_of_biological_system, system);
SELF\ordinary_biological_
object.member_of :OPTIONAL SET [1:?] OF class_
of_biological_system;
natural_role :role;
SELF\ordinary_biological_
object.member_of_kind :OPTIONAL SET [1:?] OF
kind_of_biological_system;
END_ENTITY;
(*
Attribute definitions:
member_of A mem
ber_of relationship type where a
biological_system may be a member_of one
or more class_of_biological_system.
natural_role A member_of relationship type where a
biological_system has a natural role that it
plays.
Example: My circulat ory system has the natural_
role of circulating blood around the body.
member_of_kind A member_of_kind relationship type where a
biological_system may be a member_of one
or more kind_of_biological_system.
17.22.2 Class_of_biological_system
A class_of_state_of_biological_system, class_of_ordinary_
biological_object, and class_of_system that is biological_
system or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_biological_system
SUBTYPE OF(class_of_state_of_biological_system, class_of_
ordinary_biological_object, class_of_system);
END_ENTITY;
(*
17.22.3 Class_of_state_of_biological_system
A class_of_state_of_ordinar y_biological_object and class_
of_state_of_system that is state_of_biological_system or any of
its subsets.
264 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY class_of_state_of_biological_system
SUBTYPE OF(class_of_state_of_ordinary_biological_object,
class_of_state_of_system);
END_ENTITY;
(*
17.22.4 State_of_biological_system
A state_of_ordinary_biologi cal_object and state_of_system that
is biological_system or a temporal_part_of a biological_system.
EXPRESS specification:
*)
ENTITY state_of_biological_system
SUBTYPE OF(state_of_ordinary_biological_object,
state_of_system);
SELF\state_of_ordinary_biological_
object.temporal_part_of :OPTIONAL SET [1:?] OF
biological_system;
SELF\state_of_ordinary_biological_
object.member_of :OPTIONAL SET [1:?] OF
class_of_state_of_
biological_system;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A t
emporal_part_of relationship type where a
state_of_biological_system may be a
temporal_part_of one or more
biological_system.
member_of A member_of relationship type where a
state_of_biological_system may be a
member_of one or more
class_of_state_of_biological_system.
17.23 Person
Figure 17-2 3 shows a data model for person.Aperson is a
biological_system that is a human being. A state_of_person is
a person or a temporal_part_of a person.
A state_of_person maybeamem ber _o f one or more class_of_
state_of_person.Aperson may be a member_of one or more
class_of_per son and kind_of_person.
Chapter 17 HQDM_FRAMEWORK 265
17.23.1 Class_of_person
A class_of_biological_system, class_of_state_of_person, and
class_of_party that is person or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_person
SUBTYPE OF(class_of_biological_system,
class_of_state_of_person, class_of_party);
END_ENTITY;
(*
17.23.2 Class_of_state_of_person
A class_of_state_of_biological_system and class_of_state_
of_party that is state_of_person or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_state_of_person
SUBTYPE OF(class_of_state_of_biological_system,
class_of_state_of_party);
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_
person
class_of_state_of_
person
23,1 (22,30)
23,5 (22,30)
23,3 (22,30)
23,2 (22,30)
person
32,3 employee
33,7 person_in_
position
class_of_
person
23,4 (30)
kind_of_
person
Figure 17-23 HQDM_FRAMEWORK EXPRESS-G diagram 23 of 46.
266 Chapter 17 HQDM_FRAMEWORK
17.23.3 Kind_of_person
A class_of_person that is also a kind_of_party whose
members are all of the same kind.
EXPRESS specification:
*)
ENTITY kind_of_person
SUBTYPE OF(kind_of_party, class_of_person);
END_ENTITY;
(*
17.23.4 Person
A biological_system that is also, a state_of_person, and a
party that is a human being.
EXPRESS specification:
*)
ENTITY person
SUBTYPE OF(biological_system, state_of_person, party);
SELF\biological_system.member_of :OPTIONAL SET [1:?] OF
class_of_person;
SELF\biological_system.
member_of_kind :OPTIONAL SET [1:?] OF
kind_of_person;
END_ENTITY;
(*
Attribute definitions:
member_of A me
mber_of relationship type where a
person may be a member_of one or more
class_of_person.
member_of_kind A member_of_kind relationship type where a
person may be a member_of one or more
kind_of_person.
17.23.5 State_of_person
A state_o f_biological_system and state_of_party that is a
person or a temporal_part_of a person.
EXPRESS specification:
*)
ENTITY state_of_person
SUBTYPE OF(state_of_biological_system, state_of_party);
Chapter 17 HQDM_FRAMEWORK 267
SELF\state_of_biological_
system.temporal_part_of :OPTIONAL SET [1:?] OF person;
SELF\state_of_biological_
system.member_of :OPTIONAL SET [1:?] OF
class_of_state_of_person;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A temporal_part_of relationship
type where a
state_of_person may be a temporal_part_of
one or more person.
member_of A member_of relationship type where a
state_of_person may be a member_of one or
more class_of_state_of_person.
17.24 Biological System Component
Figure 17-24 shows the data model for biological_system_
component.Abiological_system_component is a component
(RT) member_of S[1:?]
(RT) member_of S[1:?]
(RT) member_of S[1:?]
(RT) component_of S[1:1]
(RT) temporal_part_of S[1:?]
state_of_
biological_system_
component
class_of_state_of_
biological_system_
component
24,6 (18,20)
24,1 (18,20)
24,5 (19,21)
24,2 (19,21)
24,3 (18,20)
24,4 (18,20)
22,1 biological_system
biological_system_
component
class_of_in_
place_biological_
component
in_place_
biological_
component
10,4 kind_of_
biological_system_
component
class_of_
biological_system_
component
Figure 17-24 HQDM_FRAMEWORK EXPRESS-G diagram 24 of 46.
268 Chapter 17 HQDM_FRAMEWORK
of a biological_system, such as the heart of an animal.
A state_of_biological_system_component is a biological_
system_component or a temporal_part_of a biological_system_
component.
A state_of_biological_system_component may be a
member_of one or more class_of_state_of_biological_
system_component and one or more kind_of_biological_
system_ component.
An in_place_biological_component is an installed_object that
is in a biological_system.Anin_place_biological_component
may be a member_of one or more class_of_in_place_
biological_component.
17.24.1 Biological_system_component
A biological_object, state_of_biological_system_compo-
nent, and system_component that is any biological_object that
is also a system_component.
EXPRESS specification:
*)
ENTITY biological_system_component
SUBTYPE OF(biological_object, state_of_biological_
system_component, system_component);
SELF\system_component.
component_of :SET [1:1] OF biological_system;
SELF\biological_object.
member_of :OPTIONAL SET [1:?] OF class_of_
biological_system_component;
END_ENTITY;
(*
Attribute definitions:
component_of A comp
onent_of relationship type where a
biological_system_component is a
component_of exactly one biological_system.
member_of A member_of relationship type where a biological_
system_component maybeamember_of one or
more class_of_biological_system_component.
17.24.2 Class_of_biological_system_component
A class_of_biological_object, class_of_state_of_biologica l_
system_component, and class_of_system_component that is
biological_system_component or any of its subsets.
Chapter 17 HQDM_FRAMEWORK 269
EXPRESS specification:
*)
ENTITY class_of_biological_system_component
SUBTYPE OF(class_of_biological_object, class_of_state_of_
biological_system_component, class_of_system_
component);
END_ENTITY;
(*
17.24.3 Class_of_in_place_biological_component
A class_of_state_of_biological_system_component, that is also
a class_of_state_of_ordinary_biological_object, and a class_of_
installed_object that is in_place_biological_component or any of
its subsets.
EXPRESS specification:
*)
ENTITY class_of_in_place_biological_component
SUBTYPE OF(class_of_state_of_biological_system_component,
class_of_state_of_ordinary_biological_object,
class_of_installed_object);
END_ENTITY;
(*
17.24.4 Class_of_state_of_biological_
system_component
A class_of_state_of_biological_object and class_of_state_of_
system_component that is state_of_biological_system_
component or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_state_of_biological_system_component
SUBTYPE OF(class_of_state_of_biological_object,
class_of_state_of_system_component);
END_ENTITY;
(*
17.24.5 In_place_biological_component
An installed_object that is also a state_of_ordinary_
biological_object and a state_of_system_component.
270 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY in_place_biological_component
SUBTYPE OF(state_of_biological_system_component, installed_
object, state_of_ordinary_biological_object);
SELF\state_of_biological_
system_component.member_of :OPTIONAL SET [1:?] OF
class_of_in_place_
biological_component;
END_ENTITY;
(*
Attribute definitions:
member_of A mem
ber_of relationship type where an
in_place_biological_component may be a
member_of one or more
class_of_in_pla ce_biological_component.
17.24.6 State_of_biological_system_component
A state_of_biological_system_component and state_of_
system_component that is a biological_system_component or
a temporal_part_of a biological_system _component.
EXPRESS specification:
*)
ENTITY state_of_biological_system_component
SUBTYPE OF(state_of_biological_object,
state_of_system_component);
SELF\state_of_biological_
object.temporal_part_of :OPTIONAL SET [1:?] OF
biological_system_
component;
SELF\state_of_biological_
object.member_of :OPTIONAL SET [1:?] OF class_
of_state_of_biological_
system_component;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A tempo
ral_part_of_relationship type where
a state_of_biological_system_component
may be a temporal_part_of one or more
biological_system_component.
Chapter 17 HQDM_FRAMEWORK 271