Reactive event calculus for monitoring global computing applications