چارچوبی صوری برای تغییر پیکربندی در سیستم‌های تطبیقی
الموضوعات :
جابر کریم‌پور
1
(دانشگاه تبریز)
رباب علیاری
2
(دانشگاه تبریز)
الکلمات المفتاحية: آداپتور پیکربندی پویا سیستم‌های تطبیقی روش‌های صوری,
ملخص المقالة :
امروزه از سیستم‌های پیشرفته انتظار می‌رود که بتوانند خود را با شرایط محیطی و اتفاقات غیر منتظره سازگار کنند. اولین شرط برای چنین سیستم‌هایی سازگارشدن آنها با توجه به نیازهای مشتری، داشته‌های خود و محیطی که در آن قرار دارند است و باید هنگام مواجه با مشکل یا درخواست غیر منتظره به آن جواب دهند. در راهکارهای تطابق‌سازی سعی شده با استفاده از قرارداد تطابق و تغییر پیکربندی مجدد، سیستم با شرایط وفق داده شود به طوری که این تغییر پیکربندی مجدد به دور از چشم سرویس‌گیرنده و گاهی در حین اجرای عملیات انجام گردد و طراحان سیستم را نیز از دخالت مستقیم در امور داخلی مربوط به کارگزار منع کند. شایان ذکر است گاهی اوقات همین روش‌های تطابق‌سازی نقش زیادی در استفاده مجدد مؤلفه‌ها برای ایجاد سیستم‌های جدید یا بالابردن سطح سیستم‌های قدیمی با استفاده از مؤلفه‌های موجود را نیز ایفا می‌کنند. این مقاله با روش‌های فرمال سعی در ایجاد سیستمی دارد که توان سازگاری با محیط را داشته باشد و در کنار آن، مشکلات ناشی از پیچیدگی را نیز تا حدی می‌کاهد. برای این کار ابتدا سیستم به وسیله یک مدل ریاضی نمایش داده شده و سپس از روی سیستم مدل‌شده، قرارداد تطابق و درخواست مشتری یک فرم جدید به نام آداپتور طراحی می‌شود. بعد از ایجاد آداپتور تمام پیکربندی‌ها و تراکنش‌های بین سیستم و مشتری از طریق آن انجام می‌گردد و آداپتور مسئول هماهنگ‌سازی اجزای داخلی سیستم می‌باشد. همچنین برای جلوگیری از پیچیدگی، از مفهوم شبکه و سرویس‌های سلسله مراتبی برای ایجاد شبکه‌ای از آداپتورها استفاده شده است.
[1] A. Colman, Role - Oriented Adaptive Design, Ph. D. Thesis, Swinburne University, Melbourn, Australia, 2007.
[2] T. Batista, A. Joolia, and G. Coulson, "Managing Dynamic Reconfiguration in Component - Based Systems," in Proc. 2nd European WorkShop on Software Architectures, pp. 1-17, Pisa, Italy, 13-14 Jun. 2005.
[3] J. Aldrich, C. Chambers, and D. Notkin, "ArchJava: connecting software architecture to implementation," in Proc. of the 24th Int. Conf. on Software Engineering ICSE'04, pp. 187-197, Orlando, US, May 2004.
[4] I. Sander and A. Jantsch, "Modelling adaptive system in ForSyDe," Electronic Notes in Theorical Computer Science, vol. 200, no. 2, pp. 39-54, Feb. 2008.
[5] I. Georgiadis, J. Magee, and J. Kramer, "Self - organising software architecture for distributed systems," in Proc. of the 1st Workshop on Self - Healing Systems, WOSS'02, pp. 33-38, New York, US, 18-19 Nov. 2002.
[6] D. Garlen, S. Cheng, A. Huang, B. Schmerl, and P. Streenkiste, "Rainbow: architecture-based self-adaptation with reusable infrastructure," Computer, vol. 37, no. 10, pp. 46-54, Oct. 2004.
[7] D. Garlan, V. Poladian, B. Schmerl, and J. P. Sousa, "Task - based self - adaptation," in Proc. of the 1st ACM SIGSOFT Workshop on Self - Managed Systems, pp. 54-57, California, 31 Oct.-1 Nov. 2004.
[8] N. Khakpour, S. Jalili, C. Talcott, M. Sirjani, and M. Mousavi, "Formal modeling of evolving self - adaptive systems," J. of Science of Computer Programming, vol. 78, no. 1, pp. 3-26, Nov. 2011.
[9] R. Bruni, A. Corradini, F. Gadducci, A. Lluch, and A. Vandin, "A conceptual framework for adaptation," Lecture Notes in Computer Science, vol. 7212, pp. 240-254, 2012.
[10] A. Cansado, J. Cubo, G. Salaun, and C. Canal, "A formal framework for structural reconfiguration of component under behavioral adaptation," Electronic Notes in Theorical Computer Science, vol. 263, pp. 95-110, 3 Jun. 2011.
[11] J. Camara, G. Salaun, C. Canal, and M. Ouederni, "Interactive specification and verification of behavioural adaptation contracts," Information and Software Technology, vol. 54, no. 7, pp. 701-723, Jul. 2012.
[12] Y. Jin, C. Lakos, and R. Esser, "Modular consistency analysis of component-based designs," Journal of Research and Practice in Information Technolog, vol. 36, no. 3, pp. 186-208, Aug. 2004.
[13] A. Arnold, Finite Transition Systems: Semantics of Communicating Systems, Prentice - Hall, 1994.
[14] M. U. Iftikhar and D. Weyns, "A case study on formal verification of self - adaptive behaviors in a decentralized system," in Proc. 11th Int. Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA'12, pp 45-62, Aug. 2012.
