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) |
CharacteristicProperties |
CharacteristicValues(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
ClassName |
Properties |
HW_BASICS |
Root Class: None |
Assigned Characteristics Proc(required characteristic, default:P300) Mem(required characteristic, default:Mem3) |
|
PC |
Root ClassHW_BASICS |
Value Restriction in the Classification: MemMem1, 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.
Preconditionpre_not_OpSys_Bfor characteristic valuePC.AppSoft.Standard |
$self.OpSys ne 'OSB'. |
The standard software is not compatible with the operating system B. |
Preconditionpre_printerfor characteristicPC.PrinterType |
$self.Printer eq 'Yes'. |
You can select a printer type only after you have set a printer. |
Selection conditionsel_printerfor characteristicPC.PrinterType |
$self.Printer eq 'Yes'. |
You have set a printer.Select the desired printer type. |
Procedurevis_printer_type |
$self.PrinterType is invisible if Printer eq 'No'. |
The printer type is visible only if you have set a printer. |
Constraintcheck_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. |
Constraintset_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. |
Constraintset_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. |
Constraintset_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. |
Constraintset_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. |
Constraintset_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. |
Constraintset_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. |
Constraintset_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.