Identifiers: 1.1. Project.Arbitrary ID (A)Data Type: Project ID 1.2. Project.NameData Type: Name 1.3. Project.NotationData Type: Notation 1.4. Project.DescriptionData Type: Description |
Identifiers: 2.1. External Project.Project (R)References:
2.2. External Project.Order (A)Data Type: External Project Order 2.3. External Project.NameData Type: Name 2.4. External Project.DescriptionData Type: Description |
Identifiers: 3.1. Asset.Project (R)References:
3.2. Asset.Order (A)Data Type: Asset Order 3.3. Asset.Asset ID (M)Data Type: Asset ID |
Identifiers: 4.1. Local Asset.Project (R)References:
4.2. Local Asset.Asset (R)References:
|
Identifiers: 5.1. Imported Asset.Project (R)References:
5.2. Imported Asset.Asset (R)References:
5.3. Imported Asset.External Project (R)References:
|
Identifiers: The following definition is taken from [OOA91]: "Definition. A domain is a separate real, hypothetical, or abstract world inhabited by a distinct set of objects that behave according to rules and polices characteristic of the domain." 6.1. Domain.Project (R)References:
6.2. Domain.Asset (R)References:
6.3. Domain.NameData Type: Name 6.4. Domain.Domain CategoryData Type: Domain Category 6.5. Domain.Mission StatementData Type: Description 6.6. Domain.Information Model (R)References:
|
Identifiers: 7.1. Bridge.Project (R)References:
7.2. Bridge.Asset (R)References:
7.3. Bridge.Client Domain (R)References:
7.4. Bridge.Server Domain (R)References:
7.5. Bridge.Client RoleData Type: Name 7.6. Bridge.Server RoleData Type: Name 7.7. Bridge.Client AssumptionsData Type: Description 7.8. Bridge.Server RequirementsData Type: Description 7.9. Bridge.Operation Owner (R)References:
7.10. Bridge.Label Prefix (M)Data Type: Label Prefix |
Identifiers: 8.1. Layer.Project (R)References:
8.2. Layer.Asset (R)References:
8.3. Layer.NameData Type: Name 8.4. Layer.DescriptionData Type: Description 8.5. Layer.Operation Owner (R)References:
8.6. Layer.Label Prefix (M)Data Type: Label Prefix |
Identifiers: 9.1. Connection.Project (R)References:
9.2. Connection.Layer (R)References:
9.3. Connection.Domain (R)References:
9.4. Connection.RoleData Type: Name |
Identifiers: 10.1. Task.Project (R)References:
10.2. Task.Order (A)Data Type: Task Order 10.3. Task.NameData Type: Name 10.4. Task.DescriptionData Type: Description |
Identifiers: 11.1. Task Activity.Project (P)11.2. Task Activity.Task Row (P)11.3. Task Activity.Activity Column (M)Data Type: Positive Integer 11.4. Task Activity.Short NoteData Type: Description 11.5. Task Activity.Long NoteData Type: Description |
Identifiers: 12.1. Asset Activity.Project (R)References:
12.2. Asset Activity.Task (R)References:
12.3. Asset Activity.Activity (R)References:
12.4. Asset Activity.Asset (R)References:
|
Identifiers: 13.1. Subsystem Activity.Project (R)References:
13.2. Subsystem Activity.Task (R)References:
13.3. Subsystem Activity.Activity (R)References:
13.4. Subsystem Activity.Information Model (R)References:
13.5. Subsystem Activity.Subsystem (R)References:
|
R1. | Project DEFINES Asset (1:Mc) |
Asset IS DEFINED BY Project |
Formalization:
Asset.Project | → | Project.Arbitrary ID |
R2. | Project USES ASSETS DEFINED IN External Project (1:Mc) |
External Project DEFINES ASSETS USED BY Project |
Formalization:
External Project.Project | → | Project.Arbitrary ID |
R3. | Asset IS A (SUPERTYPE OF) Bridge |
Asset IS A (SUPERTYPE OF) Domain | |
Asset IS A (SUPERTYPE OF) Layer | |
Bridge IS A (SUBTYPE OF) Asset | |
Domain IS A (SUBTYPE OF) Asset | |
Layer IS A (SUBTYPE OF) Asset |
Formalization:
Bridge.Project | → | Asset.Project | |
Bridge.Asset | → | Asset.Asset ID | |
Domain.Project | → | Asset.Project | |
Domain.Asset | → | Asset.Asset ID | |
Layer.Project | → | Asset.Project | |
Layer.Asset | → | Asset.Asset ID |
R4. | Asset IS A (SUPERTYPE OF) Imported Asset |
Asset IS A (SUPERTYPE OF) Local Asset | |
Imported Asset IS A (SUBTYPE OF) Asset | |
Local Asset IS A (SUBTYPE OF) Asset |
Formalization:
Imported Asset.Project | → | Asset.Project | |
Imported Asset.Asset | → | Asset.Asset ID | |
Local Asset.Project | → | Asset.Project | |
Local Asset.Asset | → | Asset.Asset ID |
R5. | Imported Asset IS LOCATED IN External Project (Mc:1) |
External Project DEFINES LOCATION OF Imported Asset |
Formalization:
Imported Asset.Project | → | External Project.Project | |
Imported Asset.External Project | → | External Project.Order |
R6. | Domain DEFINES Information Model (1:1c) |
Information Model IS DEFINED BY Domain |
Formalization:
Domain.Information Model | → | Information Model.Arbitrary ID |
R7. | Domain ASSUMES CAPABILITIES PROVIDED BY SERVER Domain (Mc:Mc) |
Domain PROVIDES CAPABILITIES REQUIRED BY CLIENT Domain | |
Bridge SATIFIES ASSUMPTIONS OF CLIENT Domain USING CAPABILITIES PROVIDED BY SERVER Domain M-(Mc:Mc) |
Formalization:
Bridge.Project | → | Domain.Project | |
Bridge.Client Domain | → | Domain.Asset | |
Bridge.Project | → | Domain.Project | |
Bridge.Server Domain | → | Domain.Asset |
R8. | Layer OBSERVES AND/OR CONTROLS Domain (Mc:Mc) |
Domain IS OBSERVED AND/OR CONTROLLED BY Layer | |
Connection CONNECTS Layer AND Domain M-(Mc:Mc) |
Formalization:
Connection.Project | → | Layer.Project | |
Connection.Layer | → | Layer.Asset | |
Connection.Project | → | Domain.Project | |
Connection.Domain | → | Domain.Asset |
R9. | Task IS DEFINED BY Project (Mc:1) |
Project DEFINES Task |
Formalization:
Task.Project | → | Project.Arbitrary ID |
R10. | Task Activity IS A (SUPERTYPE OF) Asset Activity |
Task Activity IS A (SUPERTYPE OF) Subsystem Activity | |
Asset Activity IS A (SUBTYPE OF) Task Activity | |
Subsystem Activity IS A (SUBTYPE OF) Task Activity |
Formalization:
Asset Activity.Project | → | Task Activity.Project | |
Asset Activity.Task | → | Task Activity.Task Row | |
Asset Activity.Activity | → | Task Activity.Activity Column | |
Subsystem Activity.Project | → | Task Activity.Project | |
Subsystem Activity.Task | → | Task Activity.Task Row | |
Subsystem Activity.Activity | → | Task Activity.Activity Column |
R11. | Task IS PERFORMED TO DELIVER Asset (Mc:Mc) |
Asset DELIVERED BY PERFORMING Task | |
Asset Activity CAPTURES NOTES REGARDING PERFORMANCE OF Task DELIVERING Asset 1-(Mc:Mc) |
Formalization:
Asset Activity.Project | → | Task.Project | |
Asset Activity.Task | → | Task.Order | |
Asset Activity.Project | → | Asset.Project | |
Asset Activity.Asset | → | Asset.Asset ID |
R12. | Task IS PERFORMED TO DELIVER Subsystem (Mc:Mc) |
Subsystem DELIVERED BY PERFORMING Task | |
Subsystem Activity CAPTURES NOTES REGARDING PERFORMANCE OF Task DELIVERING Subsystem 1-(Mc:Mc) |
Formalization:
Subsystem Activity.Project | → | Task.Project | |
Subsystem Activity.Task | → | Task.Order | |
Subsystem Activity.Information Model | → | Subsystem.Partitioned Information Model | |
Subsystem Activity.Subsystem | → | Subsystem.Name |