West M. Developing High Quality Data Models
Подождите немного. Документ загружается.
name. A sales_product_version is a class_of_sales_product_
instance that is the customer facing specification of a version of
a sales_product.Aproduct_brand is a class_of_sales_product_
instance that is a set of sales_product_instance sold under a
brand name.
17.43.1 Class_of_sales_product_instance
A class_of_state_of_sales_product_instance that is also a
class_of_ordinar y_functional_object that is sales_product_
instance or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_sales_product_instance
SUBTYPE OF(class_of_state_of_sales_product_instance,
class_of_ordinary_functional_object);
END_ENTITY;
(*
17.43.2 Class_of_state_of_sales_product_instance
A class_of_state_of_ordinary_functional_object that is state_
of_sales_product_instance or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_state_of_sales_product_instance
SUBTYPE OF(class_of_state_of_ordinary_functional_object);
END_ENTITY;
(*
17.43.3 Product_brand
A class_of_sales_product_instance that is a set of sales_
product_instance sold under a brand name.
EXPRESS specification:
*)
ENTITY product_brand
SUBTYPE OF(class_of_sales_product_instance);
END_ENTITY;
(*
17.43.4 Sales_product
A class_of_sales_product_instance that is a set of sales_pro-
duct_instances sold under the same product name.
332 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY sales_product
SUBTYPE OF(class_of_sales_product_instance);
sold_under :OPTIONAL SET [1:1] OF product_brand;
END_ENTITY;
(*
Attribute definitions:
sold_under A specia
lization where the sales_product is sold
under a product_brand.
17.43.5 Sales_product_instance
An ordinary_functional_object that is produced in order to
be sold.
EXPRESS specification:
*)
ENTITY sales_product_instance
SUBTYPE OF(state_of_sales_product_instance,
ordinary_functional_object);
SELF\state_of_sales_
product_instance.member_of :OPTIONAL SET [1:?]
OF class_of_sales_
product_instance;
END_ENTITY;
(*
Attribute definitions:
member_of A mem
ber_of relationship type where a
sales_product_instance may be a member_of one
or more class_of_sales_product_instance.
17.43.6 Sales_product_version
A class_of_sales_product_instance that is the customer facing
specification of a version of a sales_product.
EXPRESS specification:
*)
ENTITY sales_product_version
SUBTYPE OF(class_of_sales_product_instance);
sold_as :OPTIONAL SET [1:1] OF sales_product;
successor :OPTIONAL sales_product_version;
END_ENTITY;
(*
Chapter 17 HQDM_FRAMEWORK 333
Attribute definitions:
sold_as A specializa
tion where the sales_product_version
may be sold as a sales_product.
successor A relationship type where a sales_product_version
may have exactly one successor.
17.43.7 State_of_sales_product_instance
A state_of_ordinary_functional_object that is a sales_product_
instance or a temporal_part_of one.
EXPRESS specification:
*)
ENTITY state_of_sales_product_instance
SUBTYPE OF(state_of_ordinary_functional_object);
SELF\state_of_ordinary_functional_
object.temporal_part_of :OPTIONAL SET [1:?] OF
sales_product_instance;
SELF\state_of_ordinary_functional_
object.member_of :OPTIONAL SET [1:?] OF
class_of_state_of_sales_
product_instance;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A temporal_part_of relationship
type where a
state_of_sales_product_instance may be a
temporal_part_of one or more
sales_product_instance.
member_of A member_of relationship type where a
state_of_sales_product_instance may be a
member_of one or more class_of_state_of_
sales_product_instance.
17.44 Offering
Figure 17-44 shows the data model for offering.Anoffering is
a class_of_offer where what is offered is a member_of a class_
of_individual for a price by a party during a period_of_time.A
product_offering is an offering where what is offered is a
member_of a sales_product.
334 Chapter 17 HQDM_FRAMEWORK
17.44.1 Class_of_offer
A class_of_socially_constructed_a ctivity that is offer or any
of its subsets.
EXPRESS specification:
*)
ENTITY class_of_offer
SUBTYPE OF(class_of_socially_constructed_activity);
END_ENTITY;
(*
17.44.2 Offering
A class_of_offer that is for a class_of_individual,ataprice,
by a party, for a period_of_time.
EXPRESS specification:
*)
ENTITY offering
SUBTYPE OF(class_of_offer);
class_of_offered :class_of_individual;
offering
class_of_
offer
product_
offering
44,2 (38,41)
consideration_by_class
price
44,1 (34)
class_of_offered
30,2 party
(RT) class_of_offered
offeror
11,1 period_of_time
43,1 sales_product
period_offered
6,3 class_of_individual
Figure 17-44 HQDM_FRAMEWORK EXPRESS-G diagram 44 of 46.
Chapter 17 HQDM_FRAMEWORK 335
consideration_by_class :price;
offeror :party;
period_offered :period_of_time;
END_ENTITY;
(*
Attribute definitions:
class_of_offered A
relationship type where an offering
has exactly one class_of_individual
some member_of which is offered.
consideration_by_class A relationship type where an offering
has exactly one price at which the
offering is made.
offeror A relationship type where an offering
has exactly one party who makes the
offering.
period_offered A relationship type that is exactly one
period_of_time for which the offering
is valid.
17.44.3 Price
A class_of_amount _of_money that is the consideration_by_
class in an offering.
EXPRESS specification:
*)
ENTITY price
SUBTYPE OF(class_of_amount_of_money);
END_ENTITY;
(*
17.44.4 Product_offering
An offering that is for a sales_ product.
EXPRESS specification:
*)
ENTITY product_offering
SUBTYPE OF(offering);
SELF\offering.class_of_offered :sales_product;
END_ENTITY;
(*
Attribute definitions:
class_of_offered A class_o
f_offered relationship type where a
member_of a sales_product is offered.
336 Chapter 17 HQDM_FRAMEWORK
17.45 Sign and Pattern
Figure 17-45 shows the data model for sign and pattern.
A sign is a socially_constructed_object that is used by some
recognizing_language_community to represent some thing.
A state_of_sign is a sign or a temporal_part_of a sign.
(RT) member_of S[1:?](RT) member_of S[1:?]
member_of_ S[1:1]
(RT) temporal_part_of S[1:?]
(RT) participant_in S[1:?]
(INV) consists_of S[1:?]
represents S[1:?]
(RT) participant_in S[1:?]
(INV) consists_of_ S[1:?]
state_of_
sign
class_of_state_
of_sign
class_of_
sign
sign
45,6 (29)
representation_
by_sign
45,3 (13)
recognizing_
language_
community
class_of_
representation
45,4 (15,31)
representation_
by_pattern
45,5 (15,29)
1,1 thing
(RT) represented S[1:1]
2,1 class
12,5 identification_of_
physical_quantity
represented S[1:?]
consists_of_in_members S[1:?]
consists_of_by_class S[1:1]
1,1 thing
45,1 (29)
45,2 (29)
pattern
identification
description
definition
member_of_ S[1:1]
(RT) member_of S[1:?]
Figure 17-45 HQDM_FRAMEWORK EXPRESS-G diagram 45 of 46.
Chapter 17 HQDM_FRAMEWORK 337
A state_of_sign may be a member_of one or more class_
of_state_of_sign and a sign may be a member_of one or more
class_of_sign.Asign is a member_of a pattern, which governs
its intended meaning.
A representation_by_sign is an association between a recog-
nizing_language_community and a sign in which it represents
some thing.Arepresentation_by_sign may be a member_of one
or more class_of_representation and is a member_of a
representation_by_pattern.
A representation_by_pattern is a class_of_representation
where all the members of the pattern are understood by a
recognizing_language_community to represent the same thing.
Some types of representation_by_pattern include identifica-
tion, description, and definition.
17.45.1 Class_of_representation
A cl ass_of_association that is representation_by_sign or any
of its subsets.
EXPRESS specification:
*)
ENTITY class_of_representation;
END_ENTITY;
(*
17.45.2 Class_of_sign
A class_of_state_of_sign that is also a class_of_socially_
constructed_object that is sign or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_sign
SUBTYPE OF(class_of_state_of_sign,
class_of_socially_contructed_object);
END_ENTITY;
(*
17.45.3 Class_of_state_of_sign
A class_of_socially_constructed_object that is state_of_sign
or any of its subsets.
338 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY class_of_state_of_sign
SUBTYPE OF(class_of_state_of_socially_constructed_object);
END_ENTITY;
(*
17.45.4 Definition
A representation_by_pattern that defines a class.
EXPRESS specification:
*)
ENTITY definition
SUBTYPE OF(representation_by_pattern);
SELF\representation_by_pattern.
represented :SET [1:1] OF class;
END_ENTITY;
(*
Attribute definitions:
represented A
relationship type where exactly one class is
defined by the definition.
17.45.5 Description
A representation_by_pattern that describes some thing .
EXPRESS specification:
*)
ENTITY description
SUBTYPE OF(representation_by_pattern);
END_ENTITY;
(*
17.45.6 Identification
A representation_by_pattern that is a surrogate for the
thing represented.
EXPRESS specification:
*)
ENTITY identification
SUBTYPE OF(representation_by_pattern);
END_ENTITY;
(*
Chapter 17 HQDM_FRAMEWORK 339
17.45.7 Pattern
A class_of_sign where all the signs are of the same pattern.
EXPRESS specification:
*)
ENTITY pattern
SUBTYPE OF(class_of_sign);
END_ENTITY;
(*
17.45.8 Recognizing_language_community
A state_of_language_community that recognizes what a
pattern is intended to represent.
EXPRESS specification:
*)
ENTITY recognizing_language_community
SUBTYPE OF(state_of_language_community, participant);
SELF\participant.
participant_in :OPTIONAL SET [1:?] OF representation_
by_sign;
END_ENTITY;
(*
Attribute definitions:
participant_in A par
ticipant_in relationship type where a
recognizing_language_community is a
participant_in one or more
representation_by_sign.
17.45.9 Representation_by_pattern
A class_of_representation where the sign in all the members
are members of the pattern specified.
EXPRESS specification:
*)
ENTITY representation_by_pattern
SUBTYPE OF(class_of_representation);
represented :SET [1:?] OF thing;
consists_of_by_class :SET [1:1] OF pattern;
consists_of_in_members :SET [1:?] OF recognizing_
language_community;
END_ENTITY;
(*
340 Chapter 17 HQDM_FRAMEWORK
Attribute definitions:
represented A
relationship type where the thing is
represented by each member_of the
representation_by_pattern.
consists_of_by_class A consists_of_by_class relationship type
where a member_of the
representation_by_pattern has a sign
that is a member_of the pattern.
consists_of_in_members A relationship type where a
recognizing_language_community is
a participant_in each member_ of one
or more representation_by_pattern.
17.45.10 Representation_by_sign
An association of a sign and a recognizing_language_
community that recognizes the sign as representing some thing.
EXPRESS specification:
*)
ENTITY representation_by_sign
SUBTYPE OF(association);
represented :SET [1:?] OF thing;
SELF\association.
member_of :OPTIONAL SET [1:?] OF
class_of_representation;
member_of_ :SET [1:1] OF representation_
by_pattern;
INVERSE
consists_of_ :SET [1:?] OF recognizing_language_
community FOR participant_in;
consists_of :SET [1:?] OF sign FOR participant_in;
END_ENTITY;
(*
Attribute definitions:
represented A
relationship type where a representation_by_
sign represents one or more thing.
member_of A member_of relationship type where the
representation_by_sign may be a member_of one
or more class_of_representation.
member_of_Amember_of relationship type where the
representation_by_sign must be a member_of
exactly one representation_by_pattern.
Chapter 17 HQDM_FRAMEWORK 341