West M. Developing High Quality Data Models
Подождите немного. Документ загружается.
EXPRESS specification:
*)
ENTITY class_of_functional_system
SUBTYPE OF(class_of_state_of_functional_system, class_of_
ordinary_functional_object, class_of_system);
END_ENTITY;
(*
17.28.2 Class_of_functional_system_component
A class_of_state_of_functional_system_component and class_
of_system_component that is functional_system_component
and any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_functional_system_component
SUBTYPE OF(class_of_state_of_functional_system_component,
class_of_system_component);
END_ENTITY;
(*
17.28.3 Class_of_installed_functional_
system_component
A class_of_state_of_functional_system_component that is also
a class_of_installed_object that is installed_functional_system_
component and any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_installed_functional_system_component
SUBTYPE OF(class_of_state_of_functional_system_component,
class_of_installed_object);
END_ENTITY;
(*
17.28.4 Class_of_state_of_functional_system
A class_of_state_of_ordinary_functional_object that is also a
class_of_state_of_system that is state_of_functional_system or
any of its subsets .
EXPRESS specification:
*)
ENTITY class_of_state_of_functional_system
282 Chapter 17 HQDM_FRAMEWORK
SUBTYPE OF(class_of_state_of_ordinary_functional_object,
class_of_state_of_system);
END_ENTITY;
(*
17.28.5 Class_of_state_of_functional_
system_component
A class_of_state_of_ordinary_functional_ object that is also a
class_of_state_of_system_ component that is state_of_functional_
system_component or any of its subsets .
EXPRESS specification:
*)
ENTITY class_of_state_of_functional_system_component
SUBTYPE OF(class_of_state_of_ordinary_functional_object,
class_of_state_of_system_component);
END_ENTITY;
(*
17.28.6 Functional_system
Any state_of_functional_system that is also an ordinary_
functional_object and a system.
EXPRESS specification:
*)
ENTITY functional_system
SUBTYPE OF(system, state_of_functional_system,
ordinary_functional_object);
SELF\system.member_of :OPTIONAL SET [1:?] OF
class_of_functional_system;
SELF\system.member_of_kind :OPTIONAL SET [1:?] OF
kind_of_functional_system;
END_ENTITY;
(*
Attribute definitions:
member_of A me
mber_of relationship type where a
functional_system may be a member_of one
or more class_of_functional_system.
member_of_kind A member_of_kind relationship type where a
functional_system may be a member_of one
or more kind_of_functional_system.
Chapter 17 HQDM_FRAMEWORK 283
17.28.7 Functional_system_component
An intentionally_constructed_object that is a replaceable
component_of a functional_system.
EXPRESS specification:
*)
ENTITY functional_system_component
SUBTYPE OF(functional_object, state_of_functional_
system_component, system_component);
SELF\system_component.
component_of :SET [1:1] OF functional_system;
SELF\functional_object.
member_of :OPTIONAL SET [1:?] OF class_of_
functional_system_component;
SELF\functional_object.
member_of_kind :SET [1:?] OF kind_of_
functional_system_component;
END_ENTITY;
(*
Attribute definitions:
component_of A compo
nent_of relationship type where each
functional_system _component is a
component of exactly one
functional_system.
member_of A member_of relationship type where a
functional_system _component may be a
member_of one or more
class_of_functional_system_component.
member_of_kind A member_of_kind relationship type where a
functional_system _component is a
member_of at least one
kind_of_functional_system_component.
17.28.8 Installed_functional_system_component
Any installed_object that is also a state_of_ordinary_functional_
object and a state_of_functional_system_component.
EXPRESS specification:
*)
ENTITY installed_functional_system_component
SUBTYPE OF(state_of_functional_system_component, installed_
object, state_of_ordinary_functional_object);
284 Chapter 17 HQDM_FRAMEWORK
SELF\state_of _functional _
system_comp onent.memb er_of :OPTIONAL SET [1:?] OF class_
of_installed _functiona l_
system_compo nent;
END_ENTITY;
(*
Attribute definitions:
member_of A mem
ber_of relationship type where an
installed_functional_system_component may be a
member_of one or more class_of_installed_
functional_system_component.
17.28.9 State_of_functional_system
Any state_of_ordinary_functional_object that is also a
state_of_system .
EXPRESS specification:
*)
ENTITY state_of_functional_system
SUBTYPE OF(state_of_system,
state_of_ordinary_functional_object);
SELF\state_of_system.
temporal_part_of :OPTIONAL SET [1:?] OF
functional_system;
SELF\state_of_system.
member_of :OPTIONAL SET [1:?] OF class_of_state_
of_functional_system;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A tempo
ral_part_of relationship type where a
state_of_functional_ system may be a
temporal_part_of one or more
functional_system.
member_of A member_of relationship type where a
state_of_functional_ system may be a
member_of one or more
class_of_state_of_functional_system.
17.28.10 State_of_functional_system_component
A state_of_intentionally_constructed_object that is a system_
component or a temporal_part_of a system_component.
Chapter 17 HQDM_FRAMEWORK 285
EXPRESS specification:
*)
ENTITY state_of_functional_system_component
SUBTYPE OF(state_of_functional_object, state_of_system_
component);
SELF\state_of_functional_
object.temporal_part_of :OPTIONAL SET [1:?] OF
functional_system_
component;
SELF\state_of_functional_
object.member_of :OPTIONAL SET [1:?] OF class_
of_state_of_functional_
system_component;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A temporal_part_of relationship
type where a
state_of_functional_system_component
may be a temporal_part_of one or more
functional_system _component.
member_of A member_of relationship type where a
state_of_functional_system_component
may be a member_of on e or more
class_of_functional_system_component.
17.29 Socially Constructed Object
Figure 17-29 shows the data model for socially_constructed_
object.Asocially_constructed_object is something that is created as
the result of an explicit or tacit agreement, for example money or an
organization.Astate_of_socially_constructed_object is a socially_
constructed_object or a temporal_part_of a socially_constructed_
object.
A state_of_socially_constructed_object may be a member_of
one or more class_of_state_of_socially_constructed_object.A
socially_constructed_object may be a member_of one or more
class_of_socially_constructed_object and kind_of_socially_
constructed_object.
A state_of_socially_constructed_activity is any state_of_
socially_constructed_object that is also a state_of_activity.
A class_of_state_of_socially_constructed_activity is state_of_
socially_constructed_activity or any of its subsets.
286 Chapter 17 HQDM_FRAMEWORK
17.29.1 Class_of_socially_contructed_object
A class_of_intentionally_constructed_object that is socially_
constructed_object or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_socially_contructed_object
SUBTYPE OF(class_of_intentionally_constructed_object,
class_of_state_of_socially_constructed_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_socially_
constructed_object
class_of_state_of_
socially_
constructed_object
29,1 (25)
29,2 (25)
29,3 (25)
29,4 (25)
socially_
constructed_object
9,5 kind_of_socially_
constructed_object
45,2 class_of_
state_of_sign
31,4 class_of_state_
of_organization
33,2 class_of_state_
of_organization_
component
34,4 class_of_
state_of_amount_
of_money
16,9 class_of_state_
of_socially_
constructed_activity
45,5 sign
31,1 organization
33,5 organization_
component
34,1 amount_
of_money
37,1 socially_
constructed_activity
class_of_
socially_
constructed_object
state_of_
socially_
constructed_activity
29,5 (14)
45,6 state_of_sign
31,2 state_
of_organization
33,6 state_of_
organization_
component
34,2 state_of_
amount_of_money
45,1 class_of_sign
31,3 class_of_
organization
33,4 class_of_
organization_
component
34,3 class_of_
amount_of_money
9,5 kind_of_
socially_
constructed_object
38,1 class_of_
socially_
constructed_activity
Figure 17-29 HQDM_FRAMEWORK EXPRESS-G diagram 29 of 46.
Chapter 17 HQDM_FRAMEWORK 287
17.29.2 Class_of_state_of_socially_
constructed_object
A class_of_state_of_intentionally_constructed_object that is
state_of_socially_constructed_object or one of its subsets.
EXPRESS specification:
*)
ENTITY class_of_state_of_socially_constructed_object
SUBTYPE OF(class_of_state_of_intentionally_constructed_
object);
END_ENTITY;
(*
17.29.3 Socially_constructed_object
An intentionally_constructed_object that is necessarily con-
structed by agreement or at least acquiescence of many people.
EXPRESS specification:
*)
ENTITY socially_constructed_object
SUBTYPE OF(intentionally_constructed_object,
state_of_socially_constructed_object);
SELF\intentionally_constructed_
object.member_of :OPTIONAL SET [1:?] OF class_
of_socially_ contructed _
object;
SELF\intentionally_constructed_
object.member_of_kind :OPTIONAL SET [1:?] OF kind_
of_socially_constructed_
object;
END_ENTITY;
(*
Attribute definitions:
member_of A mem
ber_of relationship type where a
socially_constructed_object may be a
member_of one or more
class_of_socially_constructed_object.
member_of_kind A member_of_kind where a
socially_constructed_object may be a
member_of one or more
kind_of_socially_constructed_object.
288 Chapter 17 HQDM_FRAMEWORK
17.29.4 State_of_socially_constructed_activity
Any state_of_socia lly_constructed_object that is also a
state_of_activity.
EXPRESS specification:
*)
ENTITY state_of_socially_constructed_activity
SUBTYPE OF(state_of_socially_constructed_object,
state_of_activity);
END_ENTITY;
(*
17.29.5 State_of_socially_constructed_object
A state_of_intentionally_constructed_object that is a
socially_constructed_object or a temporal_part_of a socially_
constructed_object.
EXPRESS specification:
*)
ENTITY state_of_socially_constructed_object
SUBTYPE OF(state_of_intentionally_constructed_object);
SELF\state_of_intentionally_
constructed_object.
member_of :OPTIONAL SET [1:?] OF class_
of_state_of_socially_
constructed_object;
SELF\state_of_intentionally_
constructed_object.
temporal_part_of :OPTIONAL SET [1:?] OF
socially_constructed_
object;
END_ENTITY;
(*
Attribute definitions:
member_of A me
mber_of relationship type where a
state_of_socially_constructed_object may
be a mem ber_of one or more class_of_state_
of_socially_constru cted_object.
temporal_part_of A temporal_part_of relationship type where a
state_of_socially_constructed_object may
be a temporal_part_of one or more
socially_constructed_object.
Chapter 17 HQDM_FRAMEWORK 289
17.30 Party
Figure 17-30 shows the data model for party. party is an
abstract entity (AE), which means that each member must be a
member_of at least one subtype, in this case person or organi-
zation.Astate_of_party is also an abstract entity that is a party
or a temporal_part_of a party.
A state_of_party may be a member_of one or more class_
of_state_of_party.Aparty may be a member_of one or more
class_of_party and kind_of_party.
17.30.1 Class_of_party
A class_of_system that is part y or any of its possible
subtypes.
(RT) temporal_part_of S[1:?]
(AE)
state_of_party
30,1 (17)
(AE)
party
30,2 (17,44)
(RT) member_of_kind S[1:?]
30,5 (10)
kind_of_
party
30,4 (17)
class_of_
party
(RT) member_of S[1:?](RT) member_of S[1:?]
30,3 (17)
class_of_
state_of_party
32,2 employer
35,2 owner
36,5 transferor
36,4 transferee
23,1 state_of_
person
31,2 state_of_
organization
23,4 kind_of_
person
31,5 kind_of_
organization
23,2 class_of_
person
31,3 class_of_
organization
23,5 person
31,1
organization
23,3 class_of_
state_of_person
31,4 class_of_
state_of_
organization
Figure 17-30 HQDM_FRAMEWORK EXPRESS-G diagram 30 of 46.
290 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY class_of_party
SUBTYPE OF(class_of_system, class_of_state_of_party);
END_ENTITY;
(*
17.30.2 Class_of_state_of_party
A class_of_state_of_system that is state_of_party or any of
its possible subtypes.
EXPRESS specification:
*)
ENTITY class_of_state_of_party
SUBTYPE OF(class_of_state_of_system);
END_ENTITY;
(*
17.30.3 Kind_of_party
A class_of_party that is also a kind_of_system where all the
members are of the same kind.
EXPRESS specification:
*)
ENTITY kind_of_party
SUBTYPE OF(class_of_party, kind_of_system);
END_ENTITY;
(*
17.30.4 Party
A state_of_party that is also a system that is a person or an
organization.
EXPRESS specification:
*)
ENTITY party
ABSTRACT
SUBTYPE OF(state_of_party, system);
SELF\state_of_party.member_of :OPTIONAL SET [1:?] OF
class_of_party;
SELF\system.member_of_kind :OPTIONAL SET [1:?] OF
kind_of_party;
END_ENTITY;
(*
Chapter 17 HQDM_FRAMEWORK 291