Information Model

Part I: Graphical Model

Graphical Model

Part II: Objects and Attributes

101. INFORMATION MODEL (IM_IM)

Information Model ( Arbitrary ID, Name, Manual Object Numbering, Manual Relationship Numbering, Description, Operation Owner, Label Prefix )

Identifiers:
Arbitrary ID
Operation Owner

101.1. Information Model.Arbitrary ID (A)

Data Type: Information Model ID

101.2. Information Model.Name

Data Type: Name

101.3. Information Model.Manual Object Numbering

Data Type: Boolean

101.4. Information Model.Manual Relationship Numbering

Data Type: Boolean

101.5. Information Model.Description

Data Type: Description

101.6. Information Model.Operation Owner (R)

References:
Operation Owner.Arbitrary ID (across R403)

101.7. Information Model.Label Prefix (M)

Data Type: Label Prefix

102. UNPARTITIONED INFORMATION MODEL (IM_UIM)

Unpartitioned Information Model ( Information Model )

Identifiers:
Information Model

102.1. Unpartitioned Information Model.Information Model (R)

References:
Information Model.Arbitrary ID (across R103)

103. PARTITIONED INFORMATION MODEL (IM_PIM)

Partitioned Information Model ( Information Model )

Identifiers:
Information Model

103.1. Partitioned Information Model.Information Model (R)

References:
Information Model.Arbitrary ID (across R103)

104. SUBSYSTEM (IM_S)

Subsystem ( Partitioned Information Model, Name, Order, Prefix Letters, Manual Lowest Number, Manual Highest Number, Lowest Number, Highest Number, Description )

Identifiers:
Partitioned Information Model + Name
Partitioned Information Model + Order

104.1. Subsystem.Partitioned Information Model (R)

References:
Partitioned Information Model.Information Model (across R105)

104.2. Subsystem.Name

Data Type: Name

104.3. Subsystem.Order (A)

Data Type: Subsystem Order

104.4. Subsystem.Prefix Letters

Data Type: Letters

104.5. Subsystem.Manual Lowest Number

Data Type: Positive Integer

104.6. Subsystem.Manual Highest Number

Data Type: Positive Integer

104.7. Subsystem.Lowest Number (M)

Data Type: Positive Integer

104.8. Subsystem.Highest Number (M)

Data Type: Positive Integer

104.9. Subsystem.Description

Data Type: Description

105. ENTITY (IM_E)

Entity ( Information Model, Name, Custom Letters, First Letters, Key Letters )

Identifiers:
Information Model + Name
Information Model + Key Letters

105.1. Entity.Information Model (P)

105.2. Entity.Name

Data Type: Name

105.3. Entity.Custom Letters

Data Type: Letters

105.4. Entity.First Letters (M)

Data Type: Letters

105.5. Entity.Key Letters (M)

Data Type: Key Letters

106. OBJECT (IM_O)

Object ( Information Model, Entity, Manual Number, Number, Object Category, Prominent, Preferred Identifier, Ordered By Identifier, Description, Operation Owner, Label Prefix )

Identifiers:
Information Model + Entity
Information Model + Number
Operation Owner
Information Model + Label Prefix

The following definition is taken from [OOA91]:

Definition. "An object is an abstraction of a set of real-world things such that
  • all the things in the set—the instances—have the same characteristics, and
  • all instances are subject to and conform to the same set of rules and policies."

106.1. Object.Information Model (R, P)

References:
Entity.Information Model (across R109)
Ordered Identifier.Information Model (across R113)
Identifier.Information Model (across R114)

106.2. Object.Entity (R)

References:
Entity.Name (across R109)
Ordered Identifier.Object (across R113)
Identifier.Object (across R114)

106.3. Object.Manual Number

Data Type: Positive Integer

106.4. Object.Number (M)

Data Type: Positive Integer

106.5. Object.Object Category

Data Type: Object Category

106.6. Object.Prominent

Data Type: Boolean

106.7. Object.Preferred Identifier (R)

References:
Identifier.Order (across R114)

106.8. Object.Ordered By Identifier (R)

References:
Ordered Identifier.Identifier (across R113)

106.9. Object.Description

Data Type: Description

106.10. Object.Operation Owner (R)

References:
Operation Owner.Arbitrary ID (across R403)

106.11. Object.Label Prefix (M)

Data Type: Label Prefix

107. UNASSIGNED OBJECT (IM_UO)

Unassigned Object ( Unpartitioned Information Model, Object, Order )

Identifiers:
Unpartitioned Information Model + Object
Unpartitioned Information Model + Order

107.1. Unassigned Object.Unpartitioned Information Model (R)

References:
Object.Information Model (across R112)
Unpartitioned Information Model.Information Model (across R115)

107.2. Unassigned Object.Object (R)

References:
Object.Entity (across R112)

107.3. Unassigned Object.Order (A)

Data Type: Unassigned Object Order

108. ASSIGNED OBJECT (IM_AO)

Assigned Object ( Partitioned Information Model, Object, Subsystem, Order )

Identifiers:
Partitioned Information Model + Object
Partitioned Information Model + Subsystem + Order

108.1. Assigned Object.Partitioned Information Model (R)

References:
Subsystem.Partitioned Information Model (across R106)
Object.Information Model (across R112)

108.2. Assigned Object.Object (R)

References:
Object.Entity (across R112)

108.3. Assigned Object.Subsystem (R)

References:
Subsystem.Name (across R106)

108.4. Assigned Object.Order (A)

Data Type: Assigned Object Order

109. ATTRIBUTE (IM_A)

Attribute ( Information Model, Object, Name, Order, Manual Data Type, Data Type, Data Type Acceptable, Manually Conditional, Navigation Conditional, Conditional, Default Value, Default Value Final, Initial Value, Initial Value Final, Identifying Suffix, Description )

Identifiers:
Information Model + Object + Name
Information Model + Object + Order

The following definition is taken from [OOA91]:

"Definition. An attribute is an abstraction of a single characteristic possessed by all entities that were themselves abstracted as an object."

109.1. Attribute.Information Model (R)

References:
Object.Information Model (across R110)
Data Value.Information Model (across R202)
Data Type.Information Model (across R205)

109.2. Attribute.Object (R)

References:
Object.Entity (across R110)

109.3. Attribute.Name

Data Type: Name

109.4. Attribute.Order (A)

Data Type: Attribute Order

109.5. Attribute.Manual Data Type (R)

References:
Data Value.Data Type (across R202)
Data Type.Data Type ID (across R205)

109.6. Attribute.Data Type (M)

109.7. Attribute.Data Type Acceptable (M)

Data Type: Boolean

109.8. Attribute.Manually Conditional

Data Type: Boolean

109.9. Attribute.Navigation Conditional (M)

Data Type: Boolean

109.10. Attribute.Conditional (M)

Data Type: Boolean

109.11. Attribute.Default Value (R)

References:
Data Value.Arbitrary ID (across R202)

109.12. Attribute.Default Value Final

Data Type: Boolean

109.13. Attribute.Initial Value (M)

109.14. Attribute.Initial Value Final (M)

Data Type: Boolean

109.15. Attribute.Identifying Suffix (M)

Data Type: Identifying Suffix

109.16. Attribute.Description

Data Type: Description

110. SIMPLE TRUE ATTRIBUTE (IM_STA)

Simple True Attribute ( Information Model, Object, Attribute )

Identifiers:
Information Model + Object + Attribute

110.1. Simple True Attribute.Information Model (R)

References:
Attribute.Information Model (across R116)

110.2. Simple True Attribute.Object (R)

References:
Attribute.Object (across R116)

110.3. Simple True Attribute.Attribute (R)

References:
Attribute.Name (across R116)

111. BASE ATTRIBUTE (IM_BA)

Base Attribute ( Information Model, Object, Simple True Attribute, Naming, Value Domain )

Identifiers:
Information Model + Object + Simple True Attribute

111.1. Base Attribute.Information Model (R)

References:
Simple True Attribute.Information Model (across R117)

111.2. Base Attribute.Object (R)

References:
Simple True Attribute.Object (across R117)

111.3. Base Attribute.Simple True Attribute (R)

References:
Simple True Attribute.Attribute (across R117)

111.4. Base Attribute.Naming

Data Type: Boolean

111.5. Base Attribute.Value Domain

Data Type: Description

112. SIMPLE ATTRIBUTE (IM_SA)

Simple Attribute ( Information Model, Object, Base Attribute )

Identifiers:
Information Model + Object + Base Attribute

112.1. Simple Attribute.Information Model (R)

References:
Base Attribute.Information Model (across R118)

112.2. Simple Attribute.Object (R)

References:
Base Attribute.Object (across R118)

112.3. Simple Attribute.Base Attribute (R)

References:
Base Attribute.Simple True Attribute (across R118)

113. ARBITRARY ID ATTRIBUTE (IM_AIA)

Arbitrary ID Attribute ( Information Model, Object, Base Attribute )

Identifiers:
Information Model + Object + Base Attribute

113.1. Arbitrary ID Attribute.Information Model (R)

References:
Base Attribute.Information Model (across R118)

113.2. Arbitrary ID Attribute.Object (R)

References:
Base Attribute.Object (across R118)

113.3. Arbitrary ID Attribute.Base Attribute (R)

References:
Base Attribute.Simple True Attribute (across R118)

