Data Type

Part I: Graphical Model

Graphical Model

Part II: Objects and Attributes

201. DATA TYPE (DT_DT)

Data Type ( Information Model, Order, Data Type ID, Name, Predefined, Reference Count, Description, Operation Owner, Label Prefix )

Identifiers:
Information Model + Order
Information Model + Data Type ID
Information Model + Name + Predefined

201.1. Data Type.Information Model (R)

References:
Information Model.Arbitrary ID (across R201)

201.2. Data Type.Order (A)

Data Type: Data Type Order

201.3. Data Type.Data Type ID (M)

Data Type: Data Type ID

201.4. Data Type.Name (P)

201.5. Data Type.Predefined

Data Type: Boolean

201.6. Data Type.Reference Count (M)

Data Type: Non-Negative Integer

201.7. Data Type.Description

Data Type: Description

201.8. Data Type.Operation Owner (R)

References:
Operation Owner.Arbitrary ID (across R403)

201.9. Data Type.Label Prefix (M)

Data Type: Label Prefix

202. POPULATION INDEPENDENT TYPE (DT_PIT)

Population Independent Type ( Information Model, Data Type, Name )

Identifiers:
Information Model + Data Type

202.1. Population Independent Type.Information Model (R)

References:
Data Type.Information Model (across R207)

202.2. Population Independent Type.Data Type (R)

References:
Data Type.Data Type ID (across R207)

202.3. Population Independent Type.Name (P)

203. BOOLEAN TYPE (DT_BT)

Boolean Type ( Information Model, Population Independent Type, Name, False Alias, True Alias, Default Value )

Identifiers:
Information Model + Population Independent Type

203.1. Boolean Type.Information Model (R)

References:
Population Independent Type.Information Model (across R208)
Boolean Value.Information Model (across R209)

203.2. Boolean Type.Population Independent Type (R)

References:
Population Independent Type.Data Type (across R208)
Boolean Value.Boolean Type (across R209)

203.3. Boolean Type.Name

Data Type: Name

203.4. Boolean Type.False Alias

Data Type: Name

203.5. Boolean Type.True Alias

Data Type: Name

203.6. Boolean Type.Default Value (R)

References:
Boolean Value.Boolean (across R209)

204. ENUMERATED TYPE (DT_ET)

Enumerated Type ( Information Model, Population Independent Type, Name, Default Value )

Identifiers:
Information Model + Population Independent Type

204.1. Enumerated Type.Information Model (R)

References:
Population Independent Type.Information Model (across R208)
Enumerated Value.Information Model (across R211)

204.2. Enumerated Type.Population Independent Type (R)

References:
Population Independent Type.Data Type (across R208)
Enumerated Value.Enumerated Type (across R211)

204.3. Enumerated Type.Name (P)

204.4. Enumerated Type.Default Value (R)

References:
Enumerated Value.Legal Value (across R211)

205. SIMPLE ENUMERATED TYPE (DT_SET)

Simple Enumerated Type ( Information Model, Enumerated Type, Name )

Identifiers:
Information Model + Enumerated Type

205.1. Simple Enumerated Type.Information Model (R)

References:
Enumerated Type.Information Model (across R212)

205.2. Simple Enumerated Type.Enumerated Type (R)

References:
Enumerated Type.Population Independent Type (across R212)

205.3. Simple Enumerated Type.Name

Data Type: Name

206. ENUMERATED SUBTYPE TYPE (DT_ESubT)

Enumerated Subtype Type ( Information Model, Enumerated Type, Name, Subtype-Supertype Relationship )

Identifiers:
Information Model + Enumerated Type
Information Model + Subtype-Supertype Relationship

206.1. Enumerated Subtype Type.Information Model (R)

References:
Enumerated Type.Information Model (across R212)
Subtype-Supertype Relationship.Information Model (across R213)

206.2. Enumerated Subtype Type.Enumerated Type (R)

References:
Enumerated Type.Population Independent Type (across R212)

206.3. Enumerated Subtype Type.Name (M)

Data Type: Name

206.4. Enumerated Subtype Type.Subtype-Supertype Relationship (R)

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

207. ENUMERATED STATE TYPE (DT_EST)

Enumerated State Type ( Information Model, Enumerated Type, Name, State Model )

Identifiers:
Information Model + Enumerated Type
Information Model + State Model

207.1. Enumerated State Type.Information Model (R)

References:
Enumerated Type.Information Model (across R212)
State Model.Information Model (across R214)

207.2. Enumerated State Type.Enumerated Type (R)

References:
Enumerated Type.Population Independent Type (across R212)

207.3. Enumerated State Type.Name (M)

Data Type: Name

207.4. Enumerated State Type.State Model (R)

References:
State Model.Event Destination (across R214)

208. LEGAL VALUE (DT_LV)

Legal Value ( Information Model, Enumerated Type, Name, Order, Description )

Identifiers:
Information Model + Enumerated Type + Name
Information Model + Enumerated Type + Order

208.1. Legal Value.Information Model (R)

References:
Enumerated Type.Information Model (across R210)

208.2. Legal Value.Enumerated Type (R)

References:
Enumerated Type.Population Independent Type (across R210)

208.3. Legal Value.Name

Data Type: Name

208.4. Legal Value.Order (A)

Data Type: Legal Value Order

208.5. Legal Value.Description

Data Type: Description

209. SYMBOLIC TYPE (DT_ST)

Symbolic Type ( Information Model, Population Independent Type, Name, Minimum Length, Maximum Length, Pattern, Default Value )

Identifiers:
Information Model + Population Independent Type

209.1. Symbolic Type.Information Model (R)

References:
Population Independent Type.Information Model (across R208)
Symbolic Value.Information Model (across R215)

209.2. Symbolic Type.Population Independent Type (R)

References:
Population Independent Type.Data Type (across R208)
Symbolic Value.Symbolic Type (across R215)

209.3. Symbolic Type.Name

Data Type: Name

209.4. Symbolic Type.Minimum Length

Data Type: Non-Negative Integer

209.5. Symbolic Type.Maximum Length

Data Type: Non-Negative Integer

209.6. Symbolic Type.Pattern

Data Type: Pattern

209.7. Symbolic Type.Default Value (R)

References:
Symbolic Value.String (across R215)

210. NUMERIC TYPE (DT_NT)

Numeric Type ( Information Model, Population Independent Type, Name, Value Format, Unit, Time Unit, Minimum Value, Maximum Value, Preferred Decimal Places, Maximum Decimal Places, Precision, Default Value )

Identifiers:
Information Model + Population Independent Type

210.1. Numeric Type.Information Model (R)

