A Framework for Performability Modeling of Messaging Services in Distributed Systems