Identifiers: 301.1. Data Type.Information Model (R)References:
301.2. Data Type.NameData Type: Name 301.3. Data Type.PredefinedData Type: Boolean 301.4. Data Type.DescriptionData Type: Description |
Identifiers: 302.1. Boolean Type.Information Model (R)References:
302.2. Boolean Type.Data Type (R)References:
302.3. Boolean Type.False AliasData Type: Name 302.4. Boolean Type.True AliasData Type: Name 302.5. Boolean Type.Default Value (R)References:
|
Identifiers: 303.1. Enumerated Type.Information Model (R)References:
303.2. Enumerated Type.Data Type (R)References:
303.3. Enumerated Type.Default Value (R)References:
|
Identifiers: 304.1. Legal Value.Information Model (R)References:
304.2. Legal Value.Enumerated Type (R)References:
304.3. Legal Value.NameData Type: Name 304.4. Legal Value.Order (A)Data Type: Legal Value Order 304.5. Legal Value.DescriptionData Type: Description |
Identifiers: 305.1. Symbolic Type.Information Model (R)References:
305.2. Symbolic Type.Data Type (R)References:
305.3. Symbolic Type.Minimum LengthData Type: Non-Negative Integer 305.4. Symbolic Type.Maximum LengthData Type: Non-Negative Integer 305.5. Symbolic Type.PatternData Type: Symbolic Pattern 305.6. Symbolic Type.Default Value (R)References:
|
Identifiers: 306.1. Numeric Type.Information Model (R)References:
306.2. Numeric Type.Data Type (R)References:
306.3. Numeric Type.Value FormatData Type: Numeric Value Format 306.4. Numeric Type.UnitData Type: Name 306.5. Numeric Type.Time Unit (M)Data Type: Time Unit 306.6. Numeric Type.Minimum Value (R)References:
306.7. Numeric Type.Maximum Value (R)References:
306.8. Numeric Type.Preferred Decimal PlacesData Type: Non-Negative Integer 306.9. Numeric Type.Maximum Decimal PlacesData Type: Integer 306.10. Numeric Type.Precision (M)Data Type: Real 306.11. Numeric Type.Default Value (R)References:
|
Identifiers: 307.1. Arbitrary ID Type.Information Model (R)References:
307.2. Arbitrary ID Type.Data Type (R)References:
307.3. Arbitrary ID Type.OrdinalData Type: Boolean 307.4. Arbitrary ID Type.Minimum ValueData Type: Non-Negative Integer 307.5. Arbitrary ID Type.Maximum ValueData Type: Non-Negative Integer 307.6. Arbitrary ID Type.Unallocated Percentage Before ReallocationData Type: Non-Negative Integer 307.7. Arbitrary ID Type.Minimum Unallocated Before ReallocationData Type: Positive Integer |
Identifiers: 308.1. Domain Allocated ID Type.Information Model (R)References:
308.2. Domain Allocated ID Type.Arbitrary ID Type (R)References:
|
Identifiers: 309.1. Object Specific ID Type.Information Model (R)References:
309.2. Object Specific ID Type.Arbitrary ID Type (R)References:
309.3. Object Specific ID Type.Identified Object (R)References:
|
Identifiers: 310.1. Object Allocated ID Type.Information Model (R)References:
310.2. Object Allocated ID Type.Object Specific ID Type (R)References:
|
Identifiers: 311.1. Parent Allocated ID Type.Information Model (R)References:
311.2. Parent Allocated ID Type.Object Specific ID Type (R)References:
311.3. Parent Allocated ID Type.Child-Parent Relationship (R)References:
311.4. Parent Allocated ID Type.Child Mapped To Parent (M)Data Type: Boolean |
Identifiers: 312.1. Data Value.Information Model (R)References:
312.2. Data Value.Data Type (R)References:
312.3. Data Value.Arbitrary ID (A)Data Type: Data Value ID 312.4. Data Value.Valid (M)Data Type: Boolean |
Identifiers: 313.1. Boolean Value.Information Model (R)References:
313.2. Boolean Value.Boolean Type (R)References:
313.3. Boolean Value.Data Value (R)References:
313.4. Boolean Value.BooleanData Type: Boolean |
Identifiers: 314.1. Enumerated Value.Information Model (R)References:
314.2. Enumerated Value.Enumerated Type (R)References:
314.3. Enumerated Value.Data Value (R)References:
314.4. Enumerated Value.Legal Value (R)References:
|
Identifiers: 315.1. Symbolic Value.Information Model (R)References:
315.2. Symbolic Value.Symbolic Type (R)References:
315.3. Symbolic Value.Data Value (R)References:
315.4. Symbolic Value.StringData Type: String |
Identifiers: 316.1. Numeric Value.Information Model (R)References:
316.2. Numeric Value.Numeric Type (R)References:
316.3. Numeric Value.Data Value (R)References:
316.4. Numeric Value.NumberData Type: Real |
Identifiers: 317.1. Arbitrary ID Value.Information Model (R)References:
317.2. Arbitrary ID Value.Arbitrary ID Type (R)References:
317.3. Arbitrary ID Value.Data Value (R)References:
317.4. Arbitrary ID Value.IntegerData Type: Integer |
Identifiers: 318.1. Undefined Value.Information Model (R)References:
318.2. Undefined Value.Data Type (R)References:
318.3. Undefined Value.Data Value (R)References:
|
R301. | Information Model DEFINES Data Type (1:Mc) |
Data Type IS DEFINED BY Information Model |
Formalization:
Data Type.Information Model | → | Information Model.Arbitrary ID |
R302. | 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.Name |
R303. | Attribute HAS LEGAL VALUES DEFINED BY Data Type (Mc:1c) |
Data Type DEFINES LEGAL VALUES FOR Attribute |
R304. | Simple Attribute HAS INITIAL Data Type (Mc:1c) |
Data Type IS INITIAL TYPE FOR Simple Attribute |
Formalization: R304 = R210 + R209 + R208 + R302
R305. | Referential Attribute HAS LITERAL Data Type (Mc:1c) |
Data Type IS LITERAL TYPE FOR Referential Attribute |
Formalization: R305 = R209 + R208 + R302
R306. | Data Type IS A (SUPERTYPE OF) Arbitrary ID Type |
Data Type IS A (SUPERTYPE OF) Boolean Type | |
Data Type IS A (SUPERTYPE OF) Enumerated Type | |
Data Type IS A (SUPERTYPE OF) Numeric Type | |
Data Type IS A (SUPERTYPE OF) Symbolic Type | |
Arbitrary ID Type IS A (SUBTYPE OF) Data Type | |
Boolean Type IS A (SUBTYPE OF) Data Type | |
Enumerated Type IS A (SUBTYPE OF) Data Type | |
Numeric Type IS A (SUBTYPE OF) Data Type | |
Symbolic Type IS A (SUBTYPE OF) Data Type |
Formalization:
Arbitrary ID Type.Information Model | → | Data Type.Information Model | |
Arbitrary ID Type.Data Type | → | Data Type.Name | |
Boolean Type.Information Model | → | Data Type.Information Model | |
Boolean Type.Data Type | → | Data Type.Name | |
Enumerated Type.Information Model | → | Data Type.Information Model | |
Enumerated Type.Data Type | → | Data Type.Name | |
Numeric Type.Information Model | → | Data Type.Information Model | |
Numeric Type.Data Type | → | Data Type.Name | |
Symbolic Type.Information Model | → | Data Type.Information Model | |
Symbolic Type.Data Type | → | Data Type.Name |
R307. | 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.Data Type |
R308. | 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.Data Type | |
Object Specific ID Type.Information Model | → | Arbitrary ID Type.Information Model | |
Object Specific ID Type.Arbitrary ID Type | → | Arbitrary ID Type.Data Type |
R309. | 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 |
R310. | 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 |
R311. | 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 |
R312. | Data Type DEFINES Data Value (1:Mc) |
Data Value IS DEFINED BY Data Type |
Formalization:
Data Value.Information Model | → | Data Type.Information Model | |
Data Value.Data Type | → | Data Type.Name |
R313. | Simple Attribute HAS INITIAL Data Value (Mc:1c) |
Data Value IS INITIAL VALUE FOR Simple Attribute |
Formalization:
Simple Attribute.Information Model | → | Data Value.Information Model | |
Simple Attribute.Initial Type | → | Data Value.Data Type | |
Simple Attribute.Initial Value | → | Data Value.Arbitrary ID |
R314. | Referential Attribute HAS LITERAL Data Value (Mc:1c) |
Data Value IS LITERAL VALUE FOR Referential Attribute |
Formalization:
Referential Attribute.Information Model | → | Data Value.Information Model | |
Referential Attribute.Literal Type | → | Data Value.Data Type | |
Referential Attribute.Literal Value | → | Data Value.Arbitrary ID |
R315. | Data Value IS A (SUPERTYPE OF) Arbitrary ID Value |
Data Value IS A (SUPERTYPE OF) Boolean Value | |
Data Value IS A (SUPERTYPE OF) Enumerated Value | |
Data Value IS A (SUPERTYPE OF) Numeric Value | |
Data Value IS A (SUPERTYPE OF) Symbolic Value | |
Data Value IS A (SUPERTYPE OF) Undefined Value | |
Arbitrary ID Value IS A (SUBTYPE OF) Data Value | |
Boolean Value IS A (SUBTYPE OF) Data Value | |
Enumerated Value IS A (SUBTYPE OF) Data Value | |
Numeric Value IS A (SUBTYPE OF) Data Value | |
Symbolic Value IS A (SUBTYPE OF) Data Value | |
Undefined Value IS A (SUBTYPE OF) Data Value |
Formalization:
Arbitrary ID Value.Information Model | → | Data Value.Information Model | |
Arbitrary ID Value.Arbitrary ID Type | → | Data Value.Data Type | |
Arbitrary ID Value.Data Value | → | Data Value.Arbitrary ID | |
Boolean Value.Information Model | → | Data Value.Information Model | |
Boolean Value.Boolean Type | → | Data Value.Data Type | |
Boolean Value.Data Value | → | Data Value.Arbitrary ID | |
Enumerated Value.Information Model | → | Data Value.Information Model | |
Enumerated Value.Enumerated Type | → | Data Value.Data Type | |
Enumerated Value.Data Value | → | Data Value.Arbitrary ID | |
Numeric Value.Information Model | → | Data Value.Information Model | |
Numeric Value.Numeric Type | → | Data Value.Data Type | |
Numeric Value.Data Value | → | Data Value.Arbitrary ID | |
Symbolic Value.Information Model | → | Data Value.Information Model | |
Symbolic Value.Symbolic Type | → | Data Value.Data Type | |
Symbolic 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 |
R316. | 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.Data Type | → | Boolean Value.Boolean Type | |
Boolean Type.Default Value | → | Boolean Value.Boolean |
R317. | 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.Data Type | → | Enumerated Value.Enumerated Type | |
Enumerated Type.Default Value | → | Enumerated Value.Legal Value |
R318. | 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 |
R319. | 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.Data Type | → | Symbolic Value.Symbolic Type | |
Symbolic Type.Default Value | → | Symbolic Value.String |
R320. | 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.Data Type | → | Numeric Value.Numeric Type | |
Numeric Type.Minimum Value | → | Numeric Value.Number |
R321. | 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.Data Type | → | Numeric Value.Numeric Type | |
Numeric Type.Maximum Value | → | Numeric Value.Number |
R322. | 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.Data Type | → | Numeric Value.Numeric Type | |
Numeric Type.Default Value | → | Numeric Value.Number |