References:
Population Independent Type.Information Model (across R208)
Numeric Value.Information Model (across R216)
Numeric Value.Information Model (across R217)
Numeric Value.Information Model (across R218)

210.2. Numeric Type.Population Independent Type (R)

References:
Population Independent Type.Data Type (across R208)
Numeric Value.Numeric Type (across R216)
Numeric Value.Numeric Type (across R217)
Numeric Value.Numeric Type (across R218)

210.3. Numeric Type.Name

Data Type: Name

210.4. Numeric Type.Value Format

Data Type: Numeric Value Format

210.5. Numeric Type.Unit

Data Type: Name

210.6. Numeric Type.Time Unit (M)

Data Type: Time Unit

210.7. Numeric Type.Minimum Value (R)

References:
Numeric Value.Number (across R218)

210.8. Numeric Type.Maximum Value (R)

References:
Numeric Value.Number (across R217)

210.9. Numeric Type.Preferred Decimal Places

Data Type: Non-Negative Integer

210.10. Numeric Type.Maximum Decimal Places

Data Type: Integer

210.11. Numeric Type.Precision (M)

Data Type: Real

210.12. Numeric Type.Default Value (R)

References:
Numeric Value.Number (across R216)

211. ARBITRARY ID TYPE (DT_AIT)

Arbitrary ID Type ( Information Model, Population Independent Type, Name, Ordinal, Minimum Value, Maximum Value, Unallocated Percentage Before Reallocation, Minimum Unallocated Before Reallocation, Default Value )

Identifiers:
Information Model + Population Independent Type

211.1. Arbitrary ID Type.Information Model (R)

References:
Population Independent Type.Information Model (across R208)
Arbitrary ID Value.Information Model (across R219)

211.2. Arbitrary ID Type.Population Independent Type (R)

References:
Population Independent Type.Data Type (across R208)
Arbitrary ID Value.Arbitrary ID Type (across R219)

211.3. Arbitrary ID Type.Name

Data Type: Name

211.4. Arbitrary ID Type.Ordinal

Data Type: Boolean

211.5. Arbitrary ID Type.Minimum Value

Data Type: Non-Negative Integer

211.6. Arbitrary ID Type.Maximum Value

Data Type: Non-Negative Integer

211.7. Arbitrary ID Type.Unallocated Percentage Before Reallocation

Data Type: Non-Negative Integer

211.8. Arbitrary ID Type.Minimum Unallocated Before Reallocation

Data Type: Positive Integer

211.9. Arbitrary ID Type.Default Value (R)

References:
Arbitrary ID Value.Non-Negative Integer (across R219)

212. DOMAIN ALLOCATED ID TYPE (DT_DAIT)

Domain Allocated ID Type ( Information Model, Arbitrary ID Type )

Identifiers:
Information Model + Arbitrary ID Type

212.1. Domain Allocated ID Type.Information Model (R)

References:
Arbitrary ID Type.Information Model (across R220)

212.2. Domain Allocated ID Type.Arbitrary ID Type (R)

References:
Arbitrary ID Type.Population Independent Type (across R220)

213. OBJECT SPECIFIC ID TYPE (DT_OSIT)

Object Specific ID Type ( Information Model, Arbitrary ID Type, Identified Object )

Identifiers:
Information Model + Arbitrary ID Type

213.1. Object Specific ID Type.Information Model (R)

References:
Arbitrary ID Type.Information Model (across R220)
Object.Information Model (across R221)

213.2. Object Specific ID Type.Arbitrary ID Type (R)

References:
Arbitrary ID Type.Population Independent Type (across R220)

213.3. Object Specific ID Type.Identified Object (R)

References:
Object.Entity (across R221)

214. OBJECT ALLOCATED ID TYPE (DT_OAIT)

Object Allocated ID Type ( Information Model, Object Specific ID Type )

Identifiers:
Information Model + Object Specific ID Type

214.1. Object Allocated ID Type.Information Model (R)

References:
Object Specific ID Type.Information Model (across R222)

214.2. Object Allocated ID Type.Object Specific ID Type (R)

References:
Object Specific ID Type.Arbitrary ID Type (across R222)

215. PARENT ALLOCATED ID TYPE (DT_PAIT)

Parent Allocated ID Type ( Information Model, Object Specific ID Type, Child-Parent Relationship, Child Mapped To Parent )

Identifiers:
Information Model + Object Specific ID Type

215.1. Parent Allocated ID Type.Information Model (R)

References:
Object Specific ID Type.Information Model (across R222)
Simple Relationship.Information Model (across R223)

215.2. Parent Allocated ID Type.Object Specific ID Type (R)

References:
Object Specific ID Type.Arbitrary ID Type (across R222)

215.3. Parent Allocated ID Type.Child-Parent Relationship (R)

References:
Simple Relationship.Binary Relationship (across R223)

215.4. Parent Allocated ID Type.Child Mapped To Parent (M)

Data Type: Boolean

216. EXTERNAL TYPE (DT_ExT)

External Type ( Information Model, Data Type, Name, External Entity, Literal Type, Default Value )

Identifiers:
Information Model + Data Type

216.1. External Type.Information Model (R)

References:
Data Type.Information Model (across R207)
Externally Resolved Value.Information Model (across R224)
Population Independent Type.Information Model (across R225)
External Entity.Information Model (across R250)

216.2. External Type.Data Type (R)

References:
Data Type.Data Type ID (across R207)
Externally Resolved Value.External Type (across R224)

216.3. External Type.Name

Data Type: Name

216.4. External Type.External Entity (R)

References:
External Entity.Entity (across R250)

216.5. External Type.Literal Type (R)

References:
Population Independent Type.Data Type (across R225)

216.6. External Type.Default Value (R)

References:
Externally Resolved Value.External Value (across R224)

217. POPULATION DEPENDENT TYPE (DT_PDT)

Population Dependent Type ( Information Model, Data Type, Name )

Identifiers:
Information Model + Data Type

217.1. Population Dependent Type.Information Model (R)

References:
Data Type.Information Model (across R207)

217.2. Population Dependent Type.Data Type (R)

References:
Data Type.Data Type ID (across R207)

217.3. Population Dependent Type.Name (M)

Data Type: Name

218. OBJECT INSTANCE TYPE (DT_OIT)

Object Instance Type ( Information Model, Population Dependent Type, Object )

Identifiers:
Information Model + Population Dependent Type
Information Model + Object

218.1. Object Instance Type.Information Model (R)

References:
Population Dependent Type.Information Model (across R226)
Object.Information Model (across R227)

218.2. Object Instance Type.Population Dependent Type (R)

