%servers to ping
server(http://localhost).

minavalability(95).

%timeintervall of the eca rules
sec(3).
updateSec(2).


% Eskalation Levels (Level, TimeToRepair, MailTo) %%%
eskLvl(1, 24, "paschke@in.tum.de").
eskLvl(2, 48, "paschke@in.tum.de").
eskLvl(3, 72, "paschke@in.tum.de").


%event calculus für die wartungszeit
initiates(normal, normalTime, T).
terminates(maintain, normalTime, T).
%initialisieren
happens(normal, datetime(2006, 3, 1, 0, 0, 0)).

%für jeden server den availability fluent initialisieren
initiates(serverGeht(http://localhost), http://localhost, T).
terminates(serverAusfall(http://localhost), http://localhost, T).
happens(serverAusfall(http://localhost), datetime(2006, 3, 1, 0, 0, 0)).


