A PackageMaker, az vizsgálat, amely egy értékkel (például összegének véletlen hozzáférésű memória elérhető) rendszer tulajdonság összehasonlítja. Choice követelmények egy választás felhasználói felület tulajdonságok értékének meghatározása: kijelölt, a hasznosítható és a látható.