Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

این جلد شامل مجموعه مقالات دومین کارگاه مشترک PAPM-PROBMIV است که در دانشگاه کپنهاگ، دانمارک، 25 تا 26 ژوئیه، 2002 به عنوان بخشی از کنفرانس منطق فدرال (FLoC 2002) برگزار شد. کارگاه PAPM-PROBMIV از ترکیب دو کارگاه نتیجه می‌گیرد: PAPM (جبرهای فرآیند و مدل‌سازی عملکرد) و PROBMIV (روش‌های احتمالی در تأیید). هدف این کارگاه مشترک گرد هم آوردن محققانی است که در طیف وسیعی از تکنیک‌ها برای مدل‌سازی، مشخصات، تحلیل و تأیید سیستم‌های احتمالی کار می‌کنند. احتمال به طور گسترده در طراحی و تجزیه و تحلیل سیستم‌های نرم‌افزاری و سخت‌افزاری، به‌عنوان وسیله‌ای برای استخراج الگوریتم‌های کارآمد (مثلاً تصادفی‌سازی)، به‌عنوان مدلی برای رفتار غیرقابل اعتماد یا غیرقابل پیش‌بینی (مانند مطالعه سیستم‌های مقاوم به خطا و شبکه‌های کامپیوتری) استفاده می‌شود. ، و به عنوان ابزاری برای مطالعه عملکرد و - ویژگی های pendability. موضوعات این کارگاه شامل مشخصات، عناصر و معناشناسی سیستم‌های احتمالی، تکنیک‌های تحلیل و تأیید، روش‌های احتمالی برای تأیید سیستم‌های غیراحتمالی و ابزارها و مطالعات موردی است. اولین کارگاه PAPM در سال 1993 در ادینبورگ برگزار شد. موارد زیر در Regensberg (1994)، ادینبورگ (1995)، تورین (1996)، Enschede (1997)، نیس (1998)، ساراگوسا (1999)، و ژنو (2000) برگزار شد. اولین کارگاه PROBMIV در ایندیاناپولیس، ایندیانا (1998) برگزار شد. مورد بعدی در آیندهوون (1999) اتفاق افتاد. در سال 2000، PROBMIV با سمینار داگستول در مورد روش‌های احتمالی در تأیید جایگزین شد.

This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e?cient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to study performance and - pendability properties. The topics of the workshop include speci?cation, m- els, and semantics of probabilistic systems, analysis and veri?cation techniques, probabilistic methods for the veri?cation of non-probabilistic systems, and tools and case studies. The ?rst PAPM workshop was held in Edinburgh in 1993; the following ones were held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), Nice (1998), Zaragoza (1999), and Geneva (2000). The ?rst PROBMIV workshop was held in Indianapolis, Indiana (1998); the next one took place in Eindhoven (1999). In 2000, PROBMIV was replaced by a Dagstuhl seminar on Probabilistic Methods in Veri?cation.