Information Model

Part I: Graphical Model

Graphical Model

Part II: Objects and Attributes

201. INFORMATION MODEL (IM_IM)

Information Model ( Arbitrary ID, Name, Manual Object Numbering, Manual Relationship Numbering, Description )

Identifiers:
Arbitrary ID

201.1. Information Model.Arbitrary ID (A)

Data Type: Information Model ID

201.2. Information Model.Name

Data Type: Name

201.3. Information Model.Manual Object Numbering

Data Type: Boolean

201.4. Information Model.Manual Relationship Numbering

Data Type: Boolean

201.5. Information Model.Description

Data Type: Description

202. SUBSYSTEM (IM_S)

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

Identifiers:
Information Model + Name
Information Model + Order

202.1. Subsystem.Information Model (R)

References:
Information Model.Arbitrary ID (across R201)

202.2. Subsystem.Name

Data Type: Name

202.3. Subsystem.Order (A)

Data Type: Subsystem Order

202.4. Subsystem.Prefix Letters

Data Type: Key Letters

202.5. Subsystem.Manual Lowest Number

Data Type: Positive Integer

202.6. Subsystem.Manual Highest Number

Data Type: Positive Integer

202.7. Subsystem.Lowest Number (M)

Data Type: Positive Integer

202.8. Subsystem.Highest Number (M)

Data Type: Positive Integer

202.9. Subsystem.Description

Data Type: Description

203. ENTITY (IM_E)

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

Identifiers:
Information Model + Name
Information Model + Key Letters

203.1. Entity.Information Model (P)

203.2. Entity.Name

Data Type: Name

203.3. Entity.First Letters (M)

Data Type: Key Letters

203.4. Entity.Custom Letters

Data Type: Key Letters

203.5. Entity.Key Letters (M)

Data Type: Key Letters

204. OBJECT (IM_O)

Object ( Information Model, Entity, Order, Manual Number, Number, Object Category, Prominent, Description )

Identifiers:
Information Model + Entity
Information Model + Order
Information Model + Number

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."

204.1. Object.Information Model (R)

References:
Entity.Information Model (across R202)
Information Model.Arbitrary ID (across R203)

204.2. Object.Entity (R)

References:
Entity.Name (across R202)

204.3. Object.Order (A)

Data Type: Object Order

204.4. Object.Manual Number

Data Type: Positive Integer

204.5. Object.Number (M)

Data Type: Positive Integer

204.6. Object.Object Category

Data Type: Object Category

204.7. Object.Prominent

Data Type: Boolean

204.8. Object.Description

Data Type: Description

205. UNASSIGNED OBJECT (IM_UO)

Unassigned Object ( Information Model, Object )

Identifiers:
Information Model + Object

205.1. Unassigned Object.Information Model (R)

References:
Object.Information Model (across R204)

205.2. Unassigned Object.Object (R)

References:
Object.Entity (across R204)

206. ASSIGNED OBJECT (IM_AO)

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

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

206.1. Assigned Object.Information Model (R)

References:
Object.Information Model (across R204)
Subsystem.Information Model (across R205)

206.2. Assigned Object.Object (R)

References:
Object.Entity (across R204)

206.3. Assigned Object.Subsystem (R)

References:
Subsystem.Name (across R205)

206.4. Assigned Object.Order (A)

Data Type: Assigned Object Order

207. ATTRIBUTE (IM_A)

