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