Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TransientSystemBehavior |
| 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 |
| consequent |
|
|
| (=> (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 |
|