Attribute ( Information Model, Object, Name, Order, Identifying Suffix, Manual Data Type, Data Type, Data Type Acceptable, Manual Conditional, Conditional, 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."

207.1. Attribute.Information Model (R)

References:
Object.Information Model (across R207)
Data Type.Information Model (across R302)

207.2. Attribute.Object (R)

References:
Object.Entity (across R207)

207.3. Attribute.Name

Data Type: Name

207.4. Attribute.Order (A)

Data Type: Attribute Order

207.5. Attribute.Identifying Suffix (M)

Data Type: Identifying Suffix

207.6. Attribute.Manual Data Type (R)

References:
Data Type.Name (across R302)

207.7. Attribute.Data Type (M)

Data Type: Name

207.8. Attribute.Data Type Acceptable (M)

Data Type: Boolean

207.9. Attribute.Manual Conditional

Data Type: Boolean

207.10. Attribute.Conditional (M)

Data Type: Boolean

207.11. Attribute.Description

Data Type: Description

208. TRUE ATTRIBUTE (IM_TA)

True Attribute ( Information Model, Object, Attribute )

Identifiers:
Information Model + Object + Attribute

208.1. True Attribute.Information Model (R)

References:
Attribute.Information Model (across R208)

208.2. True Attribute.Object (R)

References:
Attribute.Object (across R208)

208.3. True Attribute.Attribute (R)

References:
Attribute.Name (across R208)

209. BASE ATTRIBUTE (IM_BA)

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

Identifiers:
Information Model + Object + True Attribute

209.1. Base Attribute.Information Model (R)

References:
True Attribute.Information Model (across R209)

209.2. Base Attribute.Object (R)

References:
True Attribute.Object (across R209)

209.3. Base Attribute.True Attribute (R)

References:
True Attribute.Attribute (across R209)

209.4. Base Attribute.Naming

Data Type: Boolean

209.5. Base Attribute.Value Domain

Data Type: Description

210. SIMPLE ATTRIBUTE (IM_SA)

Simple Attribute ( Information Model, Object, Base Attribute, Initial Type, Initial Value, Final )

Identifiers:
Information Model + Object + Base Attribute

210.1. Simple Attribute.Information Model (R)

References:
Base Attribute.Information Model (across R210)
Data Type.Information Model (across R304)
Data Value.Information Model (across R313)

210.2. Simple Attribute.Object (R)

References:
Base Attribute.Object (across R210)

210.3. Simple Attribute.Base Attribute (R)

References:
Base Attribute.True Attribute (across R210)

210.4. Simple Attribute.Initial Type (R)

References:
Data Type.Name (across R304)
Data Value.Data Type (across R313)

210.5. Simple Attribute.Initial Value (R)

References:
Data Value.Arbitrary ID (across R313)

210.6. Simple Attribute.Final

Data Type: Boolean

211. ARBITRARY ID ATTRIBUTE (IM_AIA)

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

Identifiers:
Information Model + Object + Base Attribute

211.1. Arbitrary ID Attribute.Information Model (R)

References:
Base Attribute.Information Model (across R210)

211.2. Arbitrary ID Attribute.Object (R)

References:
Base Attribute.Object (across R210)

211.3. Arbitrary ID Attribute.Base Attribute (R)

References:
Base Attribute.True Attribute (across R210)

212. MATHEMATICALLY DEPENDENT ATTRIBUTE (IM_MDA)

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

Identifiers:
Information Model + Object + Base Attribute

212.1. Mathematically Dependent Attribute.Information Model (R)

References:
Base Attribute.Information Model (across R210)

212.2. Mathematically Dependent Attribute.Object (R)

References:
Base Attribute.Object (across R210)

212.3. Mathematically Dependent Attribute.Base Attribute (R)

References:
Base Attribute.True Attribute (across R210)

213. REFERENTIAL ATTRIBUTE (IM_RA)

Referential Attribute ( Information Model, Object, True Attribute, Referential Suffix, Base Object, Base Attribute, Base Attribute Status, Literal Type, Literal Value, Navigation Conditional )

Identifiers:
Information Model + Object + True Attribute

213.1. Referential Attribute.Information Model (R)

References:
True Attribute.Information Model (across R209)
Data Type.Information Model (across R305)
Data Value.Information Model (across R314)

213.2. Referential Attribute.Object (R)

References:
True Attribute.Object (across R209)

213.3. Referential Attribute.True Attribute (R)

References:
True Attribute.Attribute (across R209)

213.4. Referential Attribute.Referential Suffix (M)

Data Type: Referential Suffix

213.5. Referential Attribute.Base Object (M)

Data Type: Name

213.6. Referential Attribute.Base Attribute (M)

Data Type: Name

213.7. Referential Attribute.Base Attribute Status (M)

Data Type: Base Attribute Status

213.8. Referential Attribute.Literal Type (R)

References:
Data Type.Name (across R305)
Data Value.Data Type (across R314)

213.9. Referential Attribute.Literal Value (R)

References:
Data Value.Arbitrary ID (across R314)

213.10. Referential Attribute.Navigation Conditional (M)

Data Type: Boolean

214. POLYMORPHIC ATTRIBUTE (IM_PA)

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

Identifiers:
Information Model + Supertype Object + Attribute

214.1. Polymorphic Attribute.Information Model (R)

References:
Attribute.Information Model (across R208)
Subtype-Supertype Relationship.Information Model (across R224)

214.2. Polymorphic Attribute.Supertype Object (R)

References:
Attribute.Object (across R208)

214.3. Polymorphic Attribute.Attribute (R)

References:
Attribute.Name (across R208)

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

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

214.5. Polymorphic Attribute.Mapping Complete (M)

Data Type: Boolean

214.6. Polymorphic Attribute.Mapping Compatible (M)

Data Type: Boolean

215. POLYMORPHIC ATTRIBUTE MAPPING (IM_PAM)

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

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

215.1. Polymorphic Attribute Mapping.Information Model (R)

References:
Polymorphic Attribute.Information Model (across R213)
Attribute.Information Model (across R213)

215.2. Polymorphic Attribute Mapping.Supertype Object (R)

References:
Polymorphic Attribute.Supertype Object (across R213)

215.3. Polymorphic Attribute Mapping.Polymorphic Attribute (R)

References:
Polymorphic Attribute.Attribute (across R213)

215.4. Polymorphic Attribute Mapping.Subtype Object (R)

References:
Attribute.Object (across R213)

215.5. Polymorphic Attribute Mapping.Subtype Attribute (R)

References:
Attribute.Name (across R213)

216. IDENTIFIER (IM_I)

Identifier ( Information Model, Object, Order, Identifier ID, Preferred )

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."

216.1. Identifier.Information Model (R)

References:
Object.Information Model (across R214)

216.2. Identifier.Object (R)

References:
Object.Entity (across R214)

216.3. Identifier.Order (A)

Data Type: Identifier Order

216.4. Identifier.Identifier ID (M)

Data Type: Identifier ID

216.5. Identifier.Preferred

Data Type: Boolean

217. IDENTIFYING ATTRIBUTE (IM_IA)

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

Identifiers:
Information Model + Object + Identifier + Attribute

217.1. Identifying Attribute.Information Model (R)

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

217.2. Identifying Attribute.Object (R)

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

217.3. Identifying Attribute.Identifier (R)

References:
Identifier.Identifier ID (across R216)

217.4. Identifying Attribute.Attribute (R)

References:
Attribute.Name (across R216)

218. RELATIONSHIP (IM_R)

Relationship ( Information Model, Order, Manual Number, Number, Relationship ID, Description )

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

218.1. Relationship.Information Model (R)

References:
Information Model.Arbitrary ID (across R217)

218.2. Relationship.Order (A)

Data Type: Relationship Order

218.3. Relationship.Manual Number

Data Type: Positive Integer

218.4. Relationship.Number (M)

Data Type: Positive Integer

218.5. Relationship.Relationship ID (M)

Data Type: Relationship ID

218.6. Relationship.Description

Data Type: Description

219. UNASSIGNED RELATIONSHIP (IM_UR)

Unassigned Relationship ( Information Model, Relationship )

Identifiers:
Information Model + Relationship

219.1. Unassigned Relationship.Information Model (R)

References:
Relationship.Information Model (across R218)

219.2. Unassigned Relationship.Relationship (R)

References:
Relationship.Relationship ID (across R218)

220. ASSIGNED RELATIONSHIP (IM_AsR)

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

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

220.1. Assigned Relationship.Information Model (R)

References:
Relationship.Information Model (across R218)
Subsystem.Information Model (across R219)

220.2. Assigned Relationship.Relationship (R)

References:
Relationship.Relationship ID (across R218)

220.3. Assigned Relationship.Subsystem (R)

References:
Subsystem.Name (across R219)

220.4. Assigned Relationship.Order (A)

Data Type: Assigned Relationship Order

221. BINARY RELATIONSHIP (IM_BR)

Binary Relationship ( Information Model, Relationship )

Identifiers:
Information Model + Relationship

221.1. Binary Relationship.Information Model (R)

References:
Relationship.Information Model (across R220)

221.2. Binary Relationship.Relationship (R)

References:
Relationship.Relationship ID (across R220)

222. SIMPLE RELATIONSHIP (IM_SR)

Simple Relationship ( Information Model, Binary Relationship )

Identifiers:
Information Model + Binary Relationship

222.1. Simple Relationship.Information Model (R)

References:
Binary Relationship.Information Model (across R221)

222.2. Simple Relationship.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R221)

