S - это видимо описание системы. Например, S=<P,R> концепты P, отношения между ними R,.. т.е. f1 - просто описывает предметную область в концептах и отношениях, а также операций над ними (Opr) . E - возможно характеристики системы , но их слишком много, имеет смысл использовать какое-то наиболее значимое их подмножество E*. f3 - описывает критерии качества системы( услвоия на характеристики E*)
|