Characterizing notification distinctiveness for a finite-state machine modeled system

A method for characterizing notification distinctiveness of a finite-state machine (FSM) modeled system, comprising:

• based on a plurality of state transitions between a plurality of states of the FSM modeled system, identifying:
• an event for transitioning from a transitioned-from one of the states to another transitioned-to one of the states;
• and
• a transitioned-to notification to be presented upon attainment of each of the transitioned-to states;
• and
• generating a distinctiveness rating for each of the transitioned-to notifications, the distinctiveness ratings each quantifying distinctiveness of the transitioned-to notification for the transitioned-to state associated therewith.

A system for characterizing notification distinctiveness of a finite-state machine (FSM) modeled system, comprising:

• a module configured for determining a distinctiveness abstraction table for the finite-state machine, the distinctiveness abstraction table defining a plurality of state transitions between a plurality of states, each state transition defining an event for transitioning from a transitioned-from one of the states to another transitioned-to one of the states;
• and
• a distinctiveness tool configured for
• determining a notification to be presented for each of the states;
• generating a distinctiveness rating for each of the state transitions, the distinctiveness ratings each comparatively quantifying relative distinctiveness between the notifications for the transitioned-from and transitioned-to states of the state transition associated therewith.