Multi-level Model-Based Self-diagnosis of Distributed Object-Oriented Systems