114. MATHEMATICALLY DEPENDENT ATTRIBUTE (IM_MDA)

Mathematically Dependent Attribute ( Information Model, Object, Base Attribute )

Identifiers:
Information Model + Object + Base Attribute

114.1. Mathematically Dependent Attribute.Information Model (R)

References:
Base Attribute.Information Model (across R118)

114.2. Mathematically Dependent Attribute.Object (R)

References:
Base Attribute.Object (across R118)

114.3. Mathematically Dependent Attribute.Base Attribute (R)

References:
Base Attribute.Simple True Attribute (across R118)

115. MATHEMATICALLY DEPENDENT SIMPLE ATTRIBUTE (IM_MDSA)

Mathematically Dependent Simple Attribute ( Information Model, Object, Mathematically Dependent Attribute )

Identifiers:
Information Model + Object + Mathematically Dependent Attribute

115.1. Mathematically Dependent Simple Attribute.Information Model (R)

References:
Mathematically Dependent Attribute.Information Model (across R119)

115.2. Mathematically Dependent Simple Attribute.Object (R)

References:
Mathematically Dependent Attribute.Object (across R119)

115.3. Mathematically Dependent Simple Attribute.Mathematically Dependent Attribute (R)

References:
Mathematically Dependent Attribute.Base Attribute (across R119)

116. MATHEMATICALLY DEPENDENT REFERENTIAL ATTRIBUTE (IM_MDRA)

Mathematically Dependent Referential Attribute ( Information Model, Object, Mathematically Dependent Attribute, Mathematically Dependent Relationship, Mathematically Dependent Relationship Compatible )

Identifiers:
Information Model + Object + Mathematically Dependent Attribute
Information Model + Object + Mathematically Dependent Relationship

116.1. Mathematically Dependent Referential Attribute.Information Model (R)

References:
Mathematically Dependent Attribute.Information Model (across R119)
Mathematically Dependent Relationship.Information Model (across R120)

116.2. Mathematically Dependent Referential Attribute.Object (R)

References:
Mathematically Dependent Attribute.Object (across R119)

116.3. Mathematically Dependent Referential Attribute.Mathematically Dependent Attribute (R)

References:
Mathematically Dependent Attribute.Base Attribute (across R119)

116.4. Mathematically Dependent Referential Attribute.Mathematically Dependent Relationship (R)

References:
Mathematically Dependent Relationship.Binary Relationship (across R120)

116.5. Mathematically Dependent Referential Attribute.Mathematically Dependent Relationship Compatible (M)

Data Type: Boolean

117. REFERENTIAL ATTRIBUTE (IM_RA)

Referential Attribute ( Information Model, Object, Simple True Attribute, Base Attribute, Base Attribute Status, Referential Suffix )

Identifiers:
Information Model + Object + Simple True Attribute

117.1. Referential Attribute.Information Model (R)

References:
Simple True Attribute.Information Model (across R117)

117.2. Referential Attribute.Object (R)

References:
Simple True Attribute.Object (across R117)

117.3. Referential Attribute.Simple True Attribute (R)

References:
Simple True Attribute.Attribute (across R117)

117.4. Referential Attribute.Base Attribute (M)

117.5. Referential Attribute.Base Attribute Status (M)

Data Type: Base Attribute Status

117.6. Referential Attribute.Referential Suffix (M)

Data Type: Referential Suffix

118. REFERENTIAL TRUE ATTRIBUTE (IM_RTA)

Referential True Attribute ( Information Model, Object, Referential Attribute )

Identifiers:
Information Model + Object + Referential Attribute

118.1. Referential True Attribute.Information Model (R)

References:
Referential Attribute.Information Model (across R121)

118.2. Referential True Attribute.Object (R)

References:
Referential Attribute.Object (across R121)

118.3. Referential True Attribute.Referential Attribute (R)

References:
Referential Attribute.Simple True Attribute (across R121)

119. REFERENTIAL POLYMORPHIC ATTRIBUTE (IM_RPA)

Referential Polymorphic Attribute ( Information Model, Supertype Object, Supertype Attribute )

Identifiers:
Information Model + Supertype Object + Supertype Attribute

119.1. Referential Polymorphic Attribute.Information Model (R)

References:
Referential Attribute.Information Model (across R121)
Polymorphic Attribute.Information Model (across R127)

119.2. Referential Polymorphic Attribute.Supertype Object (R)

References:
Referential Attribute.Object (across R121)
Polymorphic Attribute.Supertype Object (across R127)

119.3. Referential Polymorphic Attribute.Supertype Attribute (R)

References:
Referential Attribute.Simple True Attribute (across R121)
Polymorphic Attribute.Supertype Attribute (across R127)

120. REFERENTIAL POLYMORPHIC ATTRIBUTE MAPPING (IM_RPAM)

Referential Polymorphic Attribute Mapping ( Information Model, Supertype Object, Supertype Attribute, Subtype Object, Subtype Attribute )

Identifiers:
Information Model + Supertype Object + Supertype Attribute + Subtype Object

120.1. Referential Polymorphic Attribute Mapping.Information Model (R)

References:
Referential Polymorphic Attribute.Information Model (across R124)
Referential Attribute.Information Model (across R124)

120.2. Referential Polymorphic Attribute Mapping.Supertype Object (R)

References:
Referential Polymorphic Attribute.Supertype Object (across R124)

120.3. Referential Polymorphic Attribute Mapping.Supertype Attribute (R)

References:
Referential Polymorphic Attribute.Supertype Attribute (across R124)

120.4. Referential Polymorphic Attribute Mapping.Subtype Object (R)

References:
Referential Attribute.Object (across R124)

120.5. Referential Polymorphic Attribute Mapping.Subtype Attribute (R)

References:
Referential Attribute.Simple True Attribute (across R124)

121. SIMPLE POLYMORPHIC ATTRIBUTE (IM_SPA)

Simple Polymorphic Attribute ( Information Model, Supertype Object, Supertype Attribute )

Identifiers:
Information Model + Supertype Object + Supertype Attribute

121.1. Simple Polymorphic Attribute.Information Model (R)

References:
Attribute.Information Model (across R116)
Polymorphic Attribute.Information Model (across R127)

121.2. Simple Polymorphic Attribute.Supertype Object (R)

References:
Attribute.Object (across R116)
Polymorphic Attribute.Supertype Object (across R127)

121.3. Simple Polymorphic Attribute.Supertype Attribute (R)

References:
Attribute.Name (across R116)
Polymorphic Attribute.Supertype Attribute (across R127)

122. SIMPLE POLYMORPHIC ATTRIBUTE MAPPING (IM_SPAM)

Simple Polymorphic Attribute Mapping ( Information Model, Supertype Object, Supertype Attribute, Subtype Object, Subtype Attribute )

Identifiers:
Information Model + Supertype Object + Supertype Attribute + Subtype Object

122.1. Simple Polymorphic Attribute Mapping.Information Model (R)

References:
Simple Polymorphic Attribute.Information Model (across R126)
Attribute.Information Model (across R126)

122.2. Simple Polymorphic Attribute Mapping.Supertype Object (R)

References:
Simple Polymorphic Attribute.Supertype Object (across R126)

122.3. Simple Polymorphic Attribute Mapping.Supertype Attribute (R)

References:
Simple Polymorphic Attribute.Supertype Attribute (across R126)

122.4. Simple Polymorphic Attribute Mapping.Subtype Object (R)

References:
Attribute.Object (across R126)

122.5. Simple Polymorphic Attribute Mapping.Subtype Attribute (R)

References:
Attribute.Name (across R126)

123. POLYMORPHIC ATTRIBUTE (IM_PA)

Polymorphic Attribute ( Information Model, Supertype Object, Supertype Attribute, Subtype-Supertype Relationship, Mapping Complete, Mapping Compatible )

Identifiers:
Information Model + Supertype Object + Supertype Attribute

123.1. Polymorphic Attribute.Information Model (R, P)

References:
Subtype-Supertype Relationship.Information Model (across R128)

123.2. Polymorphic Attribute.Supertype Object (P)

123.3. Polymorphic Attribute.Supertype Attribute (P)

123.4. Polymorphic Attribute.Subtype-Supertype Relationship (R)

References:
Subtype-Supertype Relationship.Relationship (across R128)

123.5. Polymorphic Attribute.Mapping Complete (M)

Data Type: Boolean

123.6. Polymorphic Attribute.Mapping Compatible (M)

Data Type: Boolean

124. IDENTIFIER (IM_I)

Identifier ( Information Model, Object, Order, Identifier ID, Identifier Category, Description )

Identifiers:
Information Model + Object + Order
Information Model + Object + Identifier ID

The following definition is taken from [OOA91]:

Definition. "An identifier is a set of one or more attributes whose values uniquely distinguish each instance of an object."

124.1. Identifier.Information Model (R)

References:
Object.Information Model (across R111)

124.2. Identifier.Object (R)

References:
Object.Entity (across R111)

124.3. Identifier.Order (A)

Data Type: Identifier Order

124.4. Identifier.Identifier ID (M)

Data Type: Identifier ID

124.5. Identifier.Identifier Category (M)

Data Type: Identifier Category

124.6. Identifier.Description

Data Type: Description

125. IDENTIFYING ATTRIBUTE (IM_IA)

Identifying Attribute ( Information Model, Object, Identifier, Attribute )

Identifiers:
Information Model + Object + Identifier + Attribute

