Revision 8a57f3b03992351f46c4537fd0d9351592278d2b (click the page title to view the current version)
EDMPoster/Intro
Master is giving positive examples:
ExamplePhone1
display
LCD
GSM
CPU
keyboard
ExamplePhone2
display
OLED
GSM
touchscreen
ExampleTablet1
display
AMOLED
HSPA
CPU 4
touchscreen
Master is giving negative examples:
negative
ExamplePhone3
display
LCD
GSM
CPU 4
keyboard
negative
ExampleTablet2
display
AMOLED
HSPA
CPU 4
keyboard
Luke builds an abstraction:
abstract AndroidDevice1
GSM
HSPA ?
CPU 1..4
xor input
keyboard
touchscreen
and a specialization:
Luke fixes the abstraction, since not all tablets have
GSM:
abstract AndroidDevice
GSM ?
HSPA ?
CPU 1..4
xor input
keyboard
touchscreen
Luke validates the abstraction by generating examples and confirming with master:
Luke discovers new variants and checks whether the positive ones are included and whether negative ones are excluded.
var gwr=document.getElementById('graphWithRefs0'); gwr.style.display='block'; gwr.scrollLeft=this.scrollLeft; this.style.display='none';
var gwr=document.getElementById('graphWithRefs0'); gwr.style.display='block'; gwr.scrollLeft=this.scrollLeft; this.style.display='none';
Module Statistics:
|
All clafers: 60 | Abstract: 3 | Concrete: 57 | Reference: 0 | Constraints: 4 | Goals: 0 | Global scope: 4..* | Can skip name resolver: no
|
End.