References:
Population Dependent Type.Data Type (across R226)

218.3. Object Instance Type.Object (R)

References:
Object.Entity (across R227)

219. EVENT INSTANCE TYPE (DT_EIT)

Event Instance Type ( Information Model, Population Dependent Type, Event Destination, Event )

Identifiers:
Information Model + Population Dependent Type
Information Model + Event Destination + Event

219.1. Event Instance Type.Information Model (R)

References:
Population Dependent Type.Information Model (across R226)
Event.Information Model (across R228)

219.2. Event Instance Type.Population Dependent Type (R)

References:
Population Dependent Type.Data Type (across R226)

219.3. Event Instance Type.Event Destination (R)

References:
Event.Event Destination (across R228)

219.4. Event Instance Type.Event (R)

References:
Event.Meaning (across R228)

220. RETURN COORDINATE TYPE (DT_RCT)

Return Coordinate Type ( Information Model, Population Dependent Type, External Entity, Synchronous Service )

Identifiers:
Information Model + Population Dependent Type
Information Model + External Entity + Synchronous Service

220.1. Return Coordinate Type.Information Model (R)

References:
Population Dependent Type.Information Model (across R226)
Synchronous Service.Information Model (across R229)

220.2. Return Coordinate Type.Population Dependent Type (R)

References:
Population Dependent Type.Data Type (across R226)

220.3. Return Coordinate Type.External Entity (R)

References:
Synchronous Service.External Entity (across R229)

220.4. Return Coordinate Type.Synchronous Service (R)

References:
Synchronous Service.Composed Operation (across R229)

221. TRANSFER VECTOR TYPE (DT_TVT)

Transfer Vector Type ( Information Model, Population Dependent Type, External Entity, Asynchronous Return Process )

Identifiers:
Information Model + Population Dependent Type
Information Model + External Entity + Asynchronous Return Process

221.1. Transfer Vector Type.Information Model (R)

References:
Population Dependent Type.Information Model (across R226)
Asynchronous Return Process.Information Model (across R230)

221.2. Transfer Vector Type.Population Dependent Type (R)

References:
Population Dependent Type.Data Type (across R226)

221.3. Transfer Vector Type.External Entity (R)

References:
Asynchronous Return Process.External Entity (across R230)

221.4. Transfer Vector Type.Asynchronous Return Process (R)

References:
Asynchronous Return Process.Process (across R230)

222. DATA VALUE (DT_DV)

Data Value ( Information Model, Data Type, Arbitrary ID, Valid )

Identifiers:
Information Model + Data Type + Arbitrary ID

222.1. Data Value.Information Model (R)

References:
Data Type.Information Model (across R232)

222.2. Data Value.Data Type (R)

References:
Data Type.Data Type ID (across R232)

222.3. Data Value.Arbitrary ID (A)

Data Type: Data Value ID

222.4. Data Value.Valid (M)

Data Type: Boolean

223. UNDEFINED VALUE (DT_UV)

Undefined Value ( Information Model, Data Type, Data Value )

Identifiers:
Information Model + Data Type

223.1. Undefined Value.Information Model (R)

References:
Data Value.Information Model (across R231)

223.2. Undefined Value.Data Type (R)

References:
Data Value.Data Type (across R231)

223.3. Undefined Value.Data Value (R)

References:
Data Value.Arbitrary ID (across R231)

224. POPULATION INDEPENDENT VALUE (DT_PIV)

Population Independent Value ( Information Model, Population Independent Type, Data Value )

Identifiers:
Information Model + Population Independent Type + Data Value

224.1. Population Independent Value.Information Model (R)

References:
Data Value.Information Model (across R231)

224.2. Population Independent Value.Population Independent Type (R)

References:
Data Value.Data Type (across R231)

224.3. Population Independent Value.Data Value (R)

References:
Data Value.Arbitrary ID (across R231)

225. BOOLEAN VALUE (DT_BV)

Boolean Value ( Information Model, Boolean Type, Population Independent Value, Boolean )

Identifiers:
Information Model + Boolean Type + Population Independent Value
Information Model + Boolean Type + Boolean

225.1. Boolean Value.Information Model (R)

References:
Population Independent Value.Information Model (across R233)

225.2. Boolean Value.Boolean Type (R)

References:
Population Independent Value.Population Independent Type (across R233)

225.3. Boolean Value.Population Independent Value (R)

References:
Population Independent Value.Data Value (across R233)

225.4. Boolean Value.Boolean

Data Type: Boolean

226. ENUMERATED VALUE (DT_EV)

Enumerated Value ( Information Model, Enumerated Type, Population Independent Value, Legal Value )

Identifiers:
Information Model + Enumerated Type + Population Independent Value
Information Model + Enumerated Type + Legal Value

226.1. Enumerated Value.Information Model (R)

References:
Population Independent Value.Information Model (across R233)
Legal Value.Information Model (across R234)

226.2. Enumerated Value.Enumerated Type (R)

References:
Population Independent Value.Population Independent Type (across R233)
Legal Value.Enumerated Type (across R234)

226.3. Enumerated Value.Population Independent Value (R)

References:
Population Independent Value.Data Value (across R233)

226.4. Enumerated Value.Legal Value (R)

References:
Legal Value.Name (across R234)

227. SYMBOLIC VALUE (DT_SV)

Symbolic Value ( Information Model, Symbolic Type, Population Independent Value, String )

Identifiers:
Information Model + Symbolic Type + Population Independent Value
Information Model + Symbolic Type + String

227.1. Symbolic Value.Information Model (R)

References:
Population Independent Value.Information Model (across R233)

227.2. Symbolic Value.Symbolic Type (R)

References:
Population Independent Value.Population Independent Type (across R233)

227.3. Symbolic Value.Population Independent Value (R)

References:
Population Independent Value.Data Value (across R233)

227.4. Symbolic Value.String

Data Type: String

228. NUMERIC VALUE (DT_NV)

Numeric Value ( Information Model, Numeric Type, Population Independent Value, Number )

Identifiers:
Information Model + Numeric Type + Population Independent Value
Information Model + Numeric Type + Number

228.1. Numeric Value.Information Model (R)

References:
Population Independent Value.Information Model (across R233)

228.2. Numeric Value.Numeric Type (R)

References:
Population Independent Value.Population Independent Type (across R233)

228.3. Numeric Value.Population Independent Value (R)

References:
Population Independent Value.Data Value (across R233)

228.4. Numeric Value.Number

Data Type: Real

229. ARBITRARY ID VALUE (DT_AIV)

Arbitrary ID Value ( Information Model, Arbitrary ID Type, Population Independent Value, Non-Negative Integer )