223. ASSOCIATIVE RELATIONSHIP (IM_AR)

Associative Relationship ( Information Model, Binary Relationship )

Identifiers:
Information Model + Binary Relationship

223.1. Associative Relationship.Information Model (R)

References:
Binary Relationship.Information Model (across R221)

223.2. Associative Relationship.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R221)

224. COMPOSED RELATIONSHIP (IM_CR)

Composed Relationship ( Information Model, Binary Relationship )

Identifiers:
Information Model + Binary Relationship

224.1. Composed Relationship.Information Model (R)

References:
Binary Relationship.Information Model (across R221)

224.2. Composed Relationship.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R221)

225. MATHEMATICALLY DEPENDENT RELATIONSHIP (IM_MDR)

Mathematically Dependent Relationship ( Information Model, Binary Relationship )

Identifiers:
Information Model + Binary Relationship

225.1. Mathematically Dependent Relationship.Information Model (R)

References:
Binary Relationship.Information Model (across R221)

225.2. Mathematically Dependent Relationship.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R221)

226. LOOP INDEPENDENT RELATIONSHIP (IM_LIR)

Loop Independent Relationship ( Information Model, Binary Relationship )

Identifiers:
Information Model + Binary Relationship

226.1. Loop Independent Relationship.Information Model (R)

