West M. Developing High Quality Data Models
Подождите немного. Документ загружается.
17.40.1 Agree_contract
A reaching_agreement that consists of an offer of some thing
in exchange for some consideration and an acceptance_of_offer.
EXPRESS specification:
*)
ENTITY agree_contract
SUBTYPE OF(reaching_agreement);
SELF\reaching_agreement.
member_of :OPTIONAL SET [1:?] OF
class_of_agree_contract;
SELF\reaching_agreement.
part_of :SET [1:1] OF contract_process;
INVERSE
consists_of_ :SET [1:1] OF offer FOR part_of;
SELF\activity.consists_of :SET [1:1] OF acceptance_
of_offer FOR part_of;
END_ENTITY;
(*
Attribute definitions:
member_of A me
mber_of relationship type where an
agree_contract may be a member_of one or more
class_of_agree_contract.
part_of A part_of relationship type where an
agree_contract is part_of exactly one
contract_process.
consists_of_Aconsists_of relationship type where an
agree_contract consists_of exactly one offer.
consists_of A consists_of relationship type where the
agree_contract consists_of exactly one
acceptance_of_offer.
17.40.2 Class_of_agree_contract
A class_of_reaching_agreement that is agree_contract or
any of its subse ts.
EXPRESS specification:
*)
ENTITY class_of_agree_contract
SUBTYPE OF(class_of_reaching_agreement);
SELF\class_of_reaching_
agreement.part_of_by_class :OPTIONAL SET [1:?] OF class_
of_contract_process;
END_ENTITY;
(*
322 Chapter 17 HQDM_FRAMEWORK
Attribute definitions:
part_of_by_class A part
_of_by_class relationship type where a
member_of the class_of_agree_contract may
be a part_of a member_of one or more
class_of_contract_process.
17.40.3 Class_of_contract_execution
A class_of_agreement_execution that is contract_execution
or any of its subse ts.
EXPRESS specification:
*)
ENTITY class_of_contract_execution
SUBTYPE OF(class_of_agreement_execution);
SELF\class_of_agreement_
execution.part_of_by_class :OPTIONAL SET [1:?] OF
class_of_contract_
process;
END_ENTITY;
(*
Attribute definitions:
part_of_by_class A part
_of_by_class relationship type where a
member_of the class_of_contract_execution
may be a part_of a member_of the
class_of_contract_process.
17.40.4 Class_of_contract_process
A class_of_agreement_process that is contract_process or
any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_contract_process
SUBTYPE OF(class_of_agreement_process);
END_ENTITY;
(*
17.40.5 Contract_execution
An agreement_execution that is the provision of some thing
in exchange for some consideration.
Chapter 17 HQDM_FRAMEWORK 323
EXPRESS specification:
*)
ENTITY contract_execution
SUBTYPE OF(agreement_execution);
SELF\agreement_execution.
member_of :OPTIONAL SET [1:?] OF
class_of_contract_execution;
SELF\agreement_execution.
part_of :SET [1:1] OF contract_process;
END_ENTITY;
(*
Attribute definitions:
member_of A member
_of relationship type where a
contract_execution may be a member_of one or
more class_of_contract_execution.
part_of A part_of relationship type where a contract_
execution is part_of exactl y one contr act_process.
17.40.6 Contract_process
An agreement_process that consists of an agree_contract
and a contract_execution.
EXPRESS specification:
*)
ENTITY contract_process
SUBTYPE OF(agreement_process);
SELF\agreement_process.
member_of :OPTIONAL SET [1:?] OF class_of_
contract_process;
INVERSE
SELF\agreement_process.
consists_of_ :SET [1:1] OF contract_execution
FOR part_of;
SELF\agreement_process.
consists_of :SET [1:1] OF agree_contract FOR
part_of;
END_ENTITY;
(*
Attribute definitions:
member_of A me
mber_of relationship type where a contract
process may be a me mber_of one or more
class_of_contract_process.
324 Chapter 17 HQDM_FRAMEWORK
consists_of_Aconsists_of_ relationship type where a
contract_process consists_of exactly one
contract_execution.
consists_of A consists_of relationship type where a contract_
process consists_of exactly one agree_contract.
17.41 Offer and Acceptance of Offer
Figure 17-41 shows the data model for offer and acceptance_
of_offer.Anoffe r is a socially_constructed_activity that pro-
poses an exchange of some thing for some consideration. An
offer may be a member_of one or more class_of_offer, and may
be part_of an agree_contract.
An acceptance_of_offer is the acceptance of a particular
offer, and is part_of an agree_contract.
17.41.1 Acceptance_of_offer
A socially_constructed_activity that is the acceptance of an
offer as part_of an agree_contract.
EXPRESS specification:
*)
ENTITY acceptance_of_offer
SUBTYPE OF(socially_constructed_activity);
offer
41,1 (37,40)
(RT) part_of S[1:1]
(RT) references S[1:1]
(RT) member_of S[1:?]
44,2 class_of_offer
40,5 agree_contract
acceptance_
of_offer
41,2 (37,40)
(RT) part_of S[1:1]
40,5 agree_contract
42,3 offer_for_goods
42,5 acceptance_of_
offer_for_goods
Figure 17-41 HQDM_FRAMEWORK EXPRESS-G diagram 41 of 46.
Chapter 17 HQDM_FRAMEWORK 325
SELF\activity.references :SET [1:1] OF offer;
SELF\socially_constructed_
activity.part_of :SET [1:1] OF agree_contract;
END_ENTITY;
(*
Attribute definitions:
references A r
eferences relationship type where an acceptance_
of_offer references exactly one offer that is accepted.
part_of A part_of relationship type where an
acceptance_of_offer is part_of just one
agree_contract.
17.41.2 Offer
A socially _constructed_activity that proposes an exchange
of some thing for some consideration.
EXPRESS specification:
*)
ENTITY offer
SUBTYPE OF(socially_constructed_activity);
SELF\socially_constructed_
activity.member_of :OPTIONAL SET [1:?] OF
class_of_offer;
SELF\socially_constructed_
activity.part_of :OPTIONAL SET [1:1] OF
agree_contract;
END_ENTITY;
(*
Attribute definitions:
member_of A member
_of relationship type where an offer may
be a member_of one or more class_of_offer.
part_of A part_of relationship type where an offer may be
part_of at most one agree_contract.
17.42 Sale of Goods
Figure 17-42 shows the data model for sale_of_goods.Asale_
of_goods is a contract_process where an offer is made to sell
some goods for a particular amount_of_money.Asale_of_goods
consists of an offer_and_acceptance_for_goods and an exchange_
of_goods_and_money.Anoffer_and_acceptance_for_goods is
an agr ee_contract that consists of an offer_for_goods and an
326 Chapter 17 HQDM_FRAMEWORK
acceptance_of_offer_for_goods.Theoffer_for_goods references
the offered exchange_of_goods _and_mone y.
An exchange_of_goods_and_money is a contract_execution
that consists of a transfer_of_ownership ,andatransfer_of_
ownership_ of_money.
17.42.1 Acceptance_of_offer_for_goods
A reaching_agreement that consists of one or more offers of a
transfer_of_ownership_of_money for a transfer_of_ownership
of goods where one offer is accepted.
(RT) part_of S[1:1]
(RT) (INV) consists_of S[1:1]
(RT) part_of S[1:1]
(RT) (INV) consists_of_ S[1:1]
sale_of_
goods
offer_and_
acceptance_
for_goods
42,1 (40)
42,2 (40)
offer_
for_goods
42,3 (41)
acceptance_of_
offer_for_goods
42,5 (41)
(RT) part_of S[1:1]
(RT) (INV) consists_of_ S[1:1]
exchange_of_
goods_and_
money
42,4 (36,40)
(RT) part_of S[1:1]
(RT) (INV) consists_of S[1:1]
(transfer_of_ownership.part_of)
(RT) (INV) consists_of S[1:1]
(transfer_of_ownership_of_money.part_of)
(INV) consists_of_ S[1:1]
(RT) references S[1:1]
(RT) references S[1:1]
36,2 transfer_of_
ownership
36,3 transfer_of_
ownership_of_money
Figure 17-42 HQDM_FRAMEWORK EXPRESS-G diagram 42 of 46.
Chapter 17 HQDM_FRAMEWORK 327
EXPRESS specification:
*)
ENTITY acceptance_of_offer_for_goods
SUBTYPE OF(acceptance_of_offer);
SELF\acceptance_of_offer.
references :SET [1:1] OF offer_for_goods;
SELF\acceptance_of_offer.
part_of :SET [1:1] OF offer_and_
acceptance_for_goods;
END_ENTITY;
(*
Attribute definitions:
references A r
eferences relationship type to exactly one
offer_for_goods accepted.
part_of A part_of relationship type where an
acceptance_of_offer_for_goods is a part_of exactly
one offer_and_acceptance_for_goods.
17.42.2 Exchange_of_goods_and_money
An agreement_execution that consists of a transfer_of_
ownership of goods and a transfer_of_ownership_of_money.
EXPRESS specification:
*)
ENTITY exchange_of_goods_and_money
SUBTYPE OF(contract_execution);
SELF\contract_execution.
part_of :SET [1:1] OF sale_of_goods;
INVERSE
consists_of_ :SET [1:1] OF transfer_of_ownership_
of_money FOR part_of;
SELF\activity.
consists_of :SET [1:1] OF transfer_of_ownership
FOR part_of;
END_ENTITY;
(*
Attribute definitions:
part_of A part
_of relationship type where an
exchange_of_goods_and_mo ney is a part_of
exactly one sale_of_goods.
consists_of_Aconsists_of relationship type where an
exchange_of_goods_and_money consists of exactly
328 Chapter 17 HQDM_FRAMEWORK
one transfer_of_ownership_of_money.
Note: This entity type has another consists_of
relationship type. EXPRESS requires relationship type
names to be unique, so I have renamed this one.
consists_of A consists_of relationship type where an
exchange_of_goods_and_money consists of
exactly one transfer_of_ownership as a part.
17.42.3 Offer_and_acceptance_for_goods
A reaching_agreement that consists_of exactly one offer of a
transfer_of_ownership_of_money for exactly one transfer_
of_ownership that is accepted.
EXPRESS specification:
*)
ENTITY offer_and_acceptance_for_goods
SUBTYPE OF(agree_contract);
SELF\agree_contract.
part_of :SET [1:1] OF sale_of_goods;
INVERSE
SELF\agree_contract.
consists_of_ :SET [1:1] OF offer_for_goods FOR
part_of;
SELF\agree_contract.
consists_of :SET [1:1] OF acceptance_of_offer_
for_goods FOR part_of;
END_ENTITY;
(*
Attribute definitions:
part_of A part_of re
lationship type where an
offer_and_acceptance_for_goods is a part_of
exactly one sale_of_goods.
consists_of_Aconsists_of_ relationship type where an
offer_and_acceptance_for_goods consists_of
exactly one offer_for_goods.
consists_of A consists_of relationship type where an
offer_and_acceptance_for_goods consists of
exactly one acceptance_of_offer_for_goods.
17.42.4 Offer_for_goods
An offer of an exchange_of_goods_and_money.
Chapter 17 HQDM_FRAMEWORK 329
EXPRESS specification:
*)
ENTITY offer_for_goods
SUBTYPE OF(offer);
SELF\activity.references :SET [1:1] OF
exchange_of_goods_and_money;
SELF\offer.part_of :OPTIONAL SET [1:1] OF offer_
and_acceptance_for_goods;
END_ENTITY;
(*
Attribute definitions:
references A r
eferences relationship type to exactly one
exchange_of_goods_and_mo ney offered.
part_of A part_of relationship type where an
offer_for_goods may be part_of no more than one
offer_and_acceptance_for_goods.
17.42.5 Sale_of_goods
An agreement_process that consists of an offer_and_
acceptance_for_goods and an exchange_of_goods_and_money.
EXPRESS specification:
*)
ENTITY sale_of_goods
SUBTYPE OF(contract_process);
INVERSE
SELF\contract_process.
consists_of_ :SET [1:1] OF exchange_of_goods_
and_money FOR part_of;
SELF\contract_process.
consists_of :SET [1:1] OF offer_and_acceptance_
for_goods FOR part_of;
END_ENTITY;
(*
Attribute definitions:
consists_of_Acons
ists_of relationship type where a
sale_of_goods consists_of exactly one
exchange_of_goods_and_mo ney.
consists_of A consists_of relationship type where a
sale_of_goods consists_of exactly one
offer_and_acceptance_for_goods.
330 Chapter 17 HQDM_FRAMEWORK
17.43 Sales Product, Product Brand, and
Sales Product Version
Figure 17-43 shows the data model for sales_product, product_
brand,andsales_product_version.Asales_product_instance is an
ordinary_functional_object that is a particular article intended for
sale. A state_of_sales_product_instance is a sales_product_instance
or a temporal_part_of a sales_product_instance.
A state_of_sales_product_instan ce may be a member_of one
or more class_of_state_of_sales_product_instance, and a
sales_product_instance may be a member_of one or more
class_of_sales_product_instance.
A sales_product is a class_of_sales_product_instance that is
a set of sales_product_instance sold under the same product
(RT) member_of S[1:?]
(RT) member_of S[1:?]
(RT) temporal_part_of S[1:?]
state_of_sales_
product_instance
class_of_state_of_
sales_
product_instance
sales_
product_
version
43,5 (27)
43,4 (27)
43,3 (27)
43,2 (27)
43,1 (44)
sales_product_
instance
46,1 requirement_
specification
meets_specification S[1:?]
successor
sold_as S[1:1]
sold_under S[1:1]
class_of_sales_
product_instance
product_
brand
sales_
product
Figure 17-43 HQDM_FRAMEWORK EXPRESS-G diagram 43 of 46.
Chapter 17 HQDM_FRAMEWORK 331