Identifiers:
Information Model + Arbitrary ID Type + Population Independent Value
Information Model + Arbitrary ID Type + Non-Negative Integer

229.1. Arbitrary ID Value.Information Model (R)

References:
Population Independent Value.Information Model (across R233)

229.2. Arbitrary ID Value.Arbitrary ID Type (R)

References:
Population Independent Value.Population Independent Type (across R233)

229.3. Arbitrary ID Value.Population Independent Value (R)

References:
Population Independent Value.Data Value (across R233)

229.4. Arbitrary ID Value.Non-Negative Integer

Data Type: Non-Negative Integer

230. EXTERNAL VALUE (DT_ExV)

External Value ( Information Model, External Type, Data Value, Counterpart Information Model, Counterpart Type, Counterpart Value )

Identifiers:
Information Model + External Type + Data Value

230.1. External Value.Information Model (R)

References:
Data Value.Information Model (across R231)

230.2. External Value.External Type (R)

References:
Data Value.Data Type (across R231)

230.3. External Value.Data Value (R)

References:
Data Value.Arbitrary ID (across R231)

230.4. External Value.Counterpart Information Model (R)

References:
Data Value.Information Model (across R235)

230.5. External Value.Counterpart Type (R)

References:
Data Value.Data Type (across R235)

230.6. External Value.Counterpart Value (R)

References:
Data Value.Arbitrary ID (across R235)

231. EXTERNALLY RESOLVED VALUE (DT_ERV)

Externally Resolved Value ( Information Model, External Type, External Value, Literal Type, Literal Value )

Identifiers:
Information Model + External Type + External Value

231.1. Externally Resolved Value.Information Model (R)

References:
External Value.Information Model (across R236)
Population Independent Value.Information Model (across R238)

231.2. Externally Resolved Value.External Type (R)

References:
External Value.External Type (across R236)

231.3. Externally Resolved Value.External Value (R)

References:
External Value.Data Value (across R236)

231.4. Externally Resolved Value.Literal Type (R)

References:
Population Independent Value.Population Independent Type (across R238)

231.5. Externally Resolved Value.Literal Value (R)

References:
Population Independent Value.Data Value (across R238)

232. EXTERNALLY CREATED VALUE (DT_ECV)

Externally Created Value ( Information Model, External Type, External Value )

Identifiers:
Information Model + External Type + External Value

232.1. Externally Created Value.Information Model (R)

References:
External Value.Information Model (across R236)

232.2. Externally Created Value.External Type (R)

References:
External Value.External Type (across R236)

232.3. Externally Created Value.External Value (R)

References:
External Value.Data Value (across R236)

233. POPULATION DEPENDENT VALUE (DT_PDV)

Population Dependent Value ( Information Model, Population Dependent Type, Data Value )

Identifiers:
Information Model + Population Dependent Type + Data Value

233.1. Population Dependent Value.Information Model (R)

References:
Data Value.Information Model (across R231)

233.2. Population Dependent Value.Population Dependent Type (R)

References:
Data Value.Data Type (across R231)

233.3. Population Dependent Value.Data Value (R)

References:
Data Value.Arbitrary ID (across R231)

234. OBJECT INSTANCE VALUE (DT_OIV)

Object Instance Value ( Information Model, Object Instance Type, Population Dependent Value, Project, Project Population, Object, Object Instance )

Identifiers:
Information Model + Object Instance Type + Population Dependent Value
Information Model + Project + Project Population + Object + Object Instance

234.1. Object Instance Value.Information Model (R)

References:
Population Dependent Value.Information Model (across R240)
Object Instance.Information Model (across R242)

234.2. Object Instance Value.Object Instance Type (R)

References:
Population Dependent Value.Population Dependent Type (across R240)

234.3. Object Instance Value.Population Dependent Value (R)

References:
Population Dependent Value.Data Value (across R240)

234.4. Object Instance Value.Project (R)

References:
Object Instance.Project (across R242)

234.5. Object Instance Value.Project Population (R)

References:
Object Instance.Project Population (across R242)

234.6. Object Instance Value.Object (R)

References:
Object Instance.Object (across R242)

234.7. Object Instance Value.Object Instance (R)

References:
Object Instance.Order (across R242)

235. EVENT INSTANCE VALUE (DT_EIV)

Event Instance Value ( Information Model, Event Instance Type, Population Dependent Value, Project, Project Population, Event Destination, Event, Event Instance )

Identifiers:
Information Model + Event Instance Type + Population Dependent Value
Information Model + Project + Project Population + Event Destination + Event + Event Instance

235.1. Event Instance Value.Information Model (R)

References:
Population Dependent Value.Information Model (across R240)
Event Instance.Information Model (across R243)

235.2. Event Instance Value.Event Instance Type (R)

References:
Population Dependent Value.Population Dependent Type (across R240)

235.3. Event Instance Value.Population Dependent Value (R)

References:
Population Dependent Value.Data Value (across R240)

235.4. Event Instance Value.Project (R)

References:
Event Instance.Project (across R243)

235.5. Event Instance Value.Project Population (R)

References:
Event Instance.Project Population (across R243)

235.6. Event Instance Value.Event Destination (R)

References:
Event Instance.Event Destination (across R243)

235.7. Event Instance Value.Event (R)

References:
Event Instance.Event (across R243)

235.8. Event Instance Value.Event Instance (R)

References:
Event Instance.Order (across R243)

236. RETURN COORDINATE VALUE (DT_RCV)

Return Coordinate Value ( Information Model, Return Coordinate Type, Population Dependent Value )

Identifiers:
Information Model + Return Coordinate Type + Population Dependent Value

236.1. Return Coordinate Value.Information Model (R)

References:
Population Dependent Value.Information Model (across R240)

236.2. Return Coordinate Value.Return Coordinate Type (R)

References:
Population Dependent Value.Population Dependent Type (across R240)

236.3. Return Coordinate Value.Population Dependent Value (R)

References:
Population Dependent Value.Data Value (across R240)

237. TRANSFER VECTOR VALUE (DT_TVV)

Transfer Vector Value ( Information Model, Transfer Vector Type, Population Dependent Value, Project, Project Population, Solicited Event Information Model, Solicited Event Destination, Solicited Event, Solicited Event Instance )

Identifiers:
Information Model + Transfer Vector Type + Population Dependent Value

237.1. Transfer Vector Value.Information Model (R)

References:
Population Dependent Value.Information Model (across R240)

237.2. Transfer Vector Value.Transfer Vector Type (R)

References:
Population Dependent Value.Population Dependent Type (across R240)

