Product Models for Operating System