Deriving ECA-rules from timed-automata specifications.
Real-time systems are required to answer to external stimuli within a specified time-period. For this to be possible, the systems behaviour must be predictable. The use of active databases in real-time systems introduces unpredictability in the system, e.g. due to their use of active rules. The beha...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | Swedish |
| Published: |
Högskolan i Skövde, Institutionen för datavetenskap
2002
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-655 |