Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

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

In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for computing sci enti sts. The foundati ons of di stributed programming compri se all the fasci nating questions of computing science: the development of adequate com putational , conceptual and semantic model s for distributed systems, specification methods, verification techniques, transformation rules, the development of suitable representations by programming languages, evaluation and execution of programs describing distributed systems. Being the 7th in a series of ASI Summer Schools at Marktoberdorf, these lectures concentrated on distributed systems. Already during the previous Summer School s at Marktoberdorf aspects of di stributed systems were important periodical topics. The rising interest in distributed systems, their design and implementation led to a considerable amount of research in this area. This is impressively demonstrated by the broad spectrum of the topics of the papers in this vol ume, although they are far from being comprehensive for the work done in the area of distributed systems. Distributed systems are extraordinarily complex and allow many distinct viewpoints. Therefore the literature on distributed systems sometimes may look rather confusing to people not working in the field. Nevertheless there is no reason for resignation: the Summer School was able to show considerable convergence in ideas, approaches and concepts for distributed systems.