طراحی و تحلیل مدل‌های رفتاری سیستم‌های توزیع‌شده