125.1. Identifying Attribute.Information Model (R)

References:
Identifier.Information Model (across R130)
Attribute.Information Model (across R130)

125.2. Identifying Attribute.Object (R)

References:
Identifier.Object (across R130)
Attribute.Object (across R130)

125.3. Identifying Attribute.Identifier (R)

References:
Identifier.Identifier ID (across R130)

125.4. Identifying Attribute.Attribute (R)

References:
Attribute.Name (across R130)

126. UNORDERED IDENTIFIER (IM_UI)

Unordered Identifier ( Information Model, Object, Identifier )

Identifiers:
Information Model + Object + Identifier

126.1. Unordered Identifier.Information Model (R)

References:
Identifier.Information Model (across R129)

126.2. Unordered Identifier.Object (R)

References:
Identifier.Object (across R129)

126.3. Unordered Identifier.Identifier (R)

References:
Identifier.Identifier ID (across R129)

127. ORDERED IDENTIFIER (IM_OI)

Ordered Identifier ( Information Model, Object, Identifier, Child-Parent Relationship, Parent Ordered, Ordinal ID Ordered, Supertype Ordered )

Identifiers:
Information Model + Object + Identifier

127.1. Ordered Identifier.Information Model (R)

References:
Identifier.Information Model (across R129)
Simple Relationship.Information Model (across R132)

127.2. Ordered Identifier.Object (R)

References:
Identifier.Object (across R129)

127.3. Ordered Identifier.Identifier (R)

References:
Identifier.Identifier ID (across R129)

127.4. Ordered Identifier.Child-Parent Relationship (R)

References:
Simple Relationship.Binary Relationship (across R132)

127.5. Ordered Identifier.Parent Ordered (M)

Data Type: Boolean

127.6. Ordered Identifier.Ordinal ID Ordered (M)

Data Type: Boolean

127.7. Ordered Identifier.Supertype Ordered (M)

Data Type: Boolean

128. ORDERED IDENTIFYING ATTRIBUTE (IM_OIA)

Ordered Identifying Attribute ( Information Model, Object, Ordered Identifier, Order, Identifying Attribute, Reverse Ordered )

Identifiers:
Information Model + Object + Ordered Identifier + Order

128.1. Ordered Identifying Attribute.Information Model (R)

References:
Ordered Identifier.Information Model (across R131)
Identifying Attribute.Information Model (across R133)

128.2. Ordered Identifying Attribute.Object (R)

References:
Ordered Identifier.Object (across R131)
Identifying Attribute.Object (across R133)

128.3. Ordered Identifying Attribute.Ordered Identifier (R)

References:
Ordered Identifier.Identifier (across R131)
Identifying Attribute.Identifier (across R133)

128.4. Ordered Identifying Attribute.Order (A)

Data Type: Ordered Identifying Attribute Order

128.5. Ordered Identifying Attribute.Identifying Attribute (R)

References:
Identifying Attribute.Attribute (across R133)

128.6. Ordered Identifying Attribute.Reverse Ordered

Data Type: Boolean

129. RELATIONSHIP (IM_R)

Relationship ( Information Model, Manual Number, Number, Relationship ID, Custom Phrase, Verb Phrase, Relationship Phrase, Description )

Identifiers:
Information Model + Number
Information Model + Relationship ID
Information Model + Relationship Phrase

129.1. Relationship.Information Model (P)

129.2. Relationship.Manual Number

Data Type: Positive Integer

129.3. Relationship.Number (M)

Data Type: Positive Integer

129.4. Relationship.Relationship ID (M)

Data Type: Relationship ID

129.5. Relationship.Custom Phrase

Data Type: Phrase

129.6. Relationship.Verb Phrase (M)

Data Type: Phrase

129.7. Relationship.Relationship Phrase (M)

Data Type: Relationship Phrase

129.8. Relationship.Description

Data Type: Description

130. UNASSIGNED RELATIONSHIP (IM_UR)

Unassigned Relationship ( Unpartitioned Information Model, Relationship, Order )

Identifiers:
Unpartitioned Information Model + Relationship
Unpartitioned Information Model + Order

130.1. Unassigned Relationship.Unpartitioned Information Model (R)

References:
Unpartitioned Information Model.Information Model (across R104)
Relationship.Information Model (across R134)

130.2. Unassigned Relationship.Relationship (R)

References:
Relationship.Relationship ID (across R134)

130.3. Unassigned Relationship.Order (A)

Data Type: Unassigned Relationship Order

131. ASSIGNED RELATIONSHIP (IM_AsR)

Assigned Relationship ( Partitioned Information Model, Relationship, Subsystem, Order )

Identifiers:
Partitioned Information Model + Relationship
Partitioned Information Model + Subsystem + Order

131.1. Assigned Relationship.Partitioned Information Model (R)

References:
Subsystem.Partitioned Information Model (across R107)
Relationship.Information Model (across R134)

131.2. Assigned Relationship.Relationship (R)

References:
Relationship.Relationship ID (across R134)

131.3. Assigned Relationship.Subsystem (R)

References:
Subsystem.Name (across R107)

131.4. Assigned Relationship.Order (A)

Data Type: Assigned Relationship Order

132. BINARY RELATIONSHIP (IM_BR)

Binary Relationship ( Information Model, Relationship )

Identifiers:
Information Model + Relationship

132.1. Binary Relationship.Information Model (R)

References:
Relationship.Information Model (across R135)

132.2. Binary Relationship.Relationship (R)

References:
Relationship.Relationship ID (across R135)

133. SIMPLE RELATIONSHIP (IM_SR)

Simple Relationship ( Information Model, Binary Relationship )

Identifiers:
Information Model + Binary Relationship

133.1. Simple Relationship.Information Model (R)

References:
Binary Relationship.Information Model (across R139)

133.2. Simple Relationship.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R139)

134. ASSOCIATIVE RELATIONSHIP (IM_AR)

Associative Relationship ( Information Model, Binary Relationship )

Identifiers:
Information Model + Binary Relationship

134.1. Associative Relationship.Information Model (R)

References:
Binary Relationship.Information Model (across R139)

134.2. Associative Relationship.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R139)

135. COMPOSED RELATIONSHIP (IM_CR)

Composed Relationship ( Information Model, Binary Relationship )

Identifiers:
Information Model + Binary Relationship

135.1. Composed Relationship.Information Model (R)

References:
Binary Relationship.Information Model (across R139)

135.2. Composed Relationship.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R139)

136. MATHEMATICALLY DEPENDENT RELATIONSHIP (IM_MDR)

Mathematically Dependent Relationship ( Information Model, Binary Relationship, Operation Owner, Label Prefix )

Identifiers:
Information Model + Binary Relationship
Operation Owner
Information Model + Label Prefix

136.1. Mathematically Dependent Relationship.Information Model (R)

References:
Binary Relationship.Information Model (across R139)

136.2. Mathematically Dependent Relationship.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R139)

136.3. Mathematically Dependent Relationship.Operation Owner (R)

References:
Operation Owner.Arbitrary ID (across R403)

136.4. Mathematically Dependent Relationship.Label Prefix (M)

Data Type: Label Prefix

137. LOOP INDEPENDENT RELATIONSHIP (IM_LIR)

Loop Independent Relationship ( Information Model, Binary Relationship )

Identifiers:
Information Model + Binary Relationship

137.1. Loop Independent Relationship.Information Model (R)

References:
Binary Relationship.Information Model (across R140)

137.2. Loop Independent Relationship.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R140)

138. LOOP DEPENDENT RELATIONSHIP (IM_LDR)

Loop Dependent Relationship ( Information Model, Binary Relationship, First To Second Traversal, First Participant Many, First Participant Conditional, Second Participant Many, Second Participant Conditional )

Identifiers:
Information Model + Binary Relationship

138.1. Loop Dependent Relationship.Information Model (R)

References:
Binary Relationship.Information Model (across R140)

138.2. Loop Dependent Relationship.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R140)

138.3. Loop Dependent Relationship.First To Second Traversal (M)

Data Type: Boolean

138.4. Loop Dependent Relationship.First Participant Many (M)

Data Type: Boolean

138.5. Loop Dependent Relationship.First Participant Conditional (M)

Data Type: Boolean

138.6. Loop Dependent Relationship.Second Participant Many (M)

Data Type: Boolean

138.7. Loop Dependent Relationship.Second Participant Conditional (M)

Data Type: Boolean

139. LOOP TRAVERSAL MAPPING (IM_LTM)

Loop Traversal Mapping ( Information Model, Loop Dependent Relationship, Order, Traversed Relationship, Source Object, Source Role, Source Role Required, Target Object, Target Role, Target Role Required )

Identifiers:
Information Model + Loop Dependent Relationship + Order

139.1. Loop Traversal Mapping.Information Model (R)

References:
Loop Dependent Relationship.Information Model (across R142)
Participant.Information Model (across R143)
Participant.Information Model (across R143)

139.2. Loop Traversal Mapping.Loop Dependent Relationship (R)

References:
Loop Dependent Relationship.Binary Relationship (across R142)

139.3. Loop Traversal Mapping.Order (A)

Data Type: Loop Traversal Mapping Order

139.4. Loop Traversal Mapping.Traversed Relationship (R)

References:
Participant.Relationship (across R143)
Participant.Relationship (across R143)

139.5. Loop Traversal Mapping.Source Object (R)

