|
|
   SoftStrictness
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SoftStrictness StrictnessAttribute) | QoSontology.kif 1685-1685 | Soft strictness is a subclass of strictness attribute |
| (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 1687-1691 | Soft strictness is a subclass of strictness attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SoftStrictness "soft strictness") | QoSontology.kif 1686-1686 |
| 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 1714-1728 | If X has strictness hybrid strictness, then At least one of the following holds: (1) X has strictness importance strictness and X has strictness utility strictness (2) X has strictness importance strictness and X has strictness hard strictness (3) X has strictness importance strictness and X has strictness firm strictness (4) X has strictness importance- strictness and X has strictness soft strictness |
|