References:
Binary Relationship.Information Model (across R222)

226.2. Loop Independent Relationship.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R222)

227. 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

227.1. Loop Dependent Relationship.Information Model (R)

References:
Binary Relationship.Information Model (across R222)

227.2. Loop Dependent Relationship.Binary Relationship (R)

References:
Binary Relationship.Relationship (across R222)

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

Data Type: Boolean

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

Data Type: Boolean

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

Data Type: Boolean

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

Data Type: Boolean

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

Data Type: Boolean

228. 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

228.1. Loop Traversal Mapping.Information Model (R)

References:
Loop Dependent Relationship.Information Model (across R223)
Participant.Information Model (across R227)
Participant.Information Model (across R227)

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

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

228.3. Loop Traversal Mapping.Order (A)

Data Type: Loop Traversal Mapping Order

228.4. Loop Traversal Mapping.Traversed Relationship (R)

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

228.5. Loop Traversal Mapping.Source Object (R)

References:
Participant.Object (across R227)

228.6. Loop Traversal Mapping.Source Role (R)

References:
Participant.Role (across R227)

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

Data Type: Boolean

228.8. Loop Traversal Mapping.Target Object (R)

References:
Participant.Object (across R227)

228.9. Loop Traversal Mapping.Target Role (R)

References:
Participant.Role (across R227)

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

