موضوع فارسی :معناشناسی رسمی برای کیفیت خدمات
زبان قرارداد
موضوع انگلیسی :A Formal Semantics for a Quality of Service
Contract Language
تعداد صفحه :18
فرمت فایل :PDF
سال انتشار :2009
زبان مقاله : انگلیسی
منافع کنونی در زمینه توسعه سیستم شامل جنبه های غیر عملکردی از یک نرم افزار و
کیفیت خدمات (QoS) آن را فراهم می کند. در ویدئو در خواست نرم افزار، برای مثال، خواص مانند
تاخیر، پهنای باند و استفاده از پردازنده ها به منظور نظارت به شناسایی اگر آنها در محدوده قابل قبول
محدودیت. در روش ما، نیازهای غیر کارکردی توسط قرارداد است. مشخص قرارداد
تغییرات قابل قبول در دسترس بودن این خواص و چه تعویض خدمات را می توان مذاکره
برای حفظ کیفیت سرویس از نرم افزار در محدوده قابل قبول است. در این مقاله ما به یک عملیاتی
معناشناسی برای QoS قرارداد و گزارش اجرای آن در ابزار اولیه که به ما اجازه اجرا و
تجزیه و تحلیل قرارداد کیفیت سرویس. ابزار های QoS، نمونه اولیه ما، تبدیل توصیف های QoS قرارداد را به مدولار
معناشناسی ساختاری عملیاتی (MSOS) مشخصات. مشخصات MSOS اجرایی و تحلیل هستند
در ماود MSOS ابزار است، که با استفاده از بازنویسی کارآمد برای اجرای، جستجو و بررسی مدل MSOS
مشخصات. ما نمونه این ابزار چگونه QoS را می توان با تجزیه و تحلیل یک ویدیو در نرم افزار تقاضا استفاده
در برابر داده های واقعی است.