Typical Product Model
Definition
This model of a configurable computer is an example of a product that is available for use with the function for reporting configuration conflicts (see Configuration Conflict and Product That Is Easy to Configure).
Model
Characteristics
All characteristics have the character format data type.
Characteristic (Characteristic Name) |
Characteristic Properties |
Characteristic Values (Characteristic Value Name) |
Processor (Proc) |
Single-valued, non-restrictable |
P100 (P100) |
P200 (P200) |
||
P300 (P300) |
||
P310 (P310) |
||
P400 (P400) |
||
P800 (P800) |
||
Memory (Mem) |
Single-valued, non-restrictable |
Size 1 (Mem1) |
Size 2 (Mem2) |
||
Size 3 (Mem3) |
||
Size 4 (Mem4) |
||
Size 5 (Mem5) |
||
Size 6 (Mem6) |
||
Size 7 (Mem7) |
||
Operating System (OpSys) |
Single-valued, non-restrictable |
Operating System A1 (OSA1) |
Operating System A2 (OSA2) |
||
|
|
Operating System A3 (OSA3) |
Operating System B (OSB) |
||
Application Software (AppSoft) |
Multi-valued, non-restrictable |
Standard (Standard) |
Photo Processing (Photo) |
||
Desktop Publishing (Desktop) |
||
Programming (Program) |
||
Graphics Processing (Graphic) |
||
Network (Net) |
||
Network Card (NetCard) |
Single-valued, non-restrictable |
Standard (Standard) |
Business (Biz) |
||
Printer (Printer) |
Single-valued, non-restrictable |
Yes (Yes) |
|
|
No (No) |
Printer Type (Printer_Type) |
Single-valued, non-restrictable |
Ink jet printer (black) (M_DJ) |
Ink jet printer (color) (C_DJ) |
||
Laser printer (black) (M_Laser) |
||
Laser printer (color) (C_Laser) |
||
PC Model (MP_Model) |
Single-valued, non-restrictable |
Standard PC (Standard) |
High end PC (Highend) |
||
Disk Drive (AddDrive) |
Multi-valued, non-restrictable |
Floppy disk drive (Floppy) |
|
|
CD ROM drive (CDROM) |
|
|
CD writer (CDWriter) |
|
|
DVD ROM drive (DVDROM) |
|
|
DVD writer (DVDWriter) |
|
|
ZIP drive (ZIP) |
Classes
Class Name |
Properties |
HW_BASICS |
Root Class: None |
|
Assigned Characteristics: · Proc (required characteristic, default: P300) · Mem (required characteristic, default: Mem3) |
PC |
Root Class: HW_BASICS |
Value Restriction in the Classification: Mem: Mem1, Mem2, Mem3, Mem4, Mem5, Mem6 |
|
Assigned Characteristics · OpSys (required characteristic, default: OSA3) · AppSoft · NetCard · Printer (Default: No) · Printer_Type · MP_Model · AddDrive (required characteristic, default: CDROM) |
Dependencies
The following examples of dependencies are referred to in the explanation of the different conflict types; all dependencies will not be active (released) at the same time.
Precondition pre_not_OpSys_B for characteristic value PC.AppSoft.Standard |
$self.OpSys ne 'OSB'. |
The standard software is not compatible with the operating system B. |
Precondition pre_printer for characteristic PC.PrinterType |
$self.Printer eq 'Yes'. |
You can select a printer type only after you have set a printer. |
Selection condition sel_printer for characteristic PC.PrinterType |
$self.Printer eq 'Yes'. |
You have set a printer. Select the desired printer type. |
Procedure vis_printer_type |
$self.PrinterType is invisible if Printer eq 'No'. |
The printer type is visible only if you have set a printer. |
Constraint check_AppSoft |
Objects: ?Obj is_a (300) PC where ?SOFT1 = AppSoft; ?SOFT2 = AppSoft.
Condition: ?SOFT1='Photo'and?SOFT2='Desktop'.
Restrictions: false. |
The application software program for processing photos and for desktop publishing cannot be installed on one PC. |
Constraint set_Mem_1 |
Objects: ?Obj is_a (300) PC.
Condition: ?Obj.Proc eq 'P400'.
Restrictions: ?Obj.Mem eq 'Mem5'.
Inferences: ?Obj.Mem. |
The P400 processor is compatible with a size 5 memory only. |
Constraint set_Mem_2 |
Objects: ?Obj is_a (300) PC.
Condition: ?Obj.OpSys eq 'OSA1'.
Restrictions: ?Obj.Mem eq 'Mem6'.
Inferences: ?Obj.Mem. |
The A1 operating system is compatible with a size 6 memory only. |
Constraint set_Mem_3 |
Objects: ?Obj is_a (300) PC.
Condition: ?Obj.P_Model eq 'Highend'.
Restrictions: ?Obj.Mem eq 'Mem6'.
Inferences: ?Obj.Mem. |
The high-end PC has a size 6 memory. |
Constraint set_Proc |
Objects: ?Obj is_a (300) PC.
Condition: ?Obj.NetCard eq 'Biz'.
Restrictions: ?Obj.Proc eq 'P400'.
Inferences: ?Obj.Proc. |
The business network card is shipped in connection with the P400 processor only. |
Constraint set_OpSys |
Objects: ?Obj is_a (300) PC.
Condition: ?Obj.AppSoft eq 'Graphic'.
Restrictions: ?Obj.OpSys eq 'OSA1'.
Inferences: ?Obj.OpSys. |
The graphics software requires the A1 operating system. |
Constraint set_NetCard |
Objects: ?Obj is_a (300) PC.
Condition: ?Obj.Proc eq 'P100'.
Restrictions: ?Obj.NetCard eq 'Standard'.
Inferences: ?Obj.NetCard. |
The P100 processor is compatible with the standard network card only. |
Constraint set_Mem_P8 |
Objects: ?Obj is_a (300) HW_BASICS.
Condition: ?Obj.Proc eq 'P800'.
Restrictions: ?Obj.Mem eq 'Mem7'.
Inferences: ?Obj.Mem. |
The P800 processor is compatible with a size 7 memory only. |
Bill of material
The model does not have a bill of material.