References:
Participant.Object (across R143)

139.6. Loop Traversal Mapping.Source Role (R)

References:
Participant.Role (across R143)

139.7. Loop Traversal Mapping.Source Role Required (M)

Data Type: Boolean

139.8. Loop Traversal Mapping.Target Object (R)

References:
Participant.Object (across R143)

139.9. Loop Traversal Mapping.Target Role (R)

References:
Participant.Role (across R143)

139.10. Loop Traversal Mapping.Target Role Required (M)

Data Type: Boolean

140. SUBTYPE-SUPERTYPE RELATIONSHIP (IM_SSR)

Subtype-Supertype Relationship ( Information Model, Relationship, Verb Phrase, Default Subtype Object )

Identifiers:
Information Model + Relationship

140.1. Subtype-Supertype Relationship.Information Model (R)

References:
Relationship.Information Model (across R135)
Subtype Participant.Information Model (across R146)

140.2. Subtype-Supertype Relationship.Relationship (R)

References:
Relationship.Relationship ID (across R135)
Subtype Participant.Subtype-Supertype Relationship (across R146)

140.3. Subtype-Supertype Relationship.Verb Phrase

Data Type: Phrase

140.4. Subtype-Supertype Relationship.Default Subtype Object (R)

References:
Subtype Participant.Subtype Object (across R146)

141. PARTICIPANT (IM_P)

Participant ( Information Model, Relationship, Object, Role, Verb Phrase After, Navigation Conditional, Navigation Many )

Identifiers:
Information Model + Relationship + Object + Role

141.1. Participant.Information Model (R)

References:
Relationship.Information Model (across R136)
Object.Information Model (across R147)

141.2. Participant.Relationship (R)

References:
Relationship.Relationship ID (across R136)

141.3. Participant.Object (R)

References:
Object.Entity (across R147)

141.4. Participant.Role

Data Type: Name

141.5. Participant.Verb Phrase After (P)

141.6. Participant.Navigation Conditional (P)

Whether we can navigate to ANY instance of a particular object in a particular role from an instance of an object in a different role

141.7. Participant.Navigation Many (P)

Whether we can navigate to MANY different instances of a particular object in a particular role from an instance of an object in a different role

142. BINARY PARTICIPANT (IM_BP)

Binary Participant ( Information Model, Binary Relationship, Object, Role, Verb Phrase Before, Verb Phrase After, Navigation Conditional, Navigation Many )

Identifiers:
Information Model + Binary Relationship + Role

142.1. Binary Participant.Information Model (R)

References:
Participant.Information Model (across R149)

142.2. Binary Participant.Binary Relationship (R)

References:
Participant.Relationship (across R149)

142.3. Binary Participant.Object (R)

References:
Participant.Object (across R149)

142.4. Binary Participant.Role (R)

References:
Participant.Role (across R149)

142.5. Binary Participant.Verb Phrase Before (M)

Data Type: Phrase

142.6. Binary Participant.Verb Phrase After

Data Type: Phrase

142.7. Binary Participant.Navigation Conditional

Data Type: Boolean

142.8. Binary Participant.Navigation Many

Data Type: Boolean

143. FIRST PARTICIPANT (IM_FP)

First Participant ( Information Model, Binary Relationship, Role )

Identifiers:
Information Model + Binary Relationship

143.1. First Participant.Information Model (R)

References:
Binary Relationship.Information Model (across R137)
Binary Participant.Information Model (across R150)

143.2. First Participant.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R137)
Binary Participant.Binary Relationship (across R150)

143.3. First Participant.Role (R)

Data Type: Name

References:
Binary Participant.Role (across R150)

144. SECOND PARTICIPANT (IM_SP)

Second Participant ( Information Model, Binary Relationship, Role )

Identifiers:
Information Model + Binary Relationship

144.1. Second Participant.Information Model (R)

References:
Binary Relationship.Information Model (across R138)
Binary Participant.Information Model (across R150)

144.2. Second Participant.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R138)
Binary Participant.Binary Relationship (across R150)

144.3. Second Participant.Role (R)

Data Type: Name

References:
Binary Participant.Role (across R150)

145. ASSOCIATIVE PARTICIPANT (IM_AP)

Associative Participant ( Information Model, Associative Relationship, Associative Object, Role, Verb Phrase After, Connector Phrase, Navigation Conditional, Navigation Many, Reverse Navigation Conditional, Reverse Navigation Many )

Identifiers:
Information Model + Associative Relationship

145.1. Associative Participant.Information Model (R)

References:
Associative Relationship.Information Model (across R141)
Participant.Information Model (across R149)

145.2. Associative Participant.Associative Relationship (R)

References:
Associative Relationship.Binary Relationship (across R141)
Participant.Relationship (across R149)

145.3. Associative Participant.Associative Object (R)

References:
Participant.Object (across R149)

145.4. Associative Participant.Role (R)

Data Type: Name

References:
Participant.Role (across R149)

145.5. Associative Participant.Verb Phrase After

Data Type: Phrase

145.6. Associative Participant.Connector Phrase

Data Type: Phrase

145.7. Associative Participant.Navigation Conditional

Whether we can navigate to ANY instance of a particular object in an associative role from an instance of an object in a first or second role assuming we can already navigate to ANY instance of a particular object in the opposite binary role

Data Type: Boolean

145.8. Associative Participant.Navigation Many

Whether we can navigate to MANY different instances of a particular object in an associative role from an instance of an object in a first or second role assuming we can already navigate to ANY instance of a particular object in the opposite binary role

Data Type: Boolean

145.9. Associative Participant.Reverse Navigation Conditional

Whether we can navigate to ANY instance of a particular object in a first or second role from an instance of an object in an associative role

Data Type: Boolean

145.10. Associative Participant.Reverse Navigation Many

Whether we can navigate to MANY different instances of a particular object in a first or second role from an instance of an object in an associative role

Data Type: Boolean

146. SUPERTYPE PARTICIPANT (IM_SupP)

Supertype Participant ( Information Model, Subtype-Supertype Relationship, Supertype Object, Role, Verb Phrase After, Navigation Conditional, Navigation Many )

Identifiers:
Information Model + Subtype-Supertype Relationship

146.1. Supertype Participant.Information Model (R)

References:
Subtype-Supertype Relationship.Information Model (across R144)
Participant.Information Model (across R149)

146.2. Supertype Participant.Subtype-Supertype Relationship (R)

References:
Subtype-Supertype Relationship.Relationship (across R144)
Participant.Relationship (across R149)

146.3. Supertype Participant.Supertype Object (R)

References:
Participant.Object (across R149)

146.4. Supertype Participant.Role (R)

Data Type: Name

References:
Participant.Role (across R149)

146.5. Supertype Participant.Verb Phrase After

Data Type: Phrase

146.6. Supertype Participant.Navigation Conditional

Data Type: Boolean

146.7. Supertype Participant.Navigation Many

Data Type: Boolean

147. SUBTYPE PARTICIPANT (IM_SubP)

Subtype Participant ( Information Model, Subtype-Supertype Relationship, Subtype Object, Role, Verb Phrase After, Navigation Conditional, Navigation Many )

Identifiers:
Information Model + Subtype-Supertype Relationship + Subtype Object

147.1. Subtype Participant.Information Model (R)

References:
Subtype-Supertype Relationship.Information Model (across R145)
Participant.Information Model (across R149)

147.2. Subtype Participant.Subtype-Supertype Relationship (R)

References:
Subtype-Supertype Relationship.Relationship (across R145)
Participant.Relationship (across R149)

147.3. Subtype Participant.Subtype Object (R)

References:
Participant.Object (across R149)

147.4. Subtype Participant.Role (R)

Data Type: Name

References:
Participant.Role (across R149)

147.5. Subtype Participant.Verb Phrase After

Data Type: Phrase

147.6. Subtype Participant.Navigation Conditional (M)

Data Type: Boolean

147.7. Subtype Participant.Navigation Many

Data Type: Boolean

148. PARTICIPANT MAPPING (IM_PM)

Participant Mapping ( Information Model, Relationship, Source Object, Source Role, Target Object, Target Identifier, Complete, Compatible, Navigation Conditional, Reverse Navigation Conditional )

Identifiers:
Information Model + Relationship + Source Object + Target Object

148.1. Participant Mapping.Information Model (R)

References:
Participant.Information Model (across R148)
Identifier.Information Model (across R151)

148.2. Participant Mapping.Relationship (R)

References:
Participant.Relationship (across R148)

148.3. Participant Mapping.Source Object (R)

References:
Participant.Object (across R148)

148.4. Participant Mapping.Source Role (R)

References:
Participant.Role (across R148)

148.5. Participant Mapping.Target Object (R)

References:
Identifier.Object (across R151)

148.6. Participant Mapping.Target Identifier (R)

References:
Identifier.Identifier ID (across R151)

148.7. Participant Mapping.Complete (M)

Data Type: Boolean

148.8. Participant Mapping.Compatible (M)

Data Type: Boolean

148.9. Participant Mapping.Navigation Conditional (M)

Data Type: Boolean

148.10. Participant Mapping.Reverse Navigation Conditional (M)

Data Type: Boolean

149. FIRST TO SECOND MAPPING (IM_FTSM)

First To Second Mapping ( Information Model, Binary Relationship, First Object, Second Object )

Identifiers:
Information Model + Binary Relationship

