روش تطبیق داده رانه چندهدفه با تبدیل نوع هدف برای سیستم های نرم افزاری

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

کلیدواژه ها:

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