A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems