A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems