West M. Developing High Quality Data Models
Подождите немного. Документ загружается.
Attribute definitions:
member_of A mem
ber_of relationship type where a party
may be a member_of one or more class_of_
party.
member_of_kind A member_of_kind relationship type where
each party may be a member_of one or more
kind_of_party.
17.30.5 State_of_party
A state_of_system that is a party or a temporal_part_of a
party.
EXPRESS specification:
*)
ENTITY state_of_party
ABSTRACT
SUBTYPE OF(state_of_system);
SELF\state_of_system.temporal_
part_of :OPTIONAL SET [1:?] OF party;
SELF\state_of_system.
member_of :OPTIONAL SET [1:?] OF
class_of_state_of_party;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A temporal_part_of relationship
type where a
state_of_party may be a temporal_part_of
one or more party.
member_of A member_of relationship type where a
state_of_party may be a member_of one or
more class_of_state_of_party.
17.31 Organization and
Language Community
Figure 17-31 shows the data model for organization.Anorgani-
zation is a party that is a group of people organized for a purpose.
A state_of_organization is an organization or a temporal_part_of
an organization.
A state_of_organization may be a member_of one or more
class_of_state_of_organization.Anorganization may be a
member_of one or more class_of_organization and kind_of_
organization.
292 Chapter 17 HQDM_FRAMEWORK
A language_community is an organization that shares
understanding of a common set of signs, which is not restricted
to natural languages, but may include other symbols and names.
A state_of_language_community is a language_community or a
temporal_part_of a language_community.
17.31.1 Class_of_organization
A class_of_state_of_organization, that is also a class_of_
socially_constructed_object, and a class_of_party that is orga-
nization or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_organization
SUBTYPE OF(class_of_state_of_organization, class_of_
socially_contructed_object, class_of_party);
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_
organization
class_of_state_
of_organization
class_of_
organization
organization
31,2 (29,30)
31,1 (29,30,33)
31,3 (29,30)
31,4 (29,30)
state_of_
language_
community
45,4 recognizing_
language_community
component_by_class S[1:1]
(RT) temporal_part_of S[1:?]
kind_of_
organization
language_
community
31,5 (9, 30)
33,3 kind_of_
organization_component
Figure 17-31 HQDM_FRAMEWORK EXPRESS-G diagram 31 of 46.
Chapter 17 HQDM_FRAMEWORK 293
17.31.2 Class_of_state_of_organization
A class_of_state_of_socially_constructed_object that is also
a class_of_state_of_party that is state_of_organization or any of
its subsets.
EXPRESS specification:
*)
ENTITY class_of_state_of_organization
SUBTYPE OF(class_of_state_of_socially_constructed_object,
class_of_state_of_party);
END_ENTITY;
(*
17.31.3 Kind_of_organization
A class_of_organization,thatisalsoakind_of_party, and a
kind_of_socially_constructed_object whose members are all of the
same kind.
EXPRESS specification:
*)
ENTITY kind_of_organization
SUBTYPE OF(class_of_organization, kind_of_party,
kind_of_socially_constructed_object);
component_by_class :SET [1:1] OF kind_of_organization_
component;
END_ENTITY;
(*
17.31.4 Language_community
An organization that is a group of people who share a com-
mon understanding of a set of signs.
Note: This is not restricted to natural languages, but also
controlled languages, taxonomies, and so on.
EXPRESS specification:
*)
ENTITY language_community
SUBTYPE OF(state_of_language_community, organization);
END_ENTITY;
(*
17.31.5 Organization
A state_of_organization,thatisalsoaparty,anda
socially_constructed_object that is an organized body of people.
294 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY organization
SUBTYPE OF(state_of_organization, party,
socially_constructed_object);
SELF\state_of_organization.
member_of :OPTIONAL SET [1:?] OF
class_of_organization;
SELF\party.member_of_kind :OPTIONAL SET [1:?] OF
kind_of_organization;
END_ENTITY;
(*
Attribute definitions:
member_of A me
mber_of relationship type where an
organization may be a member_of one or
more class_of_organization.
member_of_kind A member_of_kind relationship type where
an organization may be a member_of one or
more kind_of_organization.
17.31.6 State_of_language_community
A state_of_organization that is a temporal_part_of a
language_community.
EXPRESS specification:
*)
ENTITY state_of_language_community
SUBTYPE OF(state_of_organization);
SELF\state_of_organization.
temporal_part_of :OPTIONAL SET [1:?] OF
language_community;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A tempo
ral_part_of relationship type where a
state_of_language_c ommunity may be a
temporal_part_of one or more langu age_
community.
17.31.7 State_of_organization
A state_of_party that is also a state_of_socially_constructed_
object that is an organization or a temporal_part_of an organization.
Chapter 17 HQDM_FRAMEWORK 295
EXPRESS specification:
*)
ENTITY state_of_organization
SUBTYPE OF(state_of_party,
state_of_socially_constructed_object);
SELF\state_of_party.temporal_
part_of :OPTIONAL SET [1:?] OF organization;
SELF\state_of_party.
member_of :OPTIONAL SET [1:?] OF
class_of_state_of_organization;
END_ENTITY;
(*
Attribute definitions:
temporal_part_of A temporal_part_of relationship
type where a
state_of_organization may be a
temporal_part_of one or more organization.
member_of A member_of relationship type where a
state_of_organization may be a member_of
one or more class_of_state_of_organization.
17.32 Employment
Figure 17-32 shows the data model for employment.An
employment is an association that has an employer and an
employee as participant_in the employment. The employer is
a temporal_part_of a party, and the employee is a temporal_
part_of a person.
17.32.1 Employee
A state_of_person that is a participant_in an employment.
(RT) participant_in S[1:1]
(RT) (INV) consists_of_participant S[1:1]
employment
32,1 (13)
employer
32,2 (15,30)
(RT) participant_in S[1:1]
(INV) consists_of_participant_ S[1:1]
employee
32,3 (15,23)
Figure 17-32 HQDM_
FRAMEWORK EXPRESS-G
diagram 32 of 46.
296 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY employee
SUBTYPE OF(state_of_person, participant);
SELF\participant.participant_in :SET [1:1] OF
employment;
END_ENTITY;
(*
Attribute definitions:
participant_in A part
icipant_in relationship type where an
employee is a participant_in exactly one
employment.
17.32.2 Employer
A state_of_party that is a participant_in an employment.
EXPRESS specification:
*)
ENTITY employer
SUBTYPE OF(state_of_party, participant);
SELF\participant.participant_in :SET [1:1] OF
employment;
END_ENTITY;
(*
Attribute definitions:
participant_in A part
icipant_in relationship type where an
employer is a participant_in exactly one
employment.
17.32.3 Employment
An association that consists of an employer and an employee
where the employer pays the employee to work for them.
EXPRESS specification:
*)
ENTITY employment
SUBTYPE OF(association);
INVERSE
SELF\association.consists_
of_participant :SET [1:1] OF employer FOR
participant_in;
Chapter 17 HQDM_FRAMEWORK 297
consists_of_participant_ :SET [1:1] OF employee FOR
participant_in;
END_ENTITY;
(*
Attribute definitions:
consists_of_participant A cons
ists_of_participant relationship
type where an employment consists_of
exactly one employer.
consists_of_participant_Aconsists_of_participant relationship
type where an employment consists_of
exactly one employee.
17.33 Organization Component and Position
Figure 17-33 is a data model for organization_component
and position.Anorganization_component is a state_of_
organization_component ,thatisalsoasystem_component,and
a socially_constructed_object that is a replaceable component_of an
organization that is existence dependent on the organization.A
state_of_organization_component is an organization_component
or a temporal_part_of an organization_component.
A state_of_organization_component may be a member_of
one or more class_of_state_of_organization_component.
An organization_component may be a member_of one or
more class_of_organization_component and kind_of_
organization_component.Aposition is an organization_
component that can be filled by one or more persons.A
state_of_position is a position or a temporal_part_of a position.
A state_of_position may be a mem ber_of one or more class_
of_state_of_position and a position may be a member_of one
or more class_of_position and kind_of_position.
A person_in_position is a state_of_person that is also a state_of_
position that is the person whiletheyareintheposition,and
the position while the person is in it. A class_of_person_in_position
is person_in_position or any of its subsets. A person_in_position
maybeamember_o
f one or more class_of_person_in_position.
17.33.1 Class_of_organization_component
A class_of_state_of_organization_component,thatisalsoa
class_of_system_component,andaclas s_of_socially_constructed_
object that is organization_component or any of its subsets.
298 Chapter 17 HQDM_FRAMEWORK
EXPRESS specification:
*)
ENTITY class_of_organization_component
SUBTYPE OF(class_of_state_of_organization_component, class_
of_system_component, class_of_socially_contructed_
object);
END_ENTITY;
(*
17.33.2 Class_of_person_in_position
A class_of_installed_object that is also a class_of_state_of_
position that is person_in_position or any of its subsets.
(RT) member_of S[1:?]
(RT) member_of_kind S[1:?]
(RT) member_of S[1:?]
(RT) temporal_part_of S[1:?]
state_of_
organization_
component
class_of_state_
of_organization_
component
class_of_
organization_
component
33,6 (18,29)
33,5 (18,29)
33,4 (18,29)
33,2 (18,29)
position
kind_of_
organization_
component
33,3 (9,10,31)
(RT) member_of S[1:?]
(RT) member_of_kind S[1:?]
(RT) member_of S[1:?]
(RT) temporal_part_of S[1:?]
class_of_state_
of_position
class_of_
position
person_in_
position
class_of_person_
in_position
33,7 (19,23)
(RT) member_of S[1:?]
33,1 (19)
organization_
component
(RT) component_of S[1:1]
31,1 organization
state_of_
position
kind_of_
position
Figure 17-33 HQDM_FRAMEWORK EXPRESS-G diagram 33 of 46.
Chapter 17 HQDM_FRAMEWORK 299
EXPRESS specification:
*)
ENTITY class_of_person_in_position
SUBTYPE OF(class_of_installed_object, class_of_state_
of_position);
END_ENTITY;
(*
17.33.3 Class_of_position
A class_of_state_of_position that is also a class_of_
organization_component that is position or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_position
SUBTYPE OF(class_of_state_of_position, class_of_
organization_component);
END_ENTITY;
(*
17.33.4 Class_of_state_of_organization_
component
A class_of_state_of_system_component that is also a class_of_
state_of_socially_constructed_object that is state_of_organization_
component or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_state_of_organization_component
SUBTYPE OF(class_of_state_of_system_component,
class_of_state_of_socially_constructed_object);
END_ENTITY;
(*
17.33.5 Class_of_state_of_position
A class_of_state_of_organization_component that is stat e_
of_position or any of its subsets.
EXPRESS specification:
*)
ENTITY class_of_state_of_position
300 Chapter 17 HQDM_FRAMEWORK
SUBTYPE OF(class_of_state_of_organization_component);
END_ENTITY;
(*
17.33.6 Kind_of_organization_component
A class_of_organization_component that is also a kind_of_
system_component whose members are all of the same kind.
EXPRESS specification:
*)
ENTITY kind_of_organization_component
SUBTYPE OF(class_of_organization_component, kind_of_system_
component, kind_of_socially_constructed_object);
END_ENTITY;
(*
17.33.7 Kind_of_position
A class_of_position that is also a kind_of_organization_
component where all the members are of the same kind.
EXPRESS specification:
*)
ENTITY kind_of_position
SUBTYPE OF(class_of_position, kind_of_organization_
component);
END_ENTITY;
(*
17.33.8 Organization_component
A state_of_organization_component, system_component,and
socially_constructed_object that is a component_of an organiza-
tion that can be completely replaced without losing its identity.
EXPRESS specification:
*)
ENTITY organization_component
SUBTYPE OF(state_of_organization_component,
system_component, socially_constructed_object);
SELF\system_component.
component_of : SET [1:1] OF organization;
SELF\state_of_organization_
component.member_of : OPTIONAL SET [1:?] OF class_
of_organization_component;
Chapter 17 HQDM_FRAMEWORK 301