Data Type: Boolean

229. SUBTYPE-SUPERTYPE RELATIONSHIP (IM_SSR)

Subtype-Supertype Relationship ( Information Model, Relationship )

Identifiers:
Information Model + Relationship

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

References:
Relationship.Information Model (across R220)

229.2. Subtype-Supertype Relationship.Relationship (R)

References:
Relationship.Relationship ID (across R220)

230. PARTICIPANT (IM_P)

Participant ( Information Model, Relationship, Object, Role )

Identifiers:
Information Model + Relationship + Object + Role

230.1. Participant.Information Model (R)

References:
Object.Information Model (across R225)
Relationship.Information Model (across R226)

230.2. Participant.Relationship (R)

References:
Relationship.Relationship ID (across R226)

230.3. Participant.Object (R)

References:
Object.Entity (across R225)

230.4. Participant.Role

Data Type: Name

231. FIRST PARTICIPANT (IM_FP)

First Participant ( Information Model, Binary Relationship, First Object, First Role, Verb Phrase, Many, Conditional )

Identifiers:
Information Model + Binary Relationship + First Object

231.1. First Participant.Information Model (R)

References:
Participant.Information Model (across R228)
Binary Relationship.Information Model (across R229)

231.2. First Participant.Binary Relationship (R)

References:
Participant.Relationship (across R228)
Binary Relationship.Relationship (across R229)

231.3. First Participant.First Object (R)

References:
Participant.Object (across R228)

231.4. First Participant.First Role (R)

References:
Participant.Role (across R228)

231.5. First Participant.Verb Phrase

Data Type: Name

231.6. First Participant.Many

Data Type: Boolean

231.7. First Participant.Conditional

Data Type: Boolean

232. SECOND PARTICIPANT (IM_SP)

Second Participant ( Information Model, Binary Relationship, Second Object, Second Role, Verb Phrase, Many, Conditional )

Identifiers:
Information Model + Binary Relationship + Second Object

232.1. Second Participant.Information Model (R)

References:
Participant.Information Model (across R228)
Binary Relationship.Information Model (across R230)

232.2. Second Participant.Binary Relationship (R)

References:
Participant.Relationship (across R228)
Binary Relationship.Relationship (across R230)

232.3. Second Participant.Second Object (R)

References:
Participant.Object (across R228)

232.4. Second Participant.Second Role (R)

References:
Participant.Role (across R228)

232.5. Second Participant.Verb Phrase

Data Type: Name

232.6. Second Participant.Many

Data Type: Boolean

232.7. Second Participant.Conditional

Data Type: Boolean

233. ASSOCIATIVE PARTICIPANT (IM_AP)

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

Identifiers:
Information Model + Associative Relationship + Associative Object

233.1. Associative Participant.Information Model (R)

References:
Participant.Information Model (across R228)
Associative Relationship.Information Model (across R231)

233.2. Associative Participant.Associative Relationship (R)

References:
Participant.Relationship (across R228)
Associative Relationship.Binary Relationship (across R231)

233.3. Associative Participant.Associative Object (R)

References:
Participant.Object (across R228)

233.4. Associative Participant.Associative Role (R)

Data Type: Name

References:
Participant.Role (across R228)

233.5. Associative Participant.Verb Phrase

Data Type: Name

233.6. Associative Participant.Connector Phrase

Data Type: Name

233.7. Associative Participant.Many

Data Type: Boolean

233.8. Associative Participant.Conditional

Data Type: Boolean

234. SUPERTYPE PARTICIPANT (IM_SupP)

Supertype Participant ( Information Model, Subtype-Supertype Relationship, Supertype Object, Supertype Role )

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

234.1. Supertype Participant.Information Model (R)

References:
Participant.Information Model (across R228)
Subtype-Supertype Relationship.Information Model (across R232)

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

