ارائه یک مدل صوری برای سازماندهی خود تطبیق عامل ها در راستای دستیابی به خصیصه های خود تطبیقی

پیچیدگی رفتار عاملها در محیطهای توزیعشدده اامتررز سدبش شدده اسد زه سدازماادهی عاملها در قالش سدازمانهایی زههدف آنها ااجام برخی از وظایف سدیتدتا اسد و مورد تومه محققان هوزه سدیتدتاهای چندعامله واقع شدود در ای راسدتامدلهای سدازماادهی متتلیی پیندنهاد شدده اسد از سدوی دی ر پیچیدگی سدیتدتاهای مذزور ایاز به دسدتیابی بهخصوصیات خودتطبیقی را به یک ایازمندی غیرقابل امتناب تبدیل زرده اس دستیابی به خصوصیات مذزور زه باید توسطعاملهای مومود در سدیتدتا صدورت پذیردو خود ایازمند یک سدازماادهی خودتطبیق و ااتتداب اقشهای تکریلی در ایراسدتا به عاملهای مندارز زننده در سدیتدتا اسد در ای مقاله یک مدل صدوری برای سدازماادهی عاملها در راسدتایدسدتیابی به خصدوصدیات خودتطبیقی ارائه شدده اسد مدل مذزور بر مبنای زبان صدوری Z توصدیف شدده و در آن با افدافهارودن مولیههایی به مدلهای صوری مومودو سازمانهای خودتطبیقو قابلی ها و اقشهای خودتطبیق عاملها برای پیوستبه سدازمانها خودتطبیق و احوه ایجاد سدازمانهای مذزور توصدیف شددهااد در ااتها برای ارزیابی مدل مذزور سدناریویی ازماموری منهور NASA ANTS در اظر گرفته شده و احوه زاربرد مدل پیننهادی در ای سناریو بررسی شده است.

کلیدواژه ها:

سیستم های نامتمرکز ، خودتطبیقی ، توصیف صوری ، زبان Z ، سیستم های چند عامله ، خودسازماندهی