149.1. First To Second Mapping.Information Model (R)

References:
Participant Mapping.Information Model (across R152)
First Participant.Information Model (across R154)
Second Participant.Information Model (across R154)

149.2. First To Second Mapping.Binary Relationship (R)

References:
Participant Mapping.Relationship (across R152)
First Participant.Binary Relationship (across R154)
Second Participant.Binary Relationship (across R154)

149.3. First To Second Mapping.First Object (R)

References:
Participant Mapping.Source Object (across R152)

149.4. First To Second Mapping.Second Object (R)

References:
Participant Mapping.Target Object (across R152)

150. SECOND TO FIRST MAPPING (IM_STFM)

Second To First Mapping ( Information Model, Binary Relationship, Second Object, First Object )

Identifiers:
Information Model + Binary Relationship

150.1. Second To First Mapping.Information Model (R)

References:
Participant Mapping.Information Model (across R152)
Second Participant.Information Model (across R155)
First Participant.Information Model (across R155)

150.2. Second To First Mapping.Binary Relationship (R)

References:
Participant Mapping.Relationship (across R152)
Second Participant.Binary Relationship (across R155)
First Participant.Binary Relationship (across R155)

150.3. Second To First Mapping.Second Object (R)

References:
Participant Mapping.Source Object (across R152)

150.4. Second To First Mapping.First Object (R)

References:
Participant Mapping.Target Object (across R152)

151. ASSOCIATIVE TO FIRST MAPPING (IM_ATFM)

Associative To First Mapping ( Information Model, Associative Relationship, Associative Object, First Object )

Identifiers:
Information Model + Associative Relationship

151.1. Associative To First Mapping.Information Model (R)

References:
Participant Mapping.Information Model (across R152)
Associative Participant.Information Model (across R156)
First Participant.Information Model (across R156)

151.2. Associative To First Mapping.Associative Relationship (R)

References:
Participant Mapping.Relationship (across R152)
Associative Participant.Associative Relationship (across R156)
First Participant.Binary Relationship (across R156)

151.3. Associative To First Mapping.Associative Object (R)

References:
Participant Mapping.Source Object (across R152)

151.4. Associative To First Mapping.First Object (R)

References:
Participant Mapping.Target Object (across R152)

152. ASSOCIATIVE TO SECOND MAPPING (IM_ATSM)

Associative To Second Mapping ( Information Model, Associative Relationship, Associative Object, Second Object )

Identifiers:
Information Model + Associative Relationship

152.1. Associative To Second Mapping.Information Model (R)

References:
Participant Mapping.Information Model (across R152)
Associative Participant.Information Model (across R157)
Second Participant.Information Model (across R157)

152.2. Associative To Second Mapping.Associative Relationship (R)

References:
Participant Mapping.Relationship (across R152)
Associative Participant.Associative Relationship (across R157)
Second Participant.Binary Relationship (across R157)

152.3. Associative To Second Mapping.Associative Object (R)

References:
Participant Mapping.Source Object (across R152)

152.4. Associative To Second Mapping.Second Object (R)

References:
Participant Mapping.Target Object (across R152)

153. SUBTYPE TO SUPERTYPE MAPPING (IM_STSM)

Subtype To Supertype Mapping ( Information Model, Subtype-Supertype Relationship, Subtype Object, Supertype Object )

Identifiers:
Information Model + Subtype-Supertype Relationship + Subtype Object

153.1. Subtype To Supertype Mapping.Information Model (R)

References:
Participant Mapping.Information Model (across R152)
Subtype Participant.Information Model (across R158)
Supertype Participant.Information Model (across R158)

153.2. Subtype To Supertype Mapping.Subtype-Supertype Relationship (R)

References:
Participant Mapping.Relationship (across R152)
Subtype Participant.Subtype-Supertype Relationship (across R158)
Supertype Participant.Subtype-Supertype Relationship (across R158)

153.3. Subtype To Supertype Mapping.Subtype Object (R)

References:
Participant Mapping.Source Object (across R152)
Subtype Participant.Subtype Object (across R158)

153.4. Subtype To Supertype Mapping.Supertype Object (R)

References:
Participant Mapping.Target Object (across R152)

154. REFERENTIAL ATTRIBUTE MAPPING (IM_RAM)

Referential Attribute Mapping ( Information Model, Relationship, Source Object, Referential Attribute, Target Object, Target Identifier, Identifying Attribute, Manually Constrained, Loop Constrained, Constrained )

Identifiers:
Information Model + Relationship + Source Object + Referential Attribute + Target Object

154.1. Referential Attribute Mapping.Information Model (R)

References:
Participant Mapping.Information Model (across R153)
Referential Attribute.Information Model (across R160)
Identifying Attribute.Information Model (across R160)
Identifier.Information Model (across R159)

154.2. Referential Attribute Mapping.Relationship (R)

References:
Participant Mapping.Relationship (across R153)

154.3. Referential Attribute Mapping.Source Object (R)

References:
Participant Mapping.Source Object (across R153)
Referential Attribute.Object (across R160)

154.4. Referential Attribute Mapping.Referential Attribute (R)

References:
Referential Attribute.Simple True Attribute (across R160)

154.5. Referential Attribute Mapping.Target Object (R)

References:
Participant Mapping.Target Object (across R153)
Identifying Attribute.Object (across R160)
Identifier.Object (across R159)

154.6. Referential Attribute Mapping.Target Identifier (R)

References:
Identifying Attribute.Identifier (across R160)
Identifier.Identifier ID (across R159)

154.7. Referential Attribute Mapping.Identifying Attribute (R)

References:
Identifying Attribute.Attribute (across R160)

154.8. Referential Attribute Mapping.Manually Constrained

Data Type: Boolean

154.9. Referential Attribute Mapping.Loop Constrained (M)

Data Type: Boolean

154.10. Referential Attribute Mapping.Constrained (M)

Data Type: Boolean

Part III: Relationships

R101.Information Model DEFINES Object (1:Mc)
Object IS DEFINED BY Information Model

R102.Information Model DEFINES Relationship (1:Mc)
Relationship IS DEFINED BY Information Model

R103.Information Model IS A (SUPERTYPE OF) Partitioned Information Model
Information Model IS A (SUPERTYPE OF) Unpartitioned Information Model

Partitioned Information Model IS A (SUBTYPE OF) Information Model
Unpartitioned Information Model IS A (SUBTYPE OF) Information Model

Formalization:
Partitioned Information Model.Information Model → Information Model.Arbitrary ID
Unpartitioned Information Model.Information Model → Information Model.Arbitrary ID

R104.Unpartitioned Information Model CONTAINS Unassigned Relationship (1:Mc)
Unassigned Relationship IS CONTAINED IN Unpartitioned Information Model

Formalization:
Unassigned Relationship.Unpartitioned Information Model → Unpartitioned Information Model.Information Model

R105.Partitioned Information Model IS PARTITIONED INTO Subsystem (1:M)
Subsystem IS PARTITION OF Partitioned Information Model

Formalization:
Subsystem.Partitioned Information Model → Partitioned Information Model.Information Model

R106.Subsystem ASSIGNED Assigned Object (1:Mc)
Assigned Object IS ASSIGNED TO Subsystem

Formalization:
Assigned Object.Partitioned Information Model → Subsystem.Partitioned Information Model
Assigned Object.Subsystem → Subsystem.Name

R107.Subsystem ASSIGNED Assigned Relationship (1:Mc)
Assigned Relationship IS ASSIGNED TO Subsystem

Formalization:
Assigned Relationship.Partitioned Information Model → Subsystem.Partitioned Information Model
Assigned Relationship.Subsystem → Subsystem.Name

R108.Subsystem IMPORTS Assigned Object (Mc:Mc)
Assigned Object IS IMPORTED BY Subsystem

R139 = (R138 + R115 + R116) - R137

R109.Entity IS A (SUPERTYPE OF) External Entity
Entity IS A (SUPERTYPE OF) Object

External Entity IS A (SUBTYPE OF) Entity
Object IS A (SUBTYPE OF) Entity

Formalization:
External Entity.Information Model → Entity.Information Model
External Entity.Entity → Entity.Name
Object.Information Model → Entity.Information Model
Object.Entity → Entity.Name

R110.Object DEFINES Attribute (1:Mc)
Attribute IS DEFINED BY Object

Formalization:
Attribute.Information Model → Object.Information Model
Attribute.Object → Object.Entity

R111.Object DEFINES Identifier (1:Mc)
Identifier IS DEFINED BY Object

Formalization:
Identifier.Information Model → Object.Information Model
Identifier.Object → Object.Entity

R112.Object IS A (SUPERTYPE OF) Assigned Object
Object IS A (SUPERTYPE OF) Unassigned Object

Assigned Object IS A (SUBTYPE OF) Object
Unassigned Object IS A (SUBTYPE OF) Object

Formalization:
Assigned Object.Partitioned Information Model → Object.Information Model
Assigned Object.Object → Object.Entity
Unassigned Object.Unpartitioned Information Model → Object.Information Model
Unassigned Object.Object → Object.Entity

R113.Object IS ORDERED BY Ordered Identifier (1c:1c)
Ordered Identifier ORDERS Object

Formalization:
Object.Information Model → Ordered Identifier.Information Model
Object.Entity → Ordered Identifier.Object
Object.Ordered By Identifier → Ordered Identifier.Identifier