References:
Participant.Relationship (across R228)
Subtype-Supertype Relationship.Relationship (across R232)

234.3. Supertype Participant.Supertype Object (R)

References:
Participant.Object (across R228)

234.4. Supertype Participant.Supertype Role (R)

Data Type: Name

References:
Participant.Role (across R228)

235. SUBTYPE PARTICIPANT (IM_SubP)

Subtype Participant ( Information Model, Subtype-Supertype Relationship, Subtype Object, Subtype Role )

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

235.1. Subtype Participant.Information Model (R)

References:
Participant.Information Model (across R228)
Subtype-Supertype Relationship.Information Model (across R233)

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

References:
Participant.Relationship (across R228)
Subtype-Supertype Relationship.Relationship (across R233)

235.3. Subtype Participant.Subtype Object (R)

References:
Participant.Object (across R228)

235.4. Subtype Participant.Subtype Role (R)

Data Type: Name

References:
Participant.Role (across R228)

236. PARTICIPANT MAPPING (IM_PM)

Participant Mapping ( Information Model, Relationship, Source Object, Source Role, Target Object, Target Identifier )

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

236.1. Participant Mapping.Information Model (R)

References:
Identifier.Information Model (across R234)
Participant.Information Model (across R235)

236.2. Participant Mapping.Relationship (R)

References:
Participant.Relationship (across R235)

236.3. Participant Mapping.Source Object (R)

References:
Participant.Object (across R235)

236.4. Participant Mapping.Source Role (R)

References:
Participant.Role (across R235)

236.5. Participant Mapping.Target Object (R)

References:
Identifier.Object (across R234)

236.6. Participant Mapping.Target Identifier (R)

References:
Identifier.Identifier ID (across R234)

237. FIRST TO SECOND MAPPING (IM_FTSM)

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

Identifiers:
Information Model + Binary Relationship + First Object + Second Object

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

References:
Participant Mapping.Information Model (across R236)
First Participant.Information Model (across R237)
Second Participant.Information Model (across R237)

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

References:
Participant Mapping.Relationship (across R236)
First Participant.Binary Relationship (across R237)
Second Participant.Binary Relationship (across R237)

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

References:
Participant Mapping.Source Object (across R236)
First Participant.First Object (across R237)

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

References:
Participant Mapping.Target Object (across R236)
Second Participant.Second Object (across R237)

238. SECOND TO FIRST MAPPING (IM_STFM)

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

Identifiers:
Information Model + Binary Relationship + Second Object + First Object

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

References:
Participant Mapping.Information Model (across R236)
Second Participant.Information Model (across R238)
First Participant.Information Model (across R238)

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

References:
Participant Mapping.Relationship (across R236)
Second Participant.Binary Relationship (across R238)
First Participant.Binary Relationship (across R238)

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

References:
Participant Mapping.Source Object (across R236)
Second Participant.Second Object (across R238)

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

References:
Participant Mapping.Target Object (across R236)
First Participant.First Object (across R238)

239. ASSOCIATIVE TO FIRST MAPPING (IM_ATFM)

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

Identifiers:
Information Model + Associative Relationship + Associative Object + First Object

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

References:
Participant Mapping.Information Model (across R236)
Associative Participant.Information Model (across R239)
First Participant.Information Model (across R239)

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

References:
Participant Mapping.Relationship (across R236)
Associative Participant.Associative Relationship (across R239)
First Participant.Binary Relationship (across R239)

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

References:
Participant Mapping.Source Object (across R236)
Associative Participant.Associative Object (across R239)

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

References:
Participant Mapping.Target Object (across R236)
First Participant.First Object (across R239)

240. ASSOCIATIVE TO SECOND MAPPING (IM_ATSM)

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

Identifiers:
Information Model + Associative Relationship + Associative Object + Second Object

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

References:
Participant Mapping.Information Model (across R236)
Associative Participant.Information Model (across R240)
Second Participant.Information Model (across R240)

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

