ATheoretical Analysis ofSystem Quality