Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| InitiationDesignPattern(initiation design pattern) |
| appearance as argument number 1 |
|
| (subclass InitiationDesignPattern DesignPatternAttribute) | QoSontology.kif 1506-1506 | Initiation design pattern is a subclass of design pattern attribute |
| (documentation InitiationDesignPattern EnglishLanguage "An instance of the class RealtimeSystem has Initiation_DesignPattern if it consists of one software module and the actuators it commands. The design pattern is an event source which produces events for an event handler. The event source is typically an evaluate-and-decide software module. The event stream is necessarily asynchronous, or transient. The arrival rate of events may vary and is unbounded. Events may be either homogeneous or heterogeneous. The workload per event for homogeneous events is constant. The workload per event for heterogeneous events is a function of each event type. There is one deadline for real-time action initiation systems. It is the upper bound on the time to generate a command for the actuator.") | QoSontology.kif 1508-1519 | Initiation design pattern is a subclass of design pattern attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage InitiationDesignPattern "initiation design pattern") | QoSontology.kif 1507-1507 |
| antecedent |
|
|
| (=> (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 |
|