References:
Participant Mapping.Relationship (across R236)
Associative Participant.Associative Relationship (across R240)
Second Participant.Binary Relationship (across R240)

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

References:
Participant Mapping.Source Object (across R236)
Associative Participant.Associative Object (across R240)

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

References:
Participant Mapping.Target Object (across R236)
Second Participant.Second Object (across R240)

241. 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 + Supertype Object

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

References:
Participant Mapping.Information Model (across R236)
Subtype Participant.Information Model (across R241)
Supertype Participant.Information Model (across R241)

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

References:
Participant Mapping.Relationship (across R236)
Subtype Participant.Subtype-Supertype Relationship (across R241)
Supertype Participant.Subtype-Supertype Relationship (across R241)

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

References:
Participant Mapping.Source Object (across R236)
Subtype Participant.Subtype Object (across R241)

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

References:
Participant Mapping.Target Object (across R236)
Supertype Participant.Supertype Object (across R241)

242. REFERENTIAL ATTRIBUTE MAPPING (IM_RAM)

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

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

242.1. Referential Attribute Mapping.Information Model (R)

References:
Referential Attribute.Information Model (across R242)
Identifying Attribute.Information Model (across R242)
Identifier.Information Model (across R243)
Participant Mapping.Information Model (across R244)

242.2. Referential Attribute Mapping.Relationship (R)

References:
Participant Mapping.Relationship (across R244)

242.3. Referential Attribute Mapping.Source Object (R)

References:
Referential Attribute.Object (across R242)
Participant Mapping.Source Object (across R244)

242.4. Referential Attribute Mapping.Referential Attribute (R)

References:
Referential Attribute.True Attribute (across R242)

242.5. Referential Attribute Mapping.Target Object (R)

References:
Identifying Attribute.Object (across R242)
Identifier.Object (across R243)
Participant Mapping.Target Object (across R244)

242.6. Referential Attribute Mapping.Target Identifier (R)

References:
Identifying Attribute.Identifier (across R242)
Identifier.Identifier ID (across R243)

242.7. Referential Attribute Mapping.Identifying Attribute (R)

References:
Identifying Attribute.Attribute (across R242)

242.8. Referential Attribute Mapping.Constrained

Data Type: Boolean

242.9. Referential Attribute Mapping.Loop Constrained (M)

Data Type: Boolean

Part III: Relationships

R201.Information Model IS PARTITIONED INTO Subsystem (1:Mc)
Subsystem IS PARTITION OF Information Model

Formalization:
Subsystem.Information Model→Information Model.Arbitrary ID

R202.Entity IS A (SUPERTYPE OF) Object
Entity IS A (SUPERTYPE OF) Terminator

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

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

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

Formalization:
Object.Information Model→Information Model.Arbitrary ID

R204.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.Information Model→Object.Information Model
Assigned Object.Object→Object.Entity
Unassigned Object.Information Model→Object.Information Model
Unassigned Object.Object→Object.Entity

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

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

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

R139 = (R138 + R115 + R116) - R137

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

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

R208.Attribute IS A (SUPERTYPE OF) Polymorphic Attribute
Attribute IS A (SUPERTYPE OF) True Attribute

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

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

R209.True Attribute IS A (SUPERTYPE OF) Base Attribute
True Attribute IS A (SUPERTYPE OF) Referential Attribute

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

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

R210.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.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.True Attribute
Simple Attribute.Information Model→Base Attribute.Information Model
Simple Attribute.Object→Base Attribute.Object
Simple Attribute.Base Attribute→Base Attribute.True Attribute

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

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

R213.Polymorphic Attribute IS MAPPED TO Attribute (Mc:Mc)
Attribute IS MAPPED FROM Polymorphic Attribute
Polymorphic Attribute Mapping ASSOCIATES Polymorphic Attribute AND Attribute 1-(Mc:Mc)

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

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

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

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

R216.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

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

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

