West M. Developing High Quality Data Models
Подождите немного. Документ загружается.
INVERSE
consists_of_participant_ :SET [1:1] OF transferee FOR
participant_in;
SELF\activity.consists_
of_participant :SET [1:1] OF transferor FOR
participant_in;
END_ENTITY;
(*
Attribute definitions:
causes_beginning A cau
ses relationship type where a
transfer_of_ownership causes exactly
one beginning_of_ownership.
causes_ending A causes relationship type where a
transfer_of_ownership causes exactly
one ending_of_ownership.
references A references relationship type where a
transfer_of_ownership references
exactly one asset.
part_of A part_of relationship type where a
transfer_of_ownership may be
part_of not more than one
exchange_of_goods_and_mo ney.
consists_of_participant_Aconsists_of_participant relationship
type where a transfer_of_ownership
consists_of_participant exactly one
transferee.
consists_of_participant A consists_of_participant relationship
type where a transfer_of_ownership
consists_of_participant exactly one
transferor.
17.36.3 Transfer_of_ownership_of_money
A transfer_of_ownership where the asset is a money_asset.
EXPRESS specification:
*)
ENTITY transfer_of_ownership_of_money
SUBTYPE OF(transfer_of_ownership);
SELF\transfer_of_ownership.
references :SET [1:1] OF money_asset;
SELF\transfer_of_ownership.
part_of :OPTIONAL SET [1:1] OF
exchange_of_goods_and_money;
END_ENTITY;
(*
312 Chapter 17 HQDM_FRAMEWORK
Attribute definitions:
references A r
eferences relationship type where a
transfer_of_ownership_of_money references exactly
one money_asset.
part_of A part_of relationship type where a
transfer_of_ownership_of_money may be a part_of
at most one exchange_of_goods_and_money.
17.36.4 Transferee
A state_of_party and participant receiving ownership in a
transfer_of_ownership.
EXPRESS specification:
*)
ENTITY transferee
SUBTYPE OF(state_of_party, participant);
SELF\participant.
participant_in :SET [1:?] OF transfer_of_ownership;
END_ENTITY;
(*
Attribute definitions:
participant_in A part
icipant_in relationship type where a
transferee is a participant_in one or more
transfer_of_ownership.
17.36.5 Transferor
A state_of_party that is also a participant that is a temporal_
part_of an owner that is a participant_in one or more transfers_
of_ownership.
EXPRESS specification:
*)
ENTITY transferor
SUBTYPE OF(state_of_party, participant);
SELF\state_of_party.temporal_
part_of :OPTIONAL SET [1:1] OF owner;
SELF\participant.
participant_in :SET [1:?] OF transfer_of_ownership;
END_ENTITY;
(*
Chapter 17 HQDM_FRAMEWORK 313
Attribute definitions:
temporal_part_of A temporal_part_of relationship
type where a
transferor is a temporal_part_of exactly one
owner.
participant_in A participant_in relationship type where a
transferor is participant_in one or more
transfer_of_ownership.
17.37 Socially Constructed Activity
Figure 17-37 shows the data model for socially_constructed_
activity.Asocially_constructed_activity is an intentional activity
that is socially constructed; that is, it involves the agreement of
several parties.
A socially_constructed_activity may be a member_of one or
more class_of_socially_constructed_activity,maybepart_of a
reaching_agreement,ormaybepart_of an agreement_
execution.
17.37.1 Socially_constructed_activity
Any socially_constructed_object that is also an activity.
socially_
constructed_
activity
37,1 (14,29)
(RT) part_of S[1:?]
(RT) member_of S[1:?]
38,1 class_of_socially_
constructed_activity
39,5 reaching_
agreement
39,5 reaching_agreement
39,6 agreement_
execution
part_of_ S[1:?]
39,4 agreement_process
39,6 agreement_execution
36,2 transfer_of_ownership
41,1 offer
41,2 acceptance_of_offer
Figure 17-37 HQDM_FRAMEWORK
EXPRESS-G diagram 37 of 46.
314 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY socially_constructed_activity
SUBTYPE OF(activity, socially_constructed_object);
SELF\activity.member_of :OPTIONAL SET [1:?] OF class_of_
socially_constructed_activity;
SELF\activity.part_of :OPTIONAL SET [1:?] OF reaching_
agreement;
part_of_ :OPTIONAL SET [1:?] OF agreement_
execution;
END_ENTITY;
(*
Attribute definitions:
member_of A mem
ber_of relationship type where a
socially_constructed_activity may be a member_of
one or more
class_of_socially_constructed_activity.
part_of A part_of relationship type where a
socially_constructed_activity may be a part_of one
or more reaching_agreement.
part_of_Apart_of relationship type where a
socially_constructed_object may be a part_of one
or more agreement_execution.
17.38 Class of Socially Constructed
Activity
Figure 17-38 shows the data model for class_of_socially_
constructed_activity.Aclass_of_socially_cons tructed_activity
is socially_constructed_activity or any of its subsets. A
member_of a class_of_socially_constructed_activity may be
a part_of a member_of a class_of_reaching_agreement or of a
class_of_agreement_execution.
17.38.1 Class_of_socially_constructed_activity
A cl ass_of_socially_constructed_object and class_of_activity
that is socially_constructed_activity or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_socially_constructed_activity
Chapter 17 HQDM_FRAMEWORK 315
SUBTYPE OF(class_of_activity,
class_of_socially_contructed_object);
part_of_by_class :OPTIONAL SET [1:?] OF
class_of_reaching_agreement;
part_of_by_class_ :OPTIONAL SET [1:?] OF
class_of_agreement_execution;
END_ENTITY;
(*
Attribute definitions:
part_of_by_class A part
_of_by_class where a member_of a
class_of_socially_constructed_activity may
be a part_of a member_of a
class_of_reaching_agreement.
part_of_by_class_Apart_of_by_class relationship type where a
member_of a class_of_socially_
constructed_activity may be a part_of a
member_of a class_of_agreement_execution.
17.39 Agreement
Figure 17-39 shows the data model for agreement. An
agreement_process is an activity that consists of a
reaching_agreement and an agreement_execution, where
the reaching_agreement agrees the agreement_execution.
A reaching_agreement may be a member_of one or more
class_of_reaching_agreement.Anagreement_process may be a
class_of_
socially_
constructed_
activity
38,1 (16,29,37)
39,2 class_of_reaching_agreement
part_of_by_class S[1:?]
39,2 class_of_reaching_
agreement
39,3 class_of_agreement_
execution
part_of_by_class_S[1:?]
39,1 class_of_agreement_process
39,3 class_of_agreement_execution
44,2 class_of_offer
Figure 17-38 HQDM_FRAMEWORK
EXPRESS-G diagram 38 of 46.
316 Chapter 17 HQDM_FRAMEWORK
member_of one or more class_of_agreement_process, and an
agreement_execution may be a member_of one or more
class_of_agreement_execution.
A member_of class_of_agreement_process may have members
of a class_of_reaching_agreement and a class_of_agreement_
execution as parts.
17.39.1 Agreement_execution
A socially_constructed_activity where two or more parties
carry out a course of action previously agreed upon.
reaching_
agreement
39,5 (37)
39,2 (38)
class_of_
agreement_
process
39,1 (38)
agreement_
process
39,4 (37)
(RT) member_of S[1:?]
(RT) part_of S[1:1]
(RT) (INV) consists_of S[1:1]
(RT) part_of_by_class S[1:?]
(RT) part_of S[1:1]
(INV) consists_of_ S[1:?]
(RT) part_of_by_class S[1:?]
40,2 class_of_
agree_contract
40,5
agree_contract
40,4 contract_
process
40,1 class_of_
contract_process
(RT) member_of S[1:?]
class_of_
agreement_
execution
39,3 (38)
agreement_
execution
39,6 (37)
40,6 contract_
execution
40,3 class_of_
contract_execution
(RT) member_of S[1:?]
class_of_
reaching_
agreement
Figure 17-39 HQDM_FRAMEWORK EXPRESS-G diagram 39 of 46.
Chapter 17 HQDM_FRAMEWORK 317
EXPRESS specification:
*)
ENTITY agreement_execution
SUBTYPE OF(socially_constructed_activity);
SELF\socially_constructed_
activity.member_of :OPTIONAL SET [1:?] OF class_
of_agreement_execution;
SELF\socially_constructed_
activity.part_of :SET [1:1] OF agreement_process;
END_ENTITY;
(*
Attribute definitions:
member_of A member
_of relationship type where an
agreement_execution may be a member_of one or
more class_of_agreement_execution.
part_of A part_of relationship type where an
agreement_execution is part_of exactly one
agreement_process.
17.39.2 Agreement_process
A socially_constructed_activity that consists of a reaching_
agreement and an agreement_execution, where the agreement_
execution is the course of action agreed to in the reaching_
agreement.
EXPRESS specification:
*)
ENTITY agreement_process
SUBTYPE OF(socially_constructed_activity);
SELF\socially_constructed_
activity.member_of :OPTIONAL SET [1:?] OF
class_of_agreement_process;
INVERSE
consists_of_ :SET [1:?] OF agreement_
execution FOR part_of;
SELF\activity.consists_of :SET [1:1] OF reaching_
agreement FOR part_of;
END_ENTITY;
(*
Attribute definitions:
member_of A me
mber_of relationship type where an
agreement_process may be a member_of one or
more class_of_agreement_process.
318 Chapter 17 HQDM_FRAMEWORK
consists_of_Aconsists_of relationship type where an
agreement_process consists of at least one
agreement_execution.
consists_of A consists_of relationship type where an
agreement_process consists of exactl y one
reaching_agreement.
17.39.3 Class_of_agreement_execution
A class_of_socially_constructed_activity that is agreement_
execution or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_agreement_execution
SUBTYPE OF(class_of_socially_constructed_activity);
SELF\class_of_socially_constructed_
activity.part_of_by_class :OPTIONAL SET [1:?] OF
class_of_agreement_
process;
END_ENTITY;
(*
Attribute definitions:
part_of_by_class A p
art_of_by_class relationship type where a
member_of the class_of_agreement_execution
may be a part_of a member_of the
class_of_agreement_process.
17.39.4 Class_of_agreement_process
A class_of_socially_constructed_activity that is agreement_
process or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_agreement_process
SUBTYPE OF(class_of_socially_constructed_activity);
END_ENTITY;
(*
17.39.5 Class_of_reaching_agreement
A class_of_socially_constructed_activity that is reaching_
agreement or any of its subsets.
Chapter 17 HQDM_FRAMEWORK 319
EXPRESS specification:
*)
ENTITY class_of_reaching_agreement
SUBTYPE OF(class_of_socially_constructed_activity);
SELF\class_of_socially_constructed_
activity.part_of_by_class :OPTIONAL SET [1:?] OF
class_of_agreement_
process;
END_ENTITY;
(*
Attribute definitions:
part_of_by_class A part_
of_by_class relationship type where a
member_of a class_of_reaching_agreement
may be a part_of a member_of a class_of_
agreement_process.
17.39.6 Reaching_agreement
A socially_construc ted_activity where two or more part ies
determine a course of action.
EXPRESS specification:
*)
ENTITY reaching_agreement
SUBTYPE OF(socially_constructed_activity);
SELF\socially_constructed_
activity.member_of :OPTIONAL SET [1:?] OF class_of_
reaching_agreement;
SELF\socially_constructed_
activity.part_of :SET [1:1] OF agreement_process;
END_ENTITY;
(*
Attribute definitions:
member_of A member
_of relationship type where a
reaching_agreement may be a member_of one or
more class_of_reaching_agreement.
part_of A part_of relationship type where a
reaching_agreement is a part_of exactly one
agreement_process.
17.40 Contract
Figure 17-40 shows the data model for contract. A contract_
process is an agreement_process where the reaching_agreement
320 Chapter 17 HQDM_FRAMEWORK
is an agree_contract and the agreement_execution is a contract_
execution.Anagree_contract is an activity in which one or more
parties make offers, and the other party accepts an offer.
An agree_contract maybeamember_of one or more class_
of_agree_contract.Acontract_proc ess maybeamember_of one
or more class_of_contract_process and a contract_execution may
be a member_of one or more class_of_contract_execution.
A member_of a class_of_contract_process may have a
member_of a clas s_of_agree_contract and a class_of_agree_
contract as part.
agree_
contract
40,5 (39,41)
40,2 (39)
class_of_
contract_
process
class_of_
agree_
contract
40,1 (39)
contract_
process
40,4 (39)
(RT) member_of S[1:?]
(RT) part_of S[1:1]
(RT) (INV) consists_of S[1:1]
(acceptance_of_offer.part_of)
(RT) (INV) consists_of S[1:1]
(offer.part_of)
(INV) consists_of_ S[1:1]
(RT) part_of_by_class S[1:?]
(RT) part_of S[1:1]
(INV) consists_of_ S[1:1]
(RT) part_of_by_class S[1:?]
42,2 offer_and_
acceptance_for_goods
42,1 sale_
of_goods
41,2 acceptance_of_offer
41,1 offer
(RT) member_of S[1:?]
class_of_
contract_
execution
40,3 (39)
contract_
execution
40,6 (39)
42,4 exchange_of_
goods_and_money
(RT) member_of S[1:?]
Figure 17-40 HQDM_FRAMEWORK EXPRESS-G diagram 40 of 46.
Chapter 17 HQDM_FRAMEWORK 321