Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| systemBehavior |
| appearance as argument number 1 |
|
| (subrelation systemBehavior property) | QoSontology.kif 1444-1444 | system behavior is a subrelation of property |
| (instance systemBehavior BinaryPredicate) | QoSontology.kif 1445-1445 | system behavior is an instance of binary predicate |
| (domain systemBehavior 1 RealtimeSystem) | QoSontology.kif 1446-1446 | The number 1 argument of system behavior is an instance of realtime system |
| (domain systemBehavior 2 SystemBehaviorAttribute) | QoSontology.kif 1447-1447 | The number 2 argument of system behavior is an instance of system behavior attribute |
| (documentation systemBehavior EnglishLanguage "(systemBehavior ?System ?Attribute) holds if ?Attribute is a SystemBehaviorAttribute which describes the RealtimeSystem ?System.") | QoSontology.kif 1448-1450 | The number 2 argument of system behavior is an instance of system behavior attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage systemBehavior "the behavior of %1 is %2") | domainEnglishFormat.kif 4724-4724 | |
| (format ChineseTraditionalLanguage systemBehavior "%1 的 behavior 是 %2 ") | domainEnglishFormat.kif 4725-4725 | |
| (format ChineseLanguage systemBehavior "%1 的 behavior 是 %2 ") | domainEnglishFormat.kif 4726-4726 | |
| (termFormat EnglishLanguage systemBehavior "system behavior") | domainEnglishFormat.kif 56642-56642 | |
| (termFormat ChineseTraditionalLanguage systemBehavior "系統行為") | domainEnglishFormat.kif 56643-56643 | |
| (termFormat ChineseLanguage systemBehavior "系统行为") | domainEnglishFormat.kif 56644-56644 |
| antecedent |
|
|
| (=> (systemBehavior ?System TransientSystemBehavior) (complexity ?System SingleRequirementComplexity)) |
QoSontology.kif 1641-1643 | If the behavior of X is TransientSystemBehavior, then the complexity of X is single requirement complexity |
| (=> (systemBehavior ?System PeriodicSystemBehavior) (complexity ?System SingleRequirementComplexity)) |
QoSontology.kif 1645-1647 | If the behavior of X is PeriodicSystemBehavior, then the complexity of X is single requirement complexity |
| (=> (systemBehavior ?System HybridSystemBehavior) (complexity ?System MultipleRequirementComplexity)) |
QoSontology.kif 1656-1658 | If the behavior of X is HybridSystemBehavior, then the complexity of X is multiple requirement complexity |
| consequent |
|
|
| (=> (designPattern ?System Guidance_DesignPattern) (systemBehavior ?System Transient_SystemBehavior)) |
QoSontology.kif 1502-1504 | If X has the pattern guidance- design pattern, then the behavior of X is transient- system behavior |
| (=> (designPattern ?System InitiationDesignPattern) (systemBehavior ?System TransientSystemBehavior)) |
QoSontology.kif 1521-1523 | If X has the pattern initiation design pattern, then the behavior of X is TransientSystemBehavior |
|