R114.Object PREFERS Identifier (1c:1c)
Identifier IS PREFERRED BY Object

Formalization:
Object.Information Model → Identifier.Information Model
Object.Entity → Identifier.Object
Object.Preferred Identifier → Identifier.Order

R115.Unassigned Object IS CONTAINED IN Unpartitioned Information Model (Mc:1)
Unpartitioned Information Model CONTAINS Unassigned Object

Formalization:
Unassigned Object.Unpartitioned Information Model → Unpartitioned Information Model.Information Model

R116.Attribute IS A (SUPERTYPE OF) Simple Polymorphic Attribute
Attribute IS A (SUPERTYPE OF) Simple True Attribute

Simple Polymorphic Attribute IS A (SUBTYPE OF) Attribute
Simple True Attribute IS A (SUBTYPE OF) Attribute

Formalization:
Simple Polymorphic Attribute.Information Model → Attribute.Information Model
Simple Polymorphic Attribute.Supertype Object → Attribute.Object
Simple Polymorphic Attribute.Supertype Attribute → Attribute.Name
Simple True Attribute.Information Model → Attribute.Information Model
Simple True Attribute.Object → Attribute.Object
Simple True Attribute.Attribute → Attribute.Name

R117.Simple True Attribute IS A (SUPERTYPE OF) Base Attribute
Simple True Attribute IS A (SUPERTYPE OF) Referential Attribute

Base Attribute IS A (SUBTYPE OF) Simple True Attribute
Referential Attribute IS A (SUBTYPE OF) Simple True Attribute

Formalization:
Base Attribute.Information Model → Simple True Attribute.Information Model
Base Attribute.Object → Simple True Attribute.Object
Base Attribute.Simple True Attribute → Simple True Attribute.Attribute
Referential Attribute.Information Model → Simple True Attribute.Information Model
Referential Attribute.Object → Simple True Attribute.Object
Referential Attribute.Simple True Attribute → Simple True Attribute.Attribute

R118.Base Attribute IS A (SUPERTYPE OF) Arbitrary ID Attribute
Base Attribute IS A (SUPERTYPE OF) Mathematically Dependent Attribute
Base Attribute IS A (SUPERTYPE OF) Simple Attribute

Arbitrary ID Attribute IS A (SUBTYPE OF) Base Attribute
Mathematically Dependent Attribute IS A (SUBTYPE OF) Base Attribute
Simple Attribute IS A (SUBTYPE OF) Base Attribute

Formalization:
Arbitrary ID Attribute.Information Model → Base Attribute.Information Model
Arbitrary ID Attribute.Object → Base Attribute.Object
Arbitrary ID Attribute.Base Attribute → Base Attribute.Simple True Attribute
Mathematically Dependent Attribute.Information Model → Base Attribute.Information Model
Mathematically Dependent Attribute.Object → Base Attribute.Object
Mathematically Dependent Attribute.Base Attribute → Base Attribute.Simple True Attribute
Simple Attribute.Information Model → Base Attribute.Information Model
Simple Attribute.Object → Base Attribute.Object
Simple Attribute.Base Attribute → Base Attribute.Simple True Attribute

R119.Mathematically Dependent Attribute IS A (SUPERTYPE OF) Mathematically Dependent Referential Attribute
Mathematically Dependent Attribute IS A (SUPERTYPE OF) Mathematically Dependent Simple Attribute

Mathematically Dependent Referential Attribute IS A (SUBTYPE OF) Mathematically Dependent Attribute
Mathematically Dependent Simple Attribute IS A (SUBTYPE OF) Mathematically Dependent Attribute

Formalization:
Mathematically Dependent Referential Attribute.Information Model → Mathematically Dependent Attribute.Information Model
Mathematically Dependent Referential Attribute.Object → Mathematically Dependent Attribute.Object
Mathematically Dependent Referential Attribute.Mathematically Dependent Attribute → Mathematically Dependent Attribute.Base Attribute
Mathematically Dependent Simple Attribute.Information Model → Mathematically Dependent Attribute.Information Model
Mathematically Dependent Simple Attribute.Object → Mathematically Dependent Attribute.Object
Mathematically Dependent Simple Attribute.Mathematically Dependent Attribute → Mathematically Dependent Attribute.Base Attribute

R120.Mathematically Dependent Referential Attribute FORMALIZES Mathematically Dependent Relationship (1c:1)
Mathematically Dependent Relationship IS FORMALIZED BY Mathematically Dependent Referential Attribute

Formalization:
Mathematically Dependent Referential Attribute.Information Model → Mathematically Dependent Relationship.Information Model
Mathematically Dependent Referential Attribute.Mathematically Dependent Relationship → Mathematically Dependent Relationship.Binary Relationship

R121.Referential Attribute IS A (SUPERTYPE OF) Referential Polymorphic Attribute
Referential Attribute IS A (SUPERTYPE OF) Referential True Attribute

Referential Polymorphic Attribute IS A (SUBTYPE OF) Referential Attribute
Referential True Attribute IS A (SUBTYPE OF) Referential Attribute

Formalization:
Referential Polymorphic Attribute.Information Model → Referential Attribute.Information Model
Referential Polymorphic Attribute.Supertype Object → Referential Attribute.Object
Referential Polymorphic Attribute.Supertype Attribute → Referential Attribute.Simple True Attribute
Referential True Attribute.Information Model → Referential Attribute.Information Model
Referential True Attribute.Object → Referential Attribute.Object
Referential True Attribute.Referential Attribute → Referential Attribute.Simple True Attribute

R122.Referential Attribute REFERENTIALLY RESOLVES TO Base Attribute (Mc:1c)
Base Attribute DEFINES ACTUAL VALUE OF Referential Attribute

R123.Referential Polymorphic Attribute POLYMORPHICALLY RESOLVES TO Referential True Attribute (Mc:Mc)
Referential True Attribute DEFINES ACTUAL VALUE OF Referential Polymorphic Attribute

R124.Referential Polymorphic Attribute IS MAPPED TO Referential Attribute (Mc:Mc)
Referential Attribute IS MAPPED FROM Referential Polymorphic Attribute
Referential Polymorphic Attribute Mapping MAPS Referential Polymorphic Attribute TO Referential Attribute 1-(Mc:Mc)

Formalization:
Referential Polymorphic Attribute Mapping.Information Model → Referential Polymorphic Attribute.Information Model
Referential Polymorphic Attribute Mapping.Supertype Object → Referential Polymorphic Attribute.Supertype Object
Referential Polymorphic Attribute Mapping.Supertype Attribute → Referential Polymorphic Attribute.Supertype Attribute
Referential Polymorphic Attribute Mapping.Information Model → Referential Attribute.Information Model
Referential Polymorphic Attribute Mapping.Subtype Object → Referential Attribute.Object
Referential Polymorphic Attribute Mapping.Subtype Attribute → Referential Attribute.Simple True Attribute

R125.Simple Polymorphic Attribute POLYMORPHICALLY RESOLVES TO Simple True Attribute (Mc:Mc)
Simple True Attribute DEFINES ACTUAL VALUE OF Simple Polymorphic Attribute

R126.Simple Polymorphic Attribute IS MAPPED TO Attribute (Mc:Mc)
Attribute IS MAPPED FROM Simple Polymorphic Attribute
Simple Polymorphic Attribute Mapping MAPS Simple Polymorphic Attribute TO Attribute 1-(Mc:Mc)

Formalization:
Simple Polymorphic Attribute Mapping.Information Model → Simple Polymorphic Attribute.Information Model
Simple Polymorphic Attribute Mapping.Supertype Object → Simple Polymorphic Attribute.Supertype Object
Simple Polymorphic Attribute Mapping.Supertype Attribute → Simple Polymorphic Attribute.Supertype Attribute
Simple Polymorphic Attribute Mapping.Information Model → Attribute.Information Model
Simple Polymorphic Attribute Mapping.Subtype Object → Attribute.Object
Simple Polymorphic Attribute Mapping.Subtype Attribute → Attribute.Name

R127.Polymorphic Attribute IS A (SUPERTYPE OF) Referential Polymorphic Attribute
Polymorphic Attribute IS A (SUPERTYPE OF) Simple Polymorphic Attribute

Referential Polymorphic Attribute IS A (SUBTYPE OF) Polymorphic Attribute
Simple Polymorphic Attribute IS A (SUBTYPE OF) Polymorphic Attribute

Formalization:
Referential Polymorphic Attribute.Information Model → Polymorphic Attribute.Information Model
Referential Polymorphic Attribute.Supertype Object → Polymorphic Attribute.Supertype Object
Referential Polymorphic Attribute.Supertype Attribute → Polymorphic Attribute.Supertype Attribute
Simple Polymorphic Attribute.Information Model → Polymorphic Attribute.Information Model
Simple Polymorphic Attribute.Supertype Object → Polymorphic Attribute.Supertype Object
Simple Polymorphic Attribute.Supertype Attribute → Polymorphic Attribute.Supertype Attribute

R128.Polymorphic Attribute IS MAPPED TO ATTRIBUTE IN EVERY SUBTYPE OF Subtype-Supertype Relationship (Mc:1c)
Subtype-Supertype Relationship DEFINES POLYMORPHIC SCOPE OF Polymorphic Attribute

