Simulation is essential for understanding the performance and availability behavior of complex systems, but there are significant difficulties when trying to simulate systems with multiple components, which interact with asynchronous communication. A systematic process is needed, in order to cope with the complexity of asynchronous event processing and the failure semantics of the interacting components. We address this problem by introducing an approach that combines formal techniques for faithful representation of the complex system effects and a statistical analysis for simultaneously studying multiple simulation outcomes, in order to interpret them. Our process has been successfully applied to a synthetic workload for distributed transaction processing. We outline the steps followed towards generating a credible simulation model and subsequently we report and interpret the results of the applied statistical analysis. This serves as a proof of concept that the proposed simulation process can be also effective in other asynchronous system contexts, like for example distributed group communication systems, file systems and so on

چکیده

شبیه سازی را میتوان ابزاری ضروری برای درک رفتارِ کارائی و موجودیت در سیستم های پیچیده دانست، ولی در زمانی که قصد شبیه سازی سیستم هایی با مؤلفه های چندگانه-که با محاورات ناهمگام با هم تعامل دارند-را داریم، طبیعتاٌ با مشکلات قابل ملاحظه ای روبرو خواهیم شد. از این رو به منظور غلبه بر پیچیدگیِ پردازش رویداد های ناهمگام و معنایی های شکست در مؤلفه های تعامل، نیاز به یک پروسه ی سیستماتیک میباشد. در این مقاله قصد داریم با معرفی روشی که تکنیک های رسمی (برای نمایش تأثیرات سیستم پیچیده) را با تحلیل ایستا در جهت مطالعه ی نتایج شبیه سازی چندگانه ترکیب میکند، به این مسئله پاسخ دهیم با این هدف که بتوان نتایج شبیه سازی را تفسیر کرد. ما پروسه ی پیشنهادی خود را به صورت موفقیت آمیز بر روی یک بار کاری ترکیبی  برای پردازش تراکنش توزیع شده بکار گرفته ایم. مراحلی که به منظور ایجاد یک مدل شبیه سازی قابل اطمینان سپری شده است را نیز ارائه داده ایم و نتایج بدست آمده از تحلیل ایستای کاربردی را نیز گزارش داده ایم. این مقاله میتواند اثبات کننده ی این موضوع باشد که پروسه ی شبیه سازی پیشنهادی میتواند در سایر سیستم های ناهمگون، مانند سیستم های محاوره ی گروهی توزیع شده، سیستم های فایل و غیره بکار گرفته شود.

1-مقدمه

سیستمی با پردازش رویداد آسنکرون، از مؤلفه هایی تشکیل شده که در آن، این مؤلفه ها با مبادله ی پیام هایی که از مرتبه ی ارسال آنها تحویل داده نمیشوند، با هم ارتباط برقرار میدهند. مثال هایی از این سیستم ها، شامل سیستم های توزیع شده برای پردازش تراکنش، سیستم های فایل، سرویس های داده ای،سرویس های محاوره ی گروهی و غیره میباشد. دو منبع پیچیدگی در مشخصه ، طراحی و پیاده سازی این سیستم ها وجود دارد…