а зачем плодить сущности без необходимости?
Слово "потребность" лично для меня удобнее, чем "активность" (и "набор состояний" - удобнее, чем "модель", хотя возможно, некоторые ситуации и нельзя эффективно описать набором состояний - если такие есть, было бы интересно их обсудить). Интуитивно более адекватно. Но в принципе я готов к любой терминологии, меня она не смущает. А вот в формуле есть один такой момент:
Разница между этими моделями дает третью модель
По-моему это самое сложное. Для любой новой задачи мы знаем, что у нас нифига не сделано, и хотим, чтобы все было круто, но разница между этими моделями дает только мысль "надо бы что-то сделать, вот только что?"