Formalization:
Polymorphic Attribute.Information Model → Subtype-Supertype Relationship.Information Model
Polymorphic Attribute.Subtype-Supertype Relationship → Subtype-Supertype Relationship.Relationship

R129.Identifier IS A (SUPERTYPE OF) Ordered Identifier
Identifier IS A (SUPERTYPE OF) Unordered Identifier

Ordered Identifier IS A (SUBTYPE OF) Identifier
Unordered Identifier IS A (SUBTYPE OF) Identifier

Formalization:
Ordered Identifier.Information Model → Identifier.Information Model
Ordered Identifier.Object → Identifier.Object
Ordered Identifier.Identifier → Identifier.Identifier ID
Unordered Identifier.Information Model → Identifier.Information Model
Unordered Identifier.Object → Identifier.Object
Unordered Identifier.Identifier → Identifier.Identifier ID

R130.Identifier IS COMPOSED OF Attribute (Mc:M)
Attribute IS COMPONENT OF Identifier
Identifying Attribute ASSOCIATES Identifier AND Attribute 1-(Mc:M)

Formalization:
Identifying Attribute.Information Model → Identifier.Information Model
Identifying Attribute.Object → Identifier.Object
Identifying Attribute.Identifier → Identifier.Identifier ID
Identifying Attribute.Information Model → Attribute.Information Model
Identifying Attribute.Object → Attribute.Object
Identifying Attribute.Attribute → Attribute.Name

R131.Ordered Identifier DEFINES Ordered Identifying Attribute (1:Mc)
Ordered Identifying Attribute IS DEFINED BY Ordered Identifier

Formalization:
Ordered Identifying Attribute.Information Model → Ordered Identifier.Information Model
Ordered Identifying Attribute.Object → Ordered Identifier.Object
Ordered Identifying Attribute.Ordered Identifier → Ordered Identifier.Identifier

R132.Ordered Identifier IS MANUALLY ORDERED WITHIN CHILD-PARENT Simple Relationship (Mc:1c)
Simple Relationship IS RELATED TO Ordered Identifier

Formalization:
Ordered Identifier.Information Model → Simple Relationship.Information Model
Ordered Identifier.Child-Parent Relationship → Simple Relationship.Binary Relationship

R133.Ordered Identifying Attribute ORDERS Identifying Attribute (1c:1)
Identifying Attribute IS ORDERED BY Ordered Identifying Attribute

Formalization:
Ordered Identifying Attribute.Information Model → Identifying Attribute.Information Model
Ordered Identifying Attribute.Object → Identifying Attribute.Object
Ordered Identifying Attribute.Ordered Identifier → Identifying Attribute.Identifier
Ordered Identifying Attribute.Identifying Attribute → Identifying Attribute.Attribute

R134.Relationship IS A (SUPERTYPE OF) Assigned Relationship
Relationship IS A (SUPERTYPE OF) Unassigned Relationship

Assigned Relationship IS A (SUBTYPE OF) Relationship
Unassigned Relationship IS A (SUBTYPE OF) Relationship

Formalization:
Assigned Relationship.Partitioned Information Model → Relationship.Information Model
Assigned Relationship.Relationship → Relationship.Relationship ID
Unassigned Relationship.Unpartitioned Information Model → Relationship.Information Model
Unassigned Relationship.Relationship → Relationship.Relationship ID

R135.Relationship IS A (SUPERTYPE OF) Binary Relationship
Relationship IS A (SUPERTYPE OF) Subtype-Supertype Relationship

Binary Relationship IS A (SUBTYPE OF) Relationship
Subtype-Supertype Relationship IS A (SUBTYPE OF) Relationship

Formalization:
Binary Relationship.Information Model → Relationship.Information Model
Binary Relationship.Relationship → Relationship.Relationship ID
Subtype-Supertype Relationship.Information Model → Relationship.Information Model
Subtype-Supertype Relationship.Relationship → Relationship.Relationship ID

R136.Relationship IS DEFINED BETWEEN Participant (1:M)
Participant IS PART OF Relationship

Formalization:
Participant.Information Model → Relationship.Information Model
Participant.Relationship → Relationship.Relationship ID

R137.Binary Relationship HAS First Participant (1:1)
First Participant IS PART OF Binary Relationship

Formalization:
First Participant.Information Model → Binary Relationship.Information Model
First Participant.Binary Relationship → Binary Relationship.Relationship

R138.Binary Relationship HAS Second Participant (1:1)
Second Participant IS PART OF Binary Relationship

Formalization:
Second Participant.Information Model → Binary Relationship.Information Model
Second Participant.Binary Relationship → Binary Relationship.Relationship

R139.Binary Relationship IS A (SUPERTYPE OF) Associative Relationship
Binary Relationship IS A (SUPERTYPE OF) Composed Relationship
Binary Relationship IS A (SUPERTYPE OF) Mathematically Dependent Relationship
Binary Relationship IS A (SUPERTYPE OF) Simple Relationship

Associative Relationship IS A (SUBTYPE OF) Binary Relationship
Composed Relationship IS A (SUBTYPE OF) Binary Relationship
Mathematically Dependent Relationship IS A (SUBTYPE OF) Binary Relationship
Simple Relationship IS A (SUBTYPE OF) Binary Relationship

Formalization:
Associative Relationship.Information Model → Binary Relationship.Information Model
Associative Relationship.Binary Relationship → Binary Relationship.Relationship
Composed Relationship.Information Model → Binary Relationship.Information Model
Composed Relationship.Binary Relationship → Binary Relationship.Relationship
Mathematically Dependent Relationship.Information Model → Binary Relationship.Information Model
Mathematically Dependent Relationship.Binary Relationship → Binary Relationship.Relationship
Simple Relationship.Information Model → Binary Relationship.Information Model
Simple Relationship.Binary Relationship → Binary Relationship.Relationship

R140.Binary Relationship IS A (SUPERTYPE OF) Loop Dependent Relationship
Binary Relationship IS A (SUPERTYPE OF) Loop Independent Relationship

Loop Dependent Relationship IS A (SUBTYPE OF) Binary Relationship
Loop Independent Relationship IS A (SUBTYPE OF) Binary Relationship

Formalization:
Loop Dependent Relationship.Information Model → Binary Relationship.Information Model
Loop Dependent Relationship.Binary Relationship → Binary Relationship.Relationship
Loop Independent Relationship.Information Model → Binary Relationship.Information Model
Loop Independent Relationship.Binary Relationship → Binary Relationship.Relationship

R141.Associative Relationship HAS Associative Participant (1:1)
Associative Participant IS PART OF Associative Relationship

Formalization:
Associative Participant.Information Model → Associative Relationship.Information Model
Associative Participant.Associative Relationship → Associative Relationship.Binary Relationship

R142.Loop Dependent Relationship CLOSES LOOP FORMALIZED BY Loop Traversal Mapping (1:M)
Loop Traversal Mapping FORMALIZES LOOP CLOSED BY Loop Dependent Relationship

Formalization:
Loop Traversal Mapping.Information Model → Loop Dependent Relationship.Information Model
Loop Traversal Mapping.Loop Dependent Relationship → Loop Dependent Relationship.Binary Relationship

R143.Participant IS LOOP TRAVERSABLE TO Participant (Mc:Mc)
Participant IS LOOP TRAVERSABLE TO Participant
Loop Traversal Mapping ALLOWS TRAVERSAL BETWEEN SOURCE Participant AND TARGET Participant M-(Mc:Mc)

Formalization:
Loop Traversal Mapping.Information Model → Participant.Information Model
Loop Traversal Mapping.Traversed Relationship → Participant.Relationship
Loop Traversal Mapping.Source Object → Participant.Object
Loop Traversal Mapping.Source Role → Participant.Role
Loop Traversal Mapping.Information Model → Participant.Information Model
Loop Traversal Mapping.Traversed Relationship → Participant.Relationship
Loop Traversal Mapping.Target Object → Participant.Object
Loop Traversal Mapping.Target Role → Participant.Role

R144.Subtype-Supertype Relationship HAS Supertype Participant (1:1)
Supertype Participant IS PART OF Subtype-Supertype Relationship

Formalization:
Supertype Participant.Information Model → Subtype-Supertype Relationship.Information Model
Supertype Participant.Subtype-Supertype Relationship → Subtype-Supertype Relationship.Relationship

R145.Subtype-Supertype Relationship HAS Subtype Participant (1:M)
Subtype Participant IS PART OF Subtype-Supertype Relationship

Formalization:
Subtype Participant.Information Model → Subtype-Supertype Relationship.Information Model
Subtype Participant.Subtype-Supertype Relationship → Subtype-Supertype Relationship.Relationship

R146.Subtype-Supertype Relationship HAS DEFAULT Subtype Participant (1c:1c)
Subtype Participant IS DEFAULT SUBTYPE OF Subtype-Supertype Relationship

Formalization:
Subtype-Supertype Relationship.Information Model → Subtype Participant.Information Model
Subtype-Supertype Relationship.Relationship → Subtype Participant.Subtype-Supertype Relationship
Subtype-Supertype Relationship.Default Subtype Object → Subtype Participant.Subtype Object

R147.Participant DEFINES PARTICIPATION IN RELATIONSHIP OF Object (Mc:1)
Object PARTICIPATION IN RELATIONSHIP IS DEFINED BY Participant

Formalization:
Participant.Information Model → Object.Information Model
Participant.Object → Object.Entity

