Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy

ام بیستمین سالگرد IFIP WG6. 1 کنفرانس بین المللی مشترک در مورد Fonna! روش‌های سیستم‌های توزیع‌شده و پروتکل‌های ارتباطی (FORTE XIII / PSTV XX) در نسخه سال 2000 کنفرانس، که برای اولین بار در ایتالیا، در 10 تا 13 اکتبر 2000 در پیزا برگزار شد، جشن گرفته شد. در طراحی زیرنویس برای این نسخه ویژه --'Fonna! روش‌های پیاده‌سازی تحت آزمایش - ما می‌خواستیم دو مفهوم اصلی را که به نظر ما در مطالب این کتاب منعکس شده است، منتقل کنیم. اول، مراحل اولیه و پیشگام در توسعه روش‌های رسمی (FM)، با تضادهای آن‌ها بین نگرش‌های بشارتی و آگنوستیک، با کاربردهای بیش از حد خوش‌بینانه آن‌ها برای نمونه‌های اسباب‌بازی و دیدگاه‌های بیش از حد شکاک در مورد مقیاس‌پذیری در موارد صنعتی، با تصورات غلط و افسانه‌های آنها. . . . ، همه اینها اساساً تمام شده است. بسیاری از FM ها با موفقیت به بلوغ خود رسیده اند و در عمل توسعه ملموس "پیاده سازی" شده اند: تعدادی از مقالات در این کتاب در مورد تجربیات موفق در تعیین و تأیید سیستم ها و پروتکل های توزیع شده واقعی گزارش می دهند. دوم، یکی از چندین افسانه در مورد FM - این واقعیت که پذیرش آنها در نهایت نیاز به آزمایش را از بین می برد - هنوز کاملاً با واقعیت شدن فاصله دارد، و دوباره، این کتاب نشان می دهد که تئوری و کاربردهای تست هنوز به طور قابل ملاحظه ای سالم هستند. در مجموع 63 مقاله به FORTEIPSTV 2000 ارسال شده است که از بین آنها کمیته برنامه 22 مقاله را برای ارائه در کنفرانس و گنجاندن در مجموعه مقالات انتخاب کرده است.

th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --'Fonna! Methods­ Implementation Under Test' --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM's), with their conflicts between evangelistic and agnostic attitudes, with their over­ optimistic applications to toy examples and over-skeptical views about scalability to industrial cases, with their misconceptions and myths . . . , all this is essentially over. Many FM's have successfully reached their maturity, having been 'implemented' into concrete development practice: a number of papers in this book report about successful experiences in specifYing and verifYing real distributed systems and protocols. Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy. A total of 63 papers have been submitted to FORTEIPSTV 2000, out of which the Programme Committee has selected 22 for presentation at the Conference and inclusion in the Proceedings.