237.3. Transfer Vector Value.Population Dependent Value (R)

References:
Population Dependent Value.Data Value (across R240)

237.4. Transfer Vector Value.Project (R)

References:
Event Instance.Project (across R244)

237.5. Transfer Vector Value.Project Population (R)

References:
Event Instance.Project Population (across R244)

237.6. Transfer Vector Value.Solicited Event Information Model (R)

References:
Event Instance.Information Model (across R244)

237.7. Transfer Vector Value.Solicited Event Destination (R)

References:
Event Instance.Event Destination (across R244)

237.8. Transfer Vector Value.Solicited Event (R)

References:
Event Instance.Event (across R244)

237.9. Transfer Vector Value.Solicited Event Instance (R)

References:
Event Instance.Order (across R244)

238. DATA ITEM (DT_DI)

Data Item ( Arbitrary ID, Name, Information Model, Object, Attribute, Manual Data Type, Data Type, Conditional, Many, Default Value, Description )

Identifiers:
Arbitrary ID

238.1. Data Item.Arbitrary ID (A)

Data Type: Data Item ID

238.2. Data Item.Name (P)

238.3. Data Item.Information Model (R)

References:
Data Value.Information Model (across R245)
Data Type.Information Model (across R247)
Attribute.Information Model (across R249)

238.4. Data Item.Object (R)

References:
Attribute.Object (across R249)

238.5. Data Item.Attribute (R)

References:
Attribute.Name (across R249)

238.6. Data Item.Manual Data Type (R)

References:
Data Value.Data Type (across R245)
Data Type.Data Type ID (across R247)

238.7. Data Item.Data Type (M)

238.8. Data Item.Conditional

Data Type: Boolean

238.9. Data Item.Many

Data Type: Boolean

238.10. Data Item.Default Value (R)

References:
Data Value.Arbitrary ID (across R245)

238.11. Data Item.Description

Data Type: Description

Part III: Relationships

R201.Information Model DEFINES Data Type (1:Mc)
Data Type IS DEFINED BY Information Model

Formalization:
Data Type.Information Model → Information Model.Arbitrary ID

R202.Attribute HAS DEFAULT Data Value (Mc:1c)
Data Value IS DEFAULT VALUE FOR Attribute

Formalization:
Attribute.Information Model → Data Value.Information Model
Attribute.Manual Data Type → Data Value.Data Type
Attribute.Default Value → Data Value.Arbitrary ID

R203.Attribute HAS INITIAL Data Value (Mc:1c)
Data Value IS INITIAL VALUE FOR Attribute

R204.Attribute HAS LEGAL VALUES DEFINED BY Data Type (Mc:1c)
Data Type DEFINES LEGAL VALUES FOR Attribute

R205.Attribute HAS MANUAL Data Type (Mc:1c)
Data Type IS MANUAL DATA TYPE FOR Attribute

Formalization:
Attribute.Information Model → Data Type.Information Model
Attribute.Manual Data Type → Data Type.Data Type ID

R206.Data Type HAS DEFAULT Data Value (Mc:1c)
Data Value IS DEFAULT VALUE FOR Data Type

R207.Data Type IS A (SUPERTYPE OF) External Type
Data Type IS A (SUPERTYPE OF) Population Dependent Type
Data Type IS A (SUPERTYPE OF) Population Independent Type

External Type IS A (SUBTYPE OF) Data Type
Population Dependent Type IS A (SUBTYPE OF) Data Type
Population Independent Type IS A (SUBTYPE OF) Data Type

Formalization:
External Type.Information Model → Data Type.Information Model
External Type.Data Type → Data Type.Data Type ID
Population Dependent Type.Information Model → Data Type.Information Model
Population Dependent Type.Data Type → Data Type.Data Type ID
Population Independent Type.Information Model → Data Type.Information Model
Population Independent Type.Data Type → Data Type.Data Type ID

R208.Population Independent Type IS A (SUPERTYPE OF) Arbitrary ID Type
Population Independent Type IS A (SUPERTYPE OF) Boolean Type
Population Independent Type IS A (SUPERTYPE OF) Enumerated Type
Population Independent Type IS A (SUPERTYPE OF) Numeric Type
Population Independent Type IS A (SUPERTYPE OF) Symbolic Type

Arbitrary ID Type IS A (SUBTYPE OF) Population Independent Type
Boolean Type IS A (SUBTYPE OF) Population Independent Type
Enumerated Type IS A (SUBTYPE OF) Population Independent Type
Numeric Type IS A (SUBTYPE OF) Population Independent Type
Symbolic Type IS A (SUBTYPE OF) Population Independent Type

Formalization:
Arbitrary ID Type.Information Model → Population Independent Type.Information Model
Arbitrary ID Type.Population Independent Type → Population Independent Type.Data Type
Boolean Type.Information Model → Population Independent Type.Information Model
Boolean Type.Population Independent Type → Population Independent Type.Data Type
Enumerated Type.Information Model → Population Independent Type.Information Model
Enumerated Type.Population Independent Type → Population Independent Type.Data Type
Numeric Type.Information Model → Population Independent Type.Information Model
Numeric Type.Population Independent Type → Population Independent Type.Data Type
Symbolic Type.Information Model → Population Independent Type.Information Model
Symbolic Type.Population Independent Type → Population Independent Type.Data Type

R209.Boolean Type HAS DEFAULT Boolean Value (1c:1c)
Boolean Value IS DEFAULT VALUE FOR Boolean Type

Formalization:
Boolean Type.Information Model → Boolean Value.Information Model
Boolean Type.Population Independent Type → Boolean Value.Boolean Type
Boolean Type.Default Value → Boolean Value.Boolean

R210.Enumerated Type DEFINES Legal Value (1:M)
Legal Value IS DEFINED BY Enumerated Type

Formalization:
Legal Value.Information Model → Enumerated Type.Information Model
Legal Value.Enumerated Type → Enumerated Type.Population Independent Type

R211.Enumerated Type HAS DEFAULT Enumerated Value (1c:1c)
Enumerated Value IS DEFAULT VALUE FOR Enumerated Type

Formalization:
Enumerated Type.Information Model → Enumerated Value.Information Model
Enumerated Type.Population Independent Type → Enumerated Value.Enumerated Type
Enumerated Type.Default Value → Enumerated Value.Legal Value

R212.Enumerated Type IS A (SUPERTYPE OF) Enumerated State Type
Enumerated Type IS A (SUPERTYPE OF) Enumerated Subtype Type
Enumerated Type IS A (SUPERTYPE OF) Simple Enumerated Type

