File System

Part I: Graphical Model

Graphical Model

Part II: Objects and Attributes

1. FILE (F)

File ( Arbitrary ID, Location, Location Type, Absolute Filename, Absolute URL, File Exists, File Read-Only, File Size )

Identifiers:
Arbitrary ID

1.1. File.Arbitrary ID (A)

Data Type: Arbitrary ID

1.2. File.Location

Data Type: String

1.3. File.Location Type (M)

Data Type: Location Type

1.4. File.Absolute Filename (M)

Data Type: String

1.5. File.Absolute URL (M)

Data Type: String

1.6. File.File Exists (M)

Data Type: Boolean

1.7. File.File Read-Only (M)

Data Type: Boolean

1.8. File.File Size (M)

Data Type: Integer

2. PARENTLESS FILE (PF)

Parentless File ( File )

Identifiers:
File

2.1. Parentless File.File (R)

References:
File.Arbitrary ID (across R1)

3. CHILD FILE (CF)

Child File ( File, Parent File )

Identifiers:
File

3.1. Child File.File (R)

References:
File.Arbitrary ID (across R1)

3.2. Child File.Parent File (R)

References:
File.Arbitrary ID (across R2)

4. DATA FILE (DF)

Data File ( File, File Format, Automatically Generated, Load/Save Mode, Loadable, Saveable, Save Required )

Identifiers:
File

4.1. Data File.File (R)

References:
File.Arbitrary ID (across R3)

4.2. Data File.File Format

Data Type: String

4.3. Data File.Automatically Generated

Data Type: Boolean

4.4. Data File.Load/Save Mode

Data Type: Load/Save Mode

4.5. Data File.Loadable (M)

Data Type: Boolean

4.6. Data File.Saveable (M)

Data Type: Boolean

4.7. Data File.Save Required (M)

Data Type: Boolean

5. LINK FILE (LF)

Link File ( File, Data File )

Identifiers:
File

5.1. Link File.File (R)

References:
File.Arbitrary ID (across R3)

5.2. Link File.Data File (R)

References:
Data File.File (across R4)

6. DIRECTORY FILE (DirF)

Directory File ( File )

Identifiers:
File

6.1. Directory File.File (R)

References:
File.Arbitrary ID (across R3)

7. INFORMATION FILE (IF)

Information File ( Data File, Information Changed )

Identifiers:
Data File

7.1. Information File.Data File (R)

References:
Data File.File (across R5)

7.2. Information File.Information Changed (M)

Data Type: Boolean

8. TEXT FILE (TF)

Text File ( Data File, Text, Line Count, Loaded Text, Text Changed )

Identifiers:
Data File

8.1. Text File.Data File (R)

References:
Data File.File (across R5)

8.2. Text File.Text

Data Type: String

8.3. Text File.Line Count (M)

Data Type: Integer

8.4. Text File.Loaded Text

Data Type: String

8.5. Text File.Text Changed (M)

Data Type: Boolean

9. IMAGE FILE (ImgF)

Image File ( Data File, Width, Height, Image Changed )

Identifiers:
Data File

9.1. Image File.Data File (R)

References:
Data File.File (across R5)

9.2. Image File.Width (M)

Data Type: Integer

9.3. Image File.Height (M)

Data Type: Integer

9.4. Image File.Image Changed (M)

Data Type: Boolean

Part III: Relationships

R1.File IS A (SUPERTYPE OF) Child File
File IS A (SUPERTYPE OF) Parentless File

Child File IS A (SUBTYPE OF) File
Parentless File IS A (SUBTYPE OF) File

Formalization:
Child File.File  File.Arbitrary ID
Parentless File.File  File.Arbitrary ID

R2.Child File IS CHILD OF File (Mc:1)
File IS PARENT OF Child File

Formalization:
Child File.Parent File  File.Arbitrary ID

R3.File IS A (SUPERTYPE OF) Data File
File IS A (SUPERTYPE OF) Directory File
File IS A (SUPERTYPE OF) Link File

Data File IS A (SUBTYPE OF) File
Directory File IS A (SUBTYPE OF) File
Link File IS A (SUBTYPE OF) File

Formalization:
Data File.File  File.Arbitrary ID
Directory File.File  File.Arbitrary ID
Link File.File  File.Arbitrary ID

R4.Link File REFERENCES Data File (Mc:1c)
Data File IS REFERENCED BY Link File

Formalization:
Link File.Data File  Data File.File

R5.Data File IS A (SUPERTYPE OF) Text File
Data File IS A (SUPERTYPE OF) Image File
Data File IS A (SUPERTYPE OF) Information File

Text File IS A (SUBTYPE OF) Data File
Image File IS A (SUBTYPE OF) Data File
Information File IS A (SUBTYPE OF) Data File

Formalization:
Text File.Data File  Data File.File
Image File.Data File  Data File.File
Information File.Data File  Data File.File

R6.Information File CONTAINS Data File (1c:Mc)
Data File IS CONTAINED IN Information File

Part IV: Data Types

1. Load/Save Mode

2. Location Type