Global Computing. Programming Environments, Languages, Security, and Analysis of Systems: IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003. Revised Papers

هدف ابتکار پیشگیرانه IST/FET در محاسبات جهانی این است که مدل‌ها، چارچوب‌ها، روش‌ها، الگوریتم‌ها را برای ساختن سیستم‌هایی بسازد که انعطاف‌پذیر، قابل اعتماد، ایمن، قوی و کارآمد باشند. نگرانی‌های غالب مربوط به مدیریت هماهنگی و تعامل، امنیت، قابلیت اطمینان، استحکام، حالت‌ها، و کنترل مخاطرات سیستم و طراحی کلی، توصیف و عملکرد خود سیستم است. ممکن است پارادایم‌های کاملاً مشخصی از علم کامپیوتر برای مقابله با این مسائل ایجاد شود. تحقیق باید بر روی سیستم‌هایی متمرکز شود که دارای ویژگی‌های زیر هستند: - سیستم‌ها از موجودیت‌های محاسباتی مستقلی تشکیل شده‌اند که در آن‌ها کنترل مرکزی نمی‌شود، یا به این دلیل که کنترل جهانی غیرممکن یا غیرعملی است، یا به این دلیل که موجودیت‌ها توسط مالکان مختلف کنترل می‌شوند. - موجودیت های محاسباتی به دلیل حرکت پلت فرم های فیزیکی یا حرکت موجودیت از یک پلت فرم به پلت فرم دیگر متحرک هستند. - پیکربندی در طول زمان متفاوت است. به عنوان مثال، سیستم برای معرفی موجودیت های محاسباتی جدید و همچنین حذف آنها باز است. رفتار موجودیت ها ممکن است در طول زمان متفاوت باشد. - سیستم ها با اطلاعات ناقص در مورد محیط کار می کنند. به عنوان مثال، اطلاعات به سرعت منسوخ می شود و تحرک نیاز به اطلاعاتی در مورد محیط دارد تا کشف شود. هدف نهایی تحقیق برای ارائه دانش‌های جامد، پایه‌ای برای طراحی چنین سیستم‌هایی و ایجاد زمینه‌ای برای دستیابی به اصول مؤثر برای ساختن و تجزیه و تحلیل چنین سیستم‌هایی است.

The goal of the IST/FET proactive initiative on Global Computing is to - tain models, frameworks, methods, algorithms to build systems that are ?exible, dependable, secure, robust and e?cient. The dominant concerns are those of handling the co-ordination and interaction, security, reliability, robustness, fa- uremodes,andcontrolofriskoftheentitiesinthesystemandtheoveralldesign, descriptionandperformanceofthesystemitself.Completelydi?erentparadigms of computer science may have to be developed to tackle these issues e?ectively. The research should concentrate on systems having the following characteristics: – The systems are composed of autonomous computational entities where - tivity is not centrally controlled, either because global control is impossible or impractical, or because the entities are controlled by di?erent owners. – The computational entities are mobile, due to the movement of the physical platforms or movement of the entity from one platform to another. – The con?guration varies over time. For instance, the system is open to the introduction of new computational entities and likewise their deletion. The behavior of the entities may vary over time. – The systems operate with incomplete information about the environment. For instance, information becomes rapidly out of date and mobility requires information about the environment to be discovered. Theultimategoaloftheresearchactionistoprovideasolidscienti?cfoundation for the design of such systems, and to lay the groundwork for achieving e?ective principles for building and analyzing such systems.