Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

کنفرانس بین المللی مشترک IFIP TC6 WG 6.1 در تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، FORTE 2002، امسال در دانشگاه رایس، هیوستون، تگزاس، در 11 تا 14 نوامبر برگزار شد. این کنفرانس سالانه انجمنی را برای محققان و دست اندرکاران دانشگاه ها و صنعت فراهم می کند تا با فناوری ها در زمینه های مشخصات، آزمایش، و راستی آزمایی سیستم های توزیع شده و پروتکل های ارتباطی آشنا شوند و پیشرفت کنند. موضوعات اصلی عبارتند از: – مهندسی سیستم و پروتکل مبتنی بر FDT. - مبانی معنایی - الحاقات FDT. - رویکردهای رسمی به سیستم های شی گرا همزمان/توزیع شده. - جنبه های زمان واقعی و احتمال. - مدل سازی و تحلیل عملکرد - مدل سازی و تحلیل کیفیت خدمات. - تأیید و اعتبار سنجی. - روابط بین مشخصات غیر رسمی و رسمی. - پیاده سازی پروتکل مبتنی بر FDT. – ابزارهای نرم افزاری و محیط های پشتیبانی - کاربرد FDT برای سیستم های توزیع شده - تست پروتکل، از جمله تست انطباق، تست قابلیت همکاری، و تست عملکرد. - تولید، انتخاب و پوشش تست. - تجربه عملی و مطالعات موردی - پیامدهای استراتژیک و مالی شرکت استفاده از روش های رسمی. در مجموع 61 مقاله به FORTE 2002 ارسال شد و توسط اعضای کمیته برنامه و داوران دیگر بررسی شد. کمیته برنامه 22 مقاله معمولی، دو مقاله ابزار و دو پوستر را برای ارائه در کنفرانس انتخاب کرد. این برنامه همچنین شامل سه آموزش و گفتگوهای دعوت شده بود.

The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11–14. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of speci?cation, testing, and veri?cation of distributed systems and communication protocols. The main topics are: – FDT-based system and protocol engineering. – Semantical foundations. – Extensions of FDTs. – Formal approaches to concurrent/distributed object-oriented systems. – Real-time and probability aspects. – Performance modeling and analysis. – Quality of service modeling and analysis. – Veri?cation and validation. – Relations between informal and formal speci?cation. – FDT-based protocol implementation. – Software tools and support environments. – FDT application to distributed systems. – Protocol testing, including conformance testing, interoperability testing, and performance testing. – Test generation, selection, and coverage. – Practical experience and case studies. – Corporate strategic and ?nancial consequences of using formal methods. A total of 61 papers were submitted to FORTE 2002, and reviewed by m- bers of the program committee and additional reviewers. The program committee selected 22 regular papers, two tool papers, and two posters for presentation at the conference. The program also included three tutorials and ?ve invited talks.