Human Performance Modeling

CCM can be used to support reasoning about human-computer interaction in both human factors and cognitive science. CCM supports the formal reification of the constraints underlying human performance, and the derivation of the implications of these constraints. These two properties make it a powerful approach for describing and reasoning about psychological theory.