R148.Participant INVOLVED IN RELATIONSHIP FORMALIZED BY Participant Mapping (1:Mc)
Participant Mapping FORMALIZES RELATIONSHIP INVOLVING Participant

Formalization:
Participant Mapping.Information Model → Participant.Information Model
Participant Mapping.Relationship → Participant.Relationship
Participant Mapping.Source Object → Participant.Object
Participant Mapping.Source Role → Participant.Role

R149.Participant IS A (SUPERTYPE OF) Associative Participant
Participant IS A (SUPERTYPE OF) Binary Participant
Participant IS A (SUPERTYPE OF) Subtype Participant
Participant IS A (SUPERTYPE OF) Supertype Participant

Associative Participant IS A (SUBTYPE OF) Participant
Binary Participant IS A (SUBTYPE OF) Participant
Subtype Participant IS A (SUBTYPE OF) Participant
Supertype Participant IS A (SUBTYPE OF) Participant

Formalization:
Associative Participant.Information Model → Participant.Information Model
Associative Participant.Associative Relationship → Participant.Relationship
Associative Participant.Associative Object → Participant.Object
Associative Participant.Role → Participant.Role
Binary Participant.Information Model → Participant.Information Model
Binary Participant.Binary Relationship → Participant.Relationship
Binary Participant.Object → Participant.Object
Binary Participant.Role → Participant.Role
Subtype Participant.Information Model → Participant.Information Model
Subtype Participant.Subtype-Supertype Relationship → Participant.Relationship
Subtype Participant.Subtype Object → Participant.Object
Subtype Participant.Role → Participant.Role
Supertype Participant.Information Model → Participant.Information Model
Supertype Participant.Subtype-Supertype Relationship → Participant.Relationship
Supertype Participant.Supertype Object → Participant.Object
Supertype Participant.Role → Participant.Role

R150.Binary Participant IS A (SUPERTYPE OF) First Participant
Binary Participant IS A (SUPERTYPE OF) Second Participant

First Participant IS A (SUBTYPE OF) Binary Participant
Second Participant IS A (SUBTYPE OF) Binary Participant

Formalization:
First Participant.Information Model → Binary Participant.Information Model
First Participant.Binary Relationship → Binary Participant.Binary Relationship
First Participant.Role → Binary Participant.Role
Second Participant.Information Model → Binary Participant.Information Model
Second Participant.Binary Relationship → Binary Participant.Binary Relationship
Second Participant.Role → Binary Participant.Role

R151.Participant Mapping HAS TARGET Identifier (Mc:1)
Identifier IS TARGET IDENTIFIER FOR Participant Mapping

Formalization:
Participant Mapping.Information Model → Identifier.Information Model
Participant Mapping.Target Object → Identifier.Object
Participant Mapping.Target Identifier → Identifier.Identifier ID

R152.Participant Mapping IS A (SUPERTYPE OF) Associative To First Mapping
Participant Mapping IS A (SUPERTYPE OF) Associative To Second Mapping
Participant Mapping IS A (SUPERTYPE OF) First To Second Mapping
Participant Mapping IS A (SUPERTYPE OF) Second To First Mapping
Participant Mapping IS A (SUPERTYPE OF) Subtype To Supertype Mapping

Associative To First Mapping IS A (SUBTYPE OF) Participant Mapping
Associative To Second Mapping IS A (SUBTYPE OF) Participant Mapping
First To Second Mapping IS A (SUBTYPE OF) Participant Mapping
Second To First Mapping IS A (SUBTYPE OF) Participant Mapping
Subtype To Supertype Mapping IS A (SUBTYPE OF) Participant Mapping

Formalization:
Associative To First Mapping.Information Model → Participant Mapping.Information Model
Associative To First Mapping.Associative Relationship → Participant Mapping.Relationship
Associative To First Mapping.Associative Object → Participant Mapping.Source Object
Associative To First Mapping.First Object → Participant Mapping.Target Object
Associative To Second Mapping.Information Model → Participant Mapping.Information Model
Associative To Second Mapping.Associative Relationship → Participant Mapping.Relationship
Associative To Second Mapping.Associative Object → Participant Mapping.Source Object
Associative To Second Mapping.Second Object → Participant Mapping.Target Object
First To Second Mapping.Information Model → Participant Mapping.Information Model
First To Second Mapping.Binary Relationship → Participant Mapping.Relationship
First To Second Mapping.First Object → Participant Mapping.Source Object
First To Second Mapping.Second Object → Participant Mapping.Target Object
Second To First Mapping.Information Model → Participant Mapping.Information Model
Second To First Mapping.Binary Relationship → Participant Mapping.Relationship
Second To First Mapping.Second Object → Participant Mapping.Source Object
Second To First Mapping.First Object → Participant Mapping.Target Object
Subtype To Supertype Mapping.Information Model → Participant Mapping.Information Model
Subtype To Supertype Mapping.Subtype-Supertype Relationship → Participant Mapping.Relationship
Subtype To Supertype Mapping.Subtype Object → Participant Mapping.Source Object
Subtype To Supertype Mapping.Supertype Object → Participant Mapping.Target Object

R153.Participant Mapping IS COMPOSED OF Referential Attribute Mapping (1:M)
Referential Attribute Mapping IS COMPONENT OF Participant Mapping

Formalization:
Referential Attribute Mapping.Information Model → Participant Mapping.Information Model
Referential Attribute Mapping.Relationship → Participant Mapping.Relationship
Referential Attribute Mapping.Source Object → Participant Mapping.Source Object
Referential Attribute Mapping.Target Object → Participant Mapping.Target Object

R154.First Participant IS MAPPED TO Second Participant (1c:1c)
Second Participant IS MAPPED FROM First Participant
First To Second Mapping MAPS First Participant TO Second Participant 1-(1c:1c)

Formalization:
First To Second Mapping.Information Model → First Participant.Information Model
First To Second Mapping.Binary Relationship → First Participant.Binary Relationship
First To Second Mapping.Information Model → Second Participant.Information Model
First To Second Mapping.Binary Relationship → Second Participant.Binary Relationship

R155.Second Participant IS MAPPED TO First Participant (1c:1c)
First Participant IS MAPPED FROM Second Participant
Second To First Mapping MAPS Second Participant TO First Participant 1-(1c:1c)

Formalization:
Second To First Mapping.Information Model → Second Participant.Information Model
Second To First Mapping.Binary Relationship → Second Participant.Binary Relationship
Second To First Mapping.Information Model → First Participant.Information Model
Second To First Mapping.Binary Relationship → First Participant.Binary Relationship

R156.Associative Participant IS MAPPED TO First Participant (1c:1c)
First Participant IS MAPPED FROM Associative Participant
Associative To First Mapping MAPS Associative Participant TO First Participant 1-(1c:1c)

Formalization:
Associative To First Mapping.Information Model → Associative Participant.Information Model
Associative To First Mapping.Associative Relationship → Associative Participant.Associative Relationship
Associative To First Mapping.Information Model → First Participant.Information Model
Associative To First Mapping.Associative Relationship → First Participant.Binary Relationship

R157.Associative Participant IS MAPPED TO Second Participant (1c:1c)
Second Participant IS MAPPED FROM Associative Participant
Associative To Second Mapping MAPS Associative Participant TO Second Participant 1-(1c:1c)

Formalization:
Associative To Second Mapping.Information Model → Associative Participant.Information Model
Associative To Second Mapping.Associative Relationship → Associative Participant.Associative Relationship
Associative To Second Mapping.Information Model → Second Participant.Information Model
Associative To Second Mapping.Associative Relationship → Second Participant.Binary Relationship

R158.Subtype Participant IS MAPPED TO Supertype Participant (Mc:1c)
Supertype Participant IS MAPPED FROM Subtype Participant
Subtype To Supertype Mapping MAPS Subtype Participant TO Supertype Participant 1-(Mc:1c)

Formalization:
Subtype To Supertype Mapping.Information Model → Subtype Participant.Information Model
Subtype To Supertype Mapping.Subtype-Supertype Relationship → Subtype Participant.Subtype-Supertype Relationship
Subtype To Supertype Mapping.Subtype Object → Subtype Participant.Subtype Object
Subtype To Supertype Mapping.Information Model → Supertype Participant.Information Model
Subtype To Supertype Mapping.Subtype-Supertype Relationship → Supertype Participant.Subtype-Supertype Relationship

R159.Referential Attribute Mapping HAS TARGET Identifier (Mc:1)
Identifier IS TARGET IDENTIFIER FOR Referential Attribute Mapping

Formalization: R159 = R153 + R151

R160.Referential Attribute IS MAPPED TO Identifying Attribute (Mc:Mc)
Identifying Attribute IS MAPPED FROM Referential Attribute
Referential Attribute Mapping MAPS Referential Attribute TO Identifying Attribute M-(Mc:Mc)

Formalization:
Referential Attribute Mapping.Information Model → Referential Attribute.Information Model
Referential Attribute Mapping.Source Object → Referential Attribute.Object
Referential Attribute Mapping.Referential Attribute → Referential Attribute.Simple True Attribute
Referential Attribute Mapping.Information Model → Identifying Attribute.Information Model
Referential Attribute Mapping.Target Object → Identifying Attribute.Object
Referential Attribute Mapping.Target Identifier → Identifying Attribute.Identifier
Referential Attribute Mapping.Identifying Attribute → Identifying Attribute.Attribute