Title :
Specification of events and states in complex systems
Author :
Shim, Y.C. ; Ramamoorthy, C.V.
Author_Institution :
Dept. of EECS, California Univ., Berkeley, CA, USA
Abstract :
Monitoring consists of collecting information from the system and detecting particular events and states using the collected information. These events and states can be symptoms for performance degradations, erroneous functions, suspicious activities, etc. and are subject to further analysis. Detecting events and states requires a specification language which makes it possible to express a wide variety of events/states easily and also allows the implementation of the efficient detection algorithm. The authors introduce an event/state specification language based on classical temporal logic. They compare the language with other languages such as relational algebra, historical relational algebra, OPS5, and an extended regular expression based language. It is proved that the language is as expressive as or more expressive than the other languages. It is also shown that the language can specify a variety of events and states more conveniently than the other languages.<>
Keywords :
formal specification; relational databases; specification languages; temporal logic; OPS5; classical temporal logic; complex systems; erroneous functions; events; performance degradations; regular expression based language; relational algebra; specification language; states; Algebra; Distributed computing; Event detection; Fault tolerant systems; Information analysis; Logic functions; Monitoring; Probes; Resource management; Specification languages;
Conference_Titel :
Computers and Communications, 1992. Conference Proceedings., Eleventh Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ, USA
Print_ISBN :
0-7803-0605-8
DOI :
10.1109/PCCC.1992.200525