R218.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.Information Model→Relationship.Information Model
Assigned Relationship.Relationship→Relationship.Relationship ID
Unassigned Relationship.Information Model→Relationship.Information Model
Unassigned Relationship.Relationship→Relationship.Relationship ID

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

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

R220.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

R221.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

R222.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

R223.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

R224.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

R225.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

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

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

R227.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

R228.Participant IS A (SUPERTYPE OF) Associative Participant
Participant IS A (SUPERTYPE OF) First Participant
Participant IS A (SUPERTYPE OF) Second Participant
Participant IS A (SUPERTYPE OF) Subtype Participant
Participant IS A (SUPERTYPE OF) Supertype Participant

Associative Participant IS A (SUBTYPE OF) Participant
First Participant IS A (SUBTYPE OF) Participant
Second 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.Associative Role→Participant.Role
First Participant.Information Model→Participant.Information Model
First Participant.Binary Relationship→Participant.Relationship
First Participant.First Object→Participant.Object
First Participant.First Role→Participant.Role
Second Participant.Information Model→Participant.Information Model
Second Participant.Binary Relationship→Participant.Relationship
Second Participant.Second Object→Participant.Object
Second Participant.Second 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.Subtype 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.Supertype Role→Participant.Role

R229.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

R230.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

R231.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

R232.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

R233.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

R234.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

R235.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

R236.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

R237.First Participant IS MAPPED TO Second Participant (1c:1c)
Second Participant IS MAPPED FROM First Participant
First To Second Mapping FORMALIZES RELATIONSHIP BETWEEN First Participant AND 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.First Object→First Participant.First Object
First To Second Mapping.Information Model→Second Participant.Information Model
First To Second Mapping.Binary Relationship→Second Participant.Binary Relationship
First To Second Mapping.Second Object→Second Participant.Second Object

R238.Second Participant IS MAPPED TO First Participant (1c:1c)
First Participant IS MAPPED FROM Second Participant
Second To First Mapping FORMALIZES RELATIONSHIP BETWEEN Second Participant AND 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.Second Object→Second Participant.Second Object
Second To First Mapping.Information Model→First Participant.Information Model
Second To First Mapping.Binary Relationship→First Participant.Binary Relationship
Second To First Mapping.First Object→First Participant.First Object

R239.Associative Participant IS MAPPED TO First Participant (1c:1c)
First Participant IS MAPPED FROM Associative Participant
Associative To First Mapping FORMALIZES RELATIONSHIP BETWEEN Associative Participant AND 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.Associative Object→Associative Participant.Associative Object
Associative To First Mapping.Information Model→First Participant.Information Model
Associative To First Mapping.Associative Relationship→First Participant.Binary Relationship
Associative To First Mapping.First Object→First Participant.First Object

R240.Associative Participant IS MAPPED TO Second Participant (1c:1c)
Second Participant IS MAPPED FROM Associative Participant
Associative To Second Mapping FORMALIZES RELATIONSHIP BETWEEN Associative Participant AND 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.Associative Object→Associative Participant.Associative Object
Associative To Second Mapping.Information Model→Second Participant.Information Model
Associative To Second Mapping.Associative Relationship→Second Participant.Binary Relationship
Associative To Second Mapping.Second Object→Second Participant.Second Object

R241.Subtype Participant IS MAPPED TO Supertype Participant (Mc:1c)
Supertype Participant IS MAPPED FROM Subtype Participant
Subtype To Supertype Mapping FORMALIZES RELATIONSHIP BETWEEN Subtype Participant AND 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
Subtype To Supertype Mapping.Supertype Object→Supertype Participant.Supertype Object

R242.Referential Attribute IS MAPPED TO Identifying Attribute (Mc:Mc)
Identifying Attribute IS MAPPED FROM Referential Attribute
Referential Attribute Mapping ASSOCIATES Referential Attribute AND 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.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

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

Formalization: R243 = R244 + R234

R244.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