SoftStrictness - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SoftStrictness EnglishLanguage "An attribute that applies to a RealtimeSystem just in case it maximizes the number of timing requirements like deadlines that are met but does not guarantee that all such requirements will be met or any fixed percentage of requirements will be met.")	QoSontology.kif 1694-1698
(subclass SoftStrictness StrictnessAttribute)	QoSontology.kif 1692-1692	Soft strictness is a subclass of strictness attribute

appearance as argument number 2

QoSontology.kif 1693-1693

consequent

(=>
    (strictness ?System HybridStrictness)
    (or
        (and
            (strictness ?System ImportanceStrictness)
            (strictness ?System UtilityStrictness))
        (and
            (strictness ?System ImportanceStrictness)
            (strictness ?System HardStrictness))
        (and
            (strictness ?System ImportanceStrictness)
            (strictness ?System FirmStrictness))
        (and
            (strictness ?System Importance_Strictness)
            (strictness ?System SoftStrictness))))

QoSontology.kif 1721-1735