Enumerated State Type IS A (SUBTYPE OF) Enumerated Type
Enumerated Subtype Type IS A (SUBTYPE OF) Enumerated Type
Simple Enumerated Type IS A (SUBTYPE OF) Enumerated Type

Formalization:
Enumerated State Type.Information Model → Enumerated Type.Information Model
Enumerated State Type.Enumerated Type → Enumerated Type.Population Independent Type
Enumerated Subtype Type.Information Model → Enumerated Type.Information Model
Enumerated Subtype Type.Enumerated Type → Enumerated Type.Population Independent Type
Simple Enumerated Type.Information Model → Enumerated Type.Information Model
Simple Enumerated Type.Enumerated Type → Enumerated Type.Population Independent Type

R213.Enumerated Subtype Type ENUMERATES SUBTYPES OF Subtype-Supertype Relationship (1c:1)
Subtype-Supertype Relationship SUBTYPES ARE ENUMERATED BY Enumerated Subtype Type

Formalization:
Enumerated Subtype Type.Information Model → Subtype-Supertype Relationship.Information Model
Enumerated Subtype Type.Subtype-Supertype Relationship → Subtype-Supertype Relationship.Relationship

R214.Enumerated State Type ENUMERATES STATES OF State Model (1c:1)
State Model STATES ARE ENUMERATED BY Enumerated State Type

Formalization:
Enumerated State Type.Information Model → State Model.Information Model
Enumerated State Type.State Model → State Model.Event Destination

R215.Symbolic Type HAS DEFAULT Symbolic Value (1c:1c)
Symbolic Value IS DEFAULT VALUE FOR Symbolic Type

Formalization:
Symbolic Type.Information Model → Symbolic Value.Information Model
Symbolic Type.Population Independent Type → Symbolic Value.Symbolic Type
Symbolic Type.Default Value → Symbolic Value.String

R216.Numeric Type HAS DEFAULT Numeric Value (1c:1c)
Numeric Value IS DEFAULT VALUE FOR Numeric Type

Formalization:
Numeric Type.Information Model → Numeric Value.Information Model
Numeric Type.Population Independent Type → Numeric Value.Numeric Type
Numeric Type.Default Value → Numeric Value.Number

R217.Numeric Type HAS MAXIMUM Numeric Value (1c:1c)
Numeric Value IS MAXIMUM VALUE FOR Numeric Type

Formalization:
Numeric Type.Information Model → Numeric Value.Information Model
Numeric Type.Population Independent Type → Numeric Value.Numeric Type
Numeric Type.Maximum Value → Numeric Value.Number

R218.Numeric Type HAS MINIMUM Numeric Value (1c:1c)
Numeric Value IS MINIMUM VALUE FOR Numeric Type

Formalization:
Numeric Type.Information Model → Numeric Value.Information Model
Numeric Type.Population Independent Type → Numeric Value.Numeric Type
Numeric Type.Minimum Value → Numeric Value.Number

R219.Arbitrary ID Type HAS DEFAULT Arbitrary ID Value (1c:1c)
Arbitrary ID Value IS DEFAULT VALUE FOR Arbitrary ID Type

Formalization:
Arbitrary ID Type.Information Model → Arbitrary ID Value.Information Model
Arbitrary ID Type.Population Independent Type → Arbitrary ID Value.Arbitrary ID Type
Arbitrary ID Type.Default Value → Arbitrary ID Value.Non-Negative Integer

R220.Arbitrary ID Type IS A (SUPERTYPE OF) Domain Allocated ID Type
Arbitrary ID Type IS A (SUPERTYPE OF) Object Specific ID Type

Domain Allocated ID Type IS A (SUBTYPE OF) Arbitrary ID Type
Object Specific ID Type IS A (SUBTYPE OF) Arbitrary ID Type

Formalization:
Domain Allocated ID Type.Information Model → Arbitrary ID Type.Information Model
Domain Allocated ID Type.Arbitrary ID Type → Arbitrary ID Type.Population Independent Type
Object Specific ID Type.Information Model → Arbitrary ID Type.Information Model
Object Specific ID Type.Arbitrary ID Type → Arbitrary ID Type.Population Independent Type

R221.Object Specific ID Type DEFINES OBJECT SPECIFIC ARBITRARY ID ATTRIBUTE FOR Object (Mc:1)
Object HAS OBJECT SPECIFIC ARBITRARY ID ATTRIBUTE DEFINED BY Object Specific ID Type

Formalization:
Object Specific ID Type.Information Model → Object.Information Model
Object Specific ID Type.Identified Object → Object.Entity

R222.Object Specific ID Type IS A (SUPERTYPE OF) Object Allocated ID Type
Object Specific ID Type IS A (SUPERTYPE OF) Parent Allocated ID Type

Object Allocated ID Type IS A (SUBTYPE OF) Object Specific ID Type
Parent Allocated ID Type IS A (SUBTYPE OF) Object Specific ID Type

Formalization:
Object Allocated ID Type.Information Model → Object Specific ID Type.Information Model
Object Allocated ID Type.Object Specific ID Type → Object Specific ID Type.Arbitrary ID Type
Parent Allocated ID Type.Information Model → Object Specific ID Type.Information Model
Parent Allocated ID Type.Object Specific ID Type → Object Specific ID Type.Arbitrary ID Type

R223.Parent Allocated ID Type DEFINES UNIQUE IDENTIFIER WITHIN CONTEXT OF CHILD-PARENT Simple Relationship (Mc:1)
Simple Relationship IS CONTEXT FOR UNIQUENESS OF IDENTIFIER DEFINED BY Parent Allocated ID Type

Formalization:
Parent Allocated ID Type.Information Model → Simple Relationship.Information Model
Parent Allocated ID Type.Child-Parent Relationship → Simple Relationship.Binary Relationship

R224.External Type HAS DEFAULT Externally Resolved Value (1c:1c)
Externally Resolved Value IS DEFAULT VALUE FOR External Type

Formalization:
External Type.Information Model → Externally Resolved Value.Information Model
External Type.Data Type → Externally Resolved Value.External Type
External Type.Default Value → Externally Resolved Value.External Value

R225.External Type HAS LITERAL Population Independent Type (Mc:1c)
Population Independent Type IS LITERAL TYPE FOR External Type

Formalization:
External Type.Information Model → Population Independent Type.Information Model
External Type.Literal Type → Population Independent Type.Data Type

R226.Population Dependent Type IS A (SUPERTYPE OF) Event Instance Type
Population Dependent Type IS A (SUPERTYPE OF) Object Instance Type
Population Dependent Type IS A (SUPERTYPE OF) Return Coordinate Type
Population Dependent Type IS A (SUPERTYPE OF) Transfer Vector Type

