West M. Developing High Quality Data Models
Подождите немного. Документ загружается.
SELF\physical_object.
member_of_kind : OPTIONAL SET [1:?] OF kind_of_
organization_component;
END_ENTITY;
(*
Attribute definitions:
component_of A compo
nent_of relationship type where an
organization_component is a replaceable
component of exactly one organization.
member_of A member_of relationship type where an
organization_component may be a
member_of one or more
class_of_organization_component.
member_of_kind A member_of_kind relationship type where
an organization_component may be a
member_of one or more
kind_of_organization_component.
17.33.9 Person_in_position
A state_of_position, that is also a state_of_person, and an
installed_object that is a person while they are in a position
and also the positi on while it is filled by the person.
EXPRESS specification:
*)
ENTITY person_in_position
SUBTYPE OF(state_of_position, state_of_person,
installed_object);
SELF\state_of_position.
member_of :OPTIONAL SET [1:?] OF class_of_person_
in_position;
END_ENTITY;
(*
Attribute definitions:
member_of A member
_of relationship type where a
person_in_position may be a member_of one or
more class_of_person_in_position.
17.33.10 Position
An organization_com ponent that is also a state_of_position
that may be held by a person.
Note: Normally a position is held by one person at a time,
but this does not have to be the case.
302 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY position
SUBTYPE OF(organization_component, state_of_position);
SELF\organization_component.
member_of :OPTIONAL SET [1:?] OF
class_of_position;
SELF\organization_component.
member_of_kind :OPTIONAL SET [1:?] OF
kind_of_position;
END_ENTITY;
(*
Attribute definitions:
member_of A me
mber_of relationship type where a
position may be a member_of one or more
class_of_position.
member_of_kind A member_of_kind relationship type where a
position may be a member_of one or more
kind_of_position.
17.33.11 State_of_organization_component
A state_of_system_component that is also a state_of_
socially_constructed_object that is a temporal_part_of an
organization_component.
EXPRESS specification:
*)
ENTITY state_of_organization_component
SUBTYPE OF(state_of_system_component,
state_of_socially_constructed_object);
SELF\state_of_system_component.
temporal_part_of :OPTIONAL SET [1:?] OF
organization_component;
SELF\state_of_system_component.
member_of :OPTIONAL SET [1:?] OF class_
of_state_of_organization_
component;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A tempo
ral_part_of relationship type where a
state_of_organization_component may be a
temporal_part_of one or more
organization_component.
Chapter 17 HQDM_FRAMEWORK 303
member_of A member_of relationship type where a
state_of_organization_component may be a
member_of one or more class_of_state_
of_organization_component.
17.33.12 State_of_position
A state_of_organization_component that is a position or a
temporal_part_of a position.
EXPRESS specification:
*)
ENTITY state_of_position
SUBTYPE OF(state_of_organization_component);
SELF\state_of_organization_
component.temporal_part_of :OPTIONAL SET [1:?] OF
position;
SELF\state_of_organization_
component.member_of :OPTIONAL SET [1:?] OF class_
of_state_of_position;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A temporal_part_of relationship
type where a
state_of_position may be a temporal_part_of
one or more position.
member_of A member_of relationship type where a
state_of_position may be a member_of one
or more class_of_state_of_position.
17.34 Money
Figure 17-34 shows the data model for amount_of_money.
An amount_of_money is a socially_constructed_object that is
also a physical_object that is a means of exchange. A state_of_
amount_of_money is an amount_of_money or a temporal_part_
of an amount_of_money.
A state_of_amount_of_money may be a member_of one or
more clas s_of_state_of_amount_of_money.Anamount_of_
money may be a member_of one or more class_of_amount_
of_money and a member_of exactly one currency.
304 Chapter 17 HQDM_FRAMEWORK
17.34.1 Amount_of_money
A state_of_amount_of_money, that is also a socially_
constructed_object, and a physical_object that is intended and
accepted for use as a means of exchange.
EXPRESS specification:
*)
ENTITY amount_of_money
SUBTYPE OF(state_of_amount_of_money,
socially_constructed_object, physical_object);
SELF\state_of_amount_of_
money.member_of :OPTIONAL SET [1:?] OF
class_of_amount_of_money;
member_of_currency :OPTIONAL SET [1:1] OF currency;
END_ENTITY;
(*
Attribute definitions:
member_of A me
mber_of relationship type where an
amount_of_money may be a member_of
one or more class_of_amount_of_money.
member_of_currency A me mber_of relationship type where an
amount_of_money may be a member_of
exactly one currency.
(RT) member_of S[1:?](RT) member_of S[1:?]
member_of_currency S[1:1]
(RT) temporal_part_of S[1:1]
state_of_
amount_of_money
class_of_state_of_
amount_of_money
34,2 (7, 29)
34,1 (7,29)
34,4 (7,29)
34,3 (7,29)
amount_
of_money
36,1 money_asset
44,1 price
class_of_
amount_of_money
currency
Figure 17-34 HQDM_FRAMEWORK EXPRESS-G diagram 34 of 46.
Chapter 17 HQDM_FRAMEWORK 305
17.34.2 Class_of_amount_of_money
A class_of_state_of_amount_of_money, that is also a
class_of_socially_constructed_object, and a class_of_physical_
object that is amount_of_money or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_amount_of_money
SUBTYPE OF(class_of_state_of_amount_of_money, class_of_
socially_contructed_object, class_of_physical_
object);
END_ENTITY;
(*
17.34.3 Class_of_state_of_amount_of_money
A class_of_state_of_socially_constructed_object that is also
a clas s_of_state_of_physical_object that is state_of_amount_
of_money or one of its subsets.
EXPRESS specification:
*)
ENTITY class_of_state_of_amount_of_money
SUBTYPE OF(class_of_state_of_socially_constructed_object,
class_of_state_of_physical_object);
END_ENTITY;
(*
17.34.4 Currency
A class_of_amount_of_money that is the subset of amount_
of_money that has as members all the money issued by an issuing
authority.
EXPRESS specification:
*)
ENTITY currency
SUBTYPE OF(class_of_amount_of_money);
END_ENTITY;
(*
17.34.5 State_of_amount_of_money
A socially_constructed_object that is also a state_of_physical_
object that is a temporal_part_of an amount_of_money.
306 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY state_of_amount_of_money
SUBTYPE OF(state_of_socially_constructed_object,
state_of_physical_object);
SELF\state_of_socially_constructed_
object.temporal_part_of :OPTIONAL SET [1:1] OF
amount_of_money;
SELF\state_of_socially_
constructed_object.member_of :OPTIONAL SET [1:?] OF
class_of_state_of_
amount_of_money;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A tempo
ral_part_of relationship type where a
state_of_amount_of_money may be a
temporal_part_of one or more
amount_of_money.
member_of A member_of relationship type where a
state_of_amount_of_money may be a
member_of one or more
class_of_state_of_amount_of_money.
17.35 Ownership
Figure 17-35 shows the data model for ownership .Anowner-
ship is an association of an owner and an asset where the owner
owns the asset.Anowner is a state_of_party that is also a partici-
pant that owns the asset.Anasset is a participant that is a state_
of_physical_object that is owned. A beginning_of_ownership
is an event that marks the beginning of an ownership ,andan
ending_of_ownership marks the ending of an ownership.
17.35.1 Asset
A state_of_physical_object that is also a participant that is
the participant_in an ownership that is owned.
EXPRESS specification:
*)
ENTITY asset
SUBTYPE OF(participant);
SELF\participant.participant_in :SET [1:1] OF ownership;
END_ENTITY;
(*
Chapter 17 HQDM_FRAMEWORK 307
Attribute definitions:
participant_in A par
ticipant_in relationship type where an
asset is a participant_in exactly one ownership.
17.35.2 Beginning_of_ownership
An event that is the beginning of an ownership.
EXPRESS specification:
*)
ENTITY beginning_of_ownership
SUBTYPE OF(event);
END_ENTITY;
(*
17.35.3 Ending_of_ownership
An event that is the ending of an ownership.
36,1 money_asset
(RT) participant_in S[1:1]
(RT) (INV) consists_of_participant S[1:1]
ownership
35,5 (13)
owner
35,2 (15,30,36)
(RT) participant_in S[1:1]
(INV) consists_of_participant_ S[1:1]
asset
35,1 (15,36)
(RT) beginning
beginning_of_
ownership
35,1 (5,36)
(RT) ending
ending_of_
ownership
35,4 (5,36)
Figure 17-35 HQDM_FRAMEWORK EXPRESS-G diagram 35 of 46.
308 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY ending_of_ownership
SUBTYPE OF(event);
END_ENTITY;
(*
17.35.4 Owner
A state_of_party that is also a participant that is a partici-
pant_in an ownership.
EXPRESS specification:
*)
ENTITY owner
SUBTYPE OF(state_of_party, participant);
SELF\participant.participant_in :SET [1:1] OF ownership;
END_ENTITY;
(*
Attribute definitions:
participant_in A pa
rticipant_in relationship type where an
owner is a participant_in exactly one ownership .
17.35.5 Ownership
An association that consist s_of an owner and an asset where
the owner owns the asset.
EXPRESS specification:
*)
ENTITY ownership
SUBTYPE OF(association);
SELF\spatio_temporal_
extent.ending :OPTIONAL ending_of_ownership;
SELF\spatio_temporal_
extent.beginning :beginning_of_ownership;
INVERSE
SELF\association.consists_
of_participant :SET [1:1] OF owner FOR
participant_in;
consists_of_participant_ :SET [1:1] OF asset FOR
participant_in;
END_ENTITY;
(*
Chapter 17 HQDM_FRAMEWORK 309
Attribute definitions:
ending An en
ding relationship type where an
ownership has as ending not more
than one ending_of_ownership.
beginning A beginning relationship type where
an ownership has as beginning exactly
one beginning_of_ownership.
consists_of_participant A consists_of_participant relationship
type where an ownership consists_
of_participant exactly one owner.
consists_of_participant_Aconsists_of_participant relationship
type where an ownership consists_
of_participant exactly one asset.
17.36 Transfer of Ownership
Figure 17-36 shows the data model for transfer_of_owner-
ship.Atransfer_of_ownership is a socially_constructed_activity
that causes the ending_of_ownership for one ownership and
causes the beginning_of_ownership of another. The participants
in the activity are the transferor, which is a temporal_part_of the
current owner , and the transferee, who will become the new
owner and the transfer_of_ownership references the asset which
is to be transferred. A transfer_of_ownership may be part_of an
exchange_of_goods_and_money.
One kind of transfer_of _ownership is when a money_asset
is transferred.
17.36.1 Money_asset
An asset that is a state_of_ amount_of_money.
EXPRESS specification:
*)
ENTITY money_asset
SUBTYPE OF(asset, state_of_amount_of_money);
END_ENTITY;
(*
17.36.2 Transfer_of_ownership
A socially_constructed_activity that ends one ownership
and begins another for assets that are a temporal_part_of the
same physical_object.
310 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY transfer_of_ownership
SUBTYPE OF(socially_constructed_activity);
causes_beginning :SET [1:1] OF
beginning_of_ownership;
causes_ending :SET [1:1] OF ending_of_
ownership;
SELF\activity.references :SET [1:1] OF asset;
SELF\socially_constructed_
activity.part_of :OPTIONAL SET [1:1] OF
exchange_of_goods_and_money;
(RT) participant_in S[1:?]
(RT) (INV) consists_of_participant S[1:1]
transfer_of_
ownership
36,2 (37,42)
transferor
36,5 (15,30)
35,2 owner
(RT) participant_in S[1:?]
(INV) consists_of_participant_ S[1:1]
transferee
36,4 (15,30)
transfer_of_
ownership_
of_money
36,3 (42)
money_asset
36,1 (34,35)
(RT) references S[1:1]
35,1 asset
(RT) references S[1:1]
causes_beginning S[1:1]
35,3 beginning_
of_ownership
causes_ending S[1:1]
35,4 ending_
of_ownership
(RT) part_of S[1:1]
42,4 exchange_of_
goods_and_money
(RT) temporal_part_of S[1:1]
(RT) part_of S[1:1]
42,4 exchange_of_
goods_and_money
Figure 17-36 HQDM_FRAMEWORK EXPRESS-G diagram 36 of 46.
Chapter 17 HQDM_FRAMEWORK 311