پاورپوینت کامل درستی یابی سیستم های واکنشی ۳۲ اسلاید در PowerPoint

توجه : این فایل به صورت فایل power point (پاور پوینت) ارائه میگردد

 پاورپوینت کامل درستی یابی سیستم های واکنشی ۳۲ اسلاید در PowerPoint دارای ۳۲ اسلاید می باشد و دارای تنظیمات کامل در PowerPoint می باشد و آماده ارائه یا چاپ است

شما با استفاده ازاین پاورپوینت میتوانید یک ارائه بسیارعالی و با شکوهی داشته باشید و همه حاضرین با اشتیاق به مطالب شما گوش خواهند داد.

لطفا نگران مطالب داخل پاورپوینت نباشید، مطالب داخل اسلاید ها بسیار ساده و قابل درک برای شما می باشد، ما عالی بودن این فایل رو تضمین می کنیم.

توجه : در صورت  مشاهده  بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل می باشد و در فایل اصلی پاورپوینت کامل درستی یابی سیستم های واکنشی ۳۲ اسلاید در PowerPoint،به هیچ وجه بهم ریختگی وجود ندارد

بخشی از مطالب داخلی اسلاید ها

پاورپوینت کامل درستی یابی سیستم های واکنشی ۳۲ اسلاید در PowerPoint

اسلاید ۴: real applications نگاه کلی به زبان Rebeca خلاصه ای از جزئیات : Rebeca مانند Actor دارای اشیاء فعال مستقل، تبادل ناهمگام پیام، تغییر پویای پیکر بندی و بافر های نا محدود برای پیامهای دریافتی است،اما در این مدل ریسمانهای متعدد همروند درون یک شیء فعال وجود ندارند. ساده سازی در Rebeca : به منظور کاهش پیچیدگی فرآیند درستی یابی، از امکان ایجاد پویای یک شیء فعال و تغییر هم بندی در زمان اجرا، در هنگام ارائه روشهای درستی یابی صرف نظر شده است.

اسلاید ۵: real applications نگاه کلی به زبان RebecaRebec : از مهم ترین مشخصه های اشیاء در این مدل، واکنشی بودن آنها است، به همین دلیل هر یک از اشیاء در این مدل Rebec نامیده می شود و مدل ارائه شده Rebeca نامگذاری شده است. ‍Class : در مدل ربکار امکان تعریف کلاس( رده) وجود دارد که باعث افزایش قابلیت استفاده مجدد( Reuse ) در سطح مدل و همچنین هنگام درستی یابی می شود. Message : اجرای عملیات در سیستم توسط تبادل پیام و اجرای روالهای کارگزار انجام می پذیرد. پیامهای رسیده به هر ربک در یک بافر نامحدود به نام صندوق پستی به صورت صف ذخیره می شوند.

اسلاید ۶: real applications :Method هر پیام دریافتی دارای یک روال متناظر است که رسیدن پیغام به ابتدای صف موجب فراخوانی آن می گردد و فراخوانی هر روال موجب برداشته شدن پیغام مربوطه از ابتدای صف می شود. :Component یک موئلفه از تعدادی Rebec تشکیل شده است که به صورت همزمان اجرا می شوند و با یکدیگر و همچنین ربک های دیگر غیر حاضر در آن مؤلفه تعامل دارند. ربک های موجود در یک مؤلفه ربک های داخلی و ربک های دیگر ربک های خارجی نامیده می شوند.پیغامها نیز با توجه به فرستنده آنها به دو دسته داخلی و خارجی تقسیم می شوند. نگاه کلی به زبان Rebeca

اسلاید ۷: real applications در مدل سازی یک مؤلفه، پیغامهای خارجی محیط مؤلفه را شبیه سازی می کنند. از آنجایی که محیط قابل پیش بینی نیست این پیغامها همیشه حاظر در نظر گرفته می شوند. پیغامهای داخلی در صندوق پستی مؤلفه مقصد که مانند صف عمل می کند، قرار می گیرند و توسط ربک مورد نظر سرویس داده می شوند. اجرای روالها به طور موازی با یکدیگر و هر یک با یک رسمان اجرائی، ادامه می یابد. این اجرا شامل برداشت پیغام از ابتدای صف و فراخوانی روال متناظر آن است. هر گاه ربک دارای پیغام منتظر در صف نباشد، در حالت بیکار باقی می ماند. بخشی از محاسبات و عدم قطعیت موجود در سیستم به وسیله نا همگامی تبادل پیغامها مدل می شود. اجرای متد یک عمل اتمیک است که با رسیدن یک پیغام حاصل می شود و نتیجه آن یک گذار به شمار نمی آید. نگاه کلی به زبان Rebeca

اسلاید ۸: real applications :Known Rebec هر ربک دارای فهرستی از ربک های آشنا است که فرستاده پیغام تنها به آنها امکان دارد.متد های ربک های آشنا که امکان صدا کردن آنها وجود دارد نیز مشخص می باشد. Initial Method: هر ربک دارای یک روال برای تنظیم مقادیر اولیه است. به هنگام شروع کار سیستم، این روال ها به صورت ضمنی فراخوانی می شوند. Tools : برای درستی یابی کدهای نوشته شده به زبان ربکا یک ابزار خودکار تولید شده است که امکان وارد کردن کد ربکا؛ بررسی نحو آن و آزمون مدل را در اختیار کاربر قرار می دهد.نگاه کلی به زبان Rebeca

اسلاید ۹: real applications برای درستی یابی یک مدل P، بایستی خصوصیات مورد نظر آن به صورت توصیف نوشت. مدل P رفتارهای ممکن سیستم را مشخص می کند و توصیف رفتار دلخواه سیستم است. بررسی و اثبات برآروده شدن خواص دلخواه توسط مدل، وظیفه تحلیل صوری است. روش تحلیل می تواند به دو صورت الگوریتمیک ( وارسی الگو- Model cheking) و یا استنتاجی باشد. در وارسی الگو یک شبیه سازی کامل از مدل روی تمام حالتهای ممکن انجام می شود. این تحلیل باید به وسیله یک ابزار نرمافزاری انجام گیرد. در روش استنتاجی، مسئله تحلیل به صورت یک قضیه در یک سیستم اثبات ریاضی مطرح می شود و طراحی سعی دارد از یک اثبات کننده خودکار قضیه، اثبات مورد نظر را انجام دهد.روشهای درستی یابی

اسلاید ۱۰: real applications بیان خصوصیات مورد نظر در درستی یابی، نیازمند روشی ریاضی است. روشهای بیان خصوصیات: منطق زمانی روشهای میتنی بر نظریه ماشین ها در ربکا به طور خاص از منطق زمانی