Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

سومین کنفرانس بین المللی از سری کنفرانس های بین المللی در مورد روش های رسمی یکپارچه، IFM 2002، در تورکو، فنلاند، 15 تا 17 می 2002 برگزار شد. تورکو، واقع در گوشه جنوب غربی کشور، پایتخت سابق این کشور است. فنلاند ? کنفرانس مشترکا توسط دانشگاه ابو آکادمی و مرکز علوم کامپیوتر تورکو برگزار شد. موضوع IFM 1999 ادغام فرمالیسم های مبتنی بر دولت و رفتار بود. برای IFM 2000 این به گونه‌ای گسترش یافت که تمام جنبه‌های مربوط به ادغام روش‌های رسمی و نمادهای رسمی را شامل شود. یکی از اهداف IFM 2002 بررسی بیشتر این موضوعات بود. علاوه بر این، IFM 2002 روابط بین روش های رسمی و نمادهای گرافیکی، به ویژه زبان استاندارد صنعتی برای طراحی نرم افزار، TheUni?edModelingLanguage (UML) را بررسی کرد. مضامین IFM 2002 همان چیزی است که ما معتقدیم روند رو به رشدی در جوامع تحقیقاتی روش های رسمی و مهندسی نرم افزار است. در طول سه دهه گذشته، دانشمندان کامپیوتری با تمرکز بر جنبه‌های خاصی از رفتار یا تجزیه و تحلیل، مانند ساختارهای برنامه‌ای متوالی، ساختارهای برنامه همزمان، داده‌ها و ساختارهای اطلاعاتی، استدلال زمانی، اثبات قیاسی و بررسی مدل، منظری از فرمالیسم را توسعه دادند. در حال حاضر تلاش های زیادی در مورد ادغام این روش ها به منظور ترکیب مزیت های آنها و اطمینان از افزایش آنها با نیازهای صنعتی انجام می شود. نمادهای گرافیکی اکنون به طور گسترده در مهندسی نرم افزار مورد استفاده قرار می گیرند و اهمیت ارائه آنها با پایه های اساسی و قابلیت های تحلیل فرمال موجود در روش های رسمی به طور فزاینده ای وجود دارد.

The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for Computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to include all aspects pertaining to the integration of formal methods and formal notations. One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal methods and graphical notations, especially the industrialstandardlanguageforsoftwaredesign,theUni?edModelingLanguage (UML). The themes of IFM 2002 re?ect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computerscientistshavedevelopedarangeofformalismsfocusing on particular aspects of behavior or analysis, such as sequential program str- tures,concurrentprogramstructures,dataandinformationstructures,temporal reasoning, deductive proof, and model checking. Much e?ort is now being - voted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance ofprovidingthesewiththeformalunderpinningsandformalanalysiscapabilities found in formal methods.