Event Instance Type IS A (SUBTYPE OF) Population Dependent Type
Object Instance Type IS A (SUBTYPE OF) Population Dependent Type
Return Coordinate Type IS A (SUBTYPE OF) Population Dependent Type
Transfer Vector Type IS A (SUBTYPE OF) Population Dependent Type

Formalization:
Event Instance Type.Information Model → Population Dependent Type.Information Model
Event Instance Type.Population Dependent Type → Population Dependent Type.Data Type
Object Instance Type.Information Model → Population Dependent Type.Information Model
Object Instance Type.Population Dependent Type → Population Dependent Type.Data Type
Return Coordinate Type.Information Model → Population Dependent Type.Information Model
Return Coordinate Type.Population Dependent Type → Population Dependent Type.Data Type
Transfer Vector Type.Information Model → Population Dependent Type.Information Model
Transfer Vector Type.Population Dependent Type → Population Dependent Type.Data Type

R227.Object Instance Type ENABLES ACCESS TO INSTANCES OF Object (1c:1)
Object INSTANCE ACCESS ENABLED BY Object Instance Type

Formalization:
Object Instance Type.Information Model → Object.Information Model
Object Instance Type.Object → Object.Entity

R228.Event Instance Type ENABLES ACCESS TO INSTANCES OF Event (1c:1)
Event INSTANCE ACCESS ENABLED BY Event Instance Type

Formalization:
Event Instance Type.Information Model → Event.Information Model
Event Instance Type.Event Destination → Event.Event Destination
Event Instance Type.Event → Event.Meaning

R229.Return Coordinate Type DEFINES RETURN COORDINATE OF BRIDGING PROCESS AWAITING COMPLETION OF Synchronous Service (1:1)
Synchronous Service INVOKED WITH RETURN COORDINATE DEFINED BY Return Coordinate Type

Formalization:
Return Coordinate Type.Information Model → Synchronous Service.Information Model
Return Coordinate Type.External Entity → Synchronous Service.External Entity
Return Coordinate Type.Synchronous Service → Synchronous Service.Composed Operation

R230.Transfer Vector Type DEFINES TRANSFER VECTOR OF SOLICITED EVENT GENERATED BY Asynchronous Return Process (1:1c)
Asynchronous Return Process INVOKED ON TRANSFER VECTOR DEFINED BY Transfer Vector Type

Formalization:
Transfer Vector Type.Information Model → Asynchronous Return Process.Information Model
Transfer Vector Type.External Entity → Asynchronous Return Process.External Entity
Transfer Vector Type.Asynchronous Return Process → Asynchronous Return Process.Process

R231.Data Value IS A (SUPERTYPE OF) External Value
Data Value IS A (SUPERTYPE OF) Population Dependent Value
Data Value IS A (SUPERTYPE OF) Population Independent Value
Data Value IS A (SUPERTYPE OF) Undefined Value

External Value IS A (SUBTYPE OF) Data Value
Population Dependent Value IS A (SUBTYPE OF) Data Value
Population Independent Value IS A (SUBTYPE OF) Data Value
Undefined Value IS A (SUBTYPE OF) Data Value

Formalization:
External Value.Information Model → Data Value.Information Model
External Value.External Type → Data Value.Data Type
External Value.Data Value → Data Value.Arbitrary ID
Population Dependent Value.Information Model → Data Value.Information Model
Population Dependent Value.Population Dependent Type → Data Value.Data Type
Population Dependent Value.Data Value → Data Value.Arbitrary ID
Population Independent Value.Information Model → Data Value.Information Model
Population Independent Value.Population Independent Type → Data Value.Data Type
Population Independent Value.Data Value → Data Value.Arbitrary ID
Undefined Value.Information Model → Data Value.Information Model
Undefined Value.Data Type → Data Value.Data Type
Undefined Value.Data Value → Data Value.Arbitrary ID

R232.Data Value IS DEFINED BY Data Type (Mc:1)
Data Type DEFINES Data Value

Formalization:
Data Value.Information Model → Data Type.Information Model
Data Value.Data Type → Data Type.Data Type ID

R233.Population Independent Value IS A (SUPERTYPE OF) Arbitrary ID Value
Population Independent Value IS A (SUPERTYPE OF) Boolean Value
Population Independent Value IS A (SUPERTYPE OF) Enumerated Value
Population Independent Value IS A (SUPERTYPE OF) Numeric Value
Population Independent Value IS A (SUPERTYPE OF) Symbolic Value

Arbitrary ID Value IS A (SUBTYPE OF) Population Independent Value
Boolean Value IS A (SUBTYPE OF) Population Independent Value
Enumerated Value IS A (SUBTYPE OF) Population Independent Value
Numeric Value IS A (SUBTYPE OF) Population Independent Value
Symbolic Value IS A (SUBTYPE OF) Population Independent Value

Formalization:
Arbitrary ID Value.Information Model → Population Independent Value.Information Model
Arbitrary ID Value.Arbitrary ID Type → Population Independent Value.Population Independent Type
Arbitrary ID Value.Population Independent Value → Population Independent Value.Data Value
Boolean Value.Information Model → Population Independent Value.Information Model
Boolean Value.Boolean Type → Population Independent Value.Population Independent Type
Boolean Value.Population Independent Value → Population Independent Value.Data Value
Enumerated Value.Information Model → Population Independent Value.Information Model
Enumerated Value.Enumerated Type → Population Independent Value.Population Independent Type
Enumerated Value.Population Independent Value → Population Independent Value.Data Value
Numeric Value.Information Model → Population Independent Value.Information Model
Numeric Value.Numeric Type → Population Independent Value.Population Independent Type
Numeric Value.Population Independent Value → Population Independent Value.Data Value
Symbolic Value.Information Model → Population Independent Value.Information Model
Symbolic Value.Symbolic Type → Population Independent Value.Population Independent Type
Symbolic Value.Population Independent Value → Population Independent Value.Data Value

R234.Enumerated Value IS INSTANCE OF Legal Value (1c:1)
Legal Value IS INSTANTIATED AS Enumerated Value

Formalization:
Enumerated Value.Information Model → Legal Value.Information Model
Enumerated Value.Enumerated Type → Legal Value.Enumerated Type
Enumerated Value.Legal Value → Legal Value.Name

R235.External Value HAS COUNTERPART Data Value (Mc:1c)
Data Value IS COUNTERPART VALUE FOR External Value

Formalization:
External Value.Counterpart Information Model → Data Value.Information Model
External Value.Counterpart Type → Data Value.Data Type
External Value.Counterpart Value → Data Value.Arbitrary ID

R236.External Value IS A (SUPERTYPE OF) Externally Created Value
External Value IS A (SUPERTYPE OF) Externally Resolved Value

Externally Created Value IS A (SUBTYPE OF) External Value
Externally Resolved Value IS A (SUBTYPE OF) External Value

Formalization:
Externally Created Value.Information Model → External Value.Information Model
Externally Created Value.External Type → External Value.External Type
Externally Created Value.External Value → External Value.Data Value
Externally Resolved Value.Information Model → External Value.Information Model
Externally Resolved Value.External Type → External Value.External Type
Externally Resolved Value.External Value → External Value.Data Value

R237.External Value RESOLVES TO NON-EXTERNAL ACTUAL Data Value (Mc:1c)
Data Value IS ACTUAL VALUE FOR External Value

R238.Externally Resolved Value HAS LITERAL Population Independent Value (Mc:1)
Population Independent Value IS RELATED TO Externally Resolved Value

Formalization:
Externally Resolved Value.Information Model → Population Independent Value.Information Model
Externally Resolved Value.Literal Type → Population Independent Value.Population Independent Type
Externally Resolved Value.Literal Value → Population Independent Value.Data Value

R239.Externally Created Value HAS COUNTERPART Data Value (Mc:1)
Data Value IS COUNTERPART VALUE FOR Externally Created Value

Formalization: R239 = R236 + R235

R240.Population Dependent Value IS A (SUPERTYPE OF) Event Instance Value
Population Dependent Value IS A (SUPERTYPE OF) Object Instance Value
Population Dependent Value IS A (SUPERTYPE OF) Return Coordinate Value
Population Dependent Value IS A (SUPERTYPE OF) Transfer Vector Value

Event Instance Value IS A (SUBTYPE OF) Population Dependent Value
Object Instance Value IS A (SUBTYPE OF) Population Dependent Value
Return Coordinate Value IS A (SUBTYPE OF) Population Dependent Value
Transfer Vector Value IS A (SUBTYPE OF) Population Dependent Value

Formalization:
Event Instance Value.Information Model → Population Dependent Value.Information Model
Event Instance Value.Event Instance Type → Population Dependent Value.Population Dependent Type
Event Instance Value.Population Dependent Value → Population Dependent Value.Data Value
Object Instance Value.Information Model → Population Dependent Value.Information Model
Object Instance Value.Object Instance Type → Population Dependent Value.Population Dependent Type
Object Instance Value.Population Dependent Value → Population Dependent Value.Data Value
Return Coordinate Value.Information Model → Population Dependent Value.Information Model
Return Coordinate Value.Return Coordinate Type → Population Dependent Value.Population Dependent Type
Return Coordinate Value.Population Dependent Value → Population Dependent Value.Data Value
Transfer Vector Value.Information Model → Population Dependent Value.Information Model
Transfer Vector Value.Transfer Vector Type → Population Dependent Value.Population Dependent Type
Transfer Vector Value.Population Dependent Value → Population Dependent Value.Data Value

R241.Population Dependent Value PROVIDES ACCESS TO DATA IN Project Population (Mc:1)
Project Population DATA IS ACCESSED FROM Population Dependent Value

R242.Object Instance Value PROVIDES ACCESS TO Object Instance (1c:1)
Object Instance IS ACCESSED FROM Object Instance Value

Formalization:
Object Instance Value.Project → Object Instance.Project
Object Instance Value.Project Population → Object Instance.Project Population
Object Instance Value.Information Model → Object Instance.Information Model
Object Instance Value.Object → Object Instance.Object
Object Instance Value.Object Instance → Object Instance.Order

R243.Event Instance Value PROVIDES ACCESS TO Event Instance (1c:1)
Event Instance IS ACCESSED FROM Event Instance Value

Formalization:
Event Instance Value.Project → Event Instance.Project
Event Instance Value.Project Population → Event Instance.Project Population
Event Instance Value.Information Model → Event Instance.Information Model
Event Instance Value.Event Destination → Event Instance.Event Destination
Event Instance Value.Event → Event Instance.Event
Event Instance Value.Event Instance → Event Instance.Order

R244.Transfer Vector Value ENABLES ASYNCHRONOUS RETURN VIA SOLICITED Event Instance (Mc:1)
Event Instance IS ENCAPSULATED WITHIN Transfer Vector Value

Formalization:
Transfer Vector Value.Project → Event Instance.Project
Transfer Vector Value.Project Population → Event Instance.Project Population
Transfer Vector Value.Solicited Event Information Model → Event Instance.Information Model
Transfer Vector Value.Solicited Event Destination → Event Instance.Event Destination
Transfer Vector Value.Solicited Event → Event Instance.Event
Transfer Vector Value.Solicited Event Instance → Event Instance.Order

R245.Data Item HAS DEFAULT Data Value (Mc:1c)
Data Value IS DEFAULT VALUE FOR Data Item

Formalization:
Data Item.Information Model → Data Value.Information Model
Data Item.Manual Data Type → Data Value.Data Type
Data Item.Default Value → Data Value.Arbitrary ID

R246.Data Item HAS LEGAL VALUES DEFINED BY Data Type (Mc:1c)
Data Type DEFINES LEGAL VALUES FOR Data Item

R247.Data Item HAS MANUAL Data Type (Mc:1c)
Data Type IS MANUAL DATA TYPE FOR Data Item

Formalization:
Data Item.Information Model → Data Type.Information Model
Data Item.Manual Data Type → Data Type.Data Type ID

R248.Data Item IS A (SUPERTYPE OF) Event Data Item
Data Item IS A (SUPERTYPE OF) Parameter
Data Item IS A (SUPERTYPE OF) Variable

Event Data Item IS A (SUBTYPE OF) Data Item
Parameter IS A (SUBTYPE OF) Data Item
Variable IS A (SUBTYPE OF) Data Item

Formalization:
Event Data Item.Data Item → Data Item.Arbitrary ID
Parameter.Data Item → Data Item.Arbitrary ID
Variable.Data Item → Data Item.Arbitrary ID

R249.Data Item IS RELATED TO Attribute (Mc:1c)
Attribute IS RELATED TO Data Item

Formalization:
Data Item.Information Model → Attribute.Information Model
Data Item.Object → Attribute.Object
Data Item.Attribute → Attribute.Name

R250.External Entity ASSIGNED External Type (1:Mc)
External Type IS ASSIGNED TO External Entity

Formalization:
External Type.Information Model → External Entity.Information Model
External Type.External Entity → External Entity.Entity