عنوان پایان‌نامه
تحلیل و مدل سازی جبری خدمات وب
- رشته تحصیلی
- مهندسی کامپیوتر -نرم افزار
- مقطع تحصیلی
- کارشناسی ارشد
- محل دفاع
- کتابخانه مرکزی پردیس 2 فنی شماره ثبت: E 2522;کتابخانه مرکزی -تالار اطلاع رسانی شماره ثبت: 64747
- تاریخ دفاع
- ۲۰ خرداد ۱۳۹۳
- دانشجو
- محمد اصغریان سالکویه
- استاد راهنما
- فاطمه قاسمی اصفهانی
- چکیده
- خدمات وب، سیستم‌های بلادرنگ توزیع شده با امکان ارسال پیغام غیر هم‌گام در داخل شبکه هستند. ما از تئوری ماشین برای مشخص کردن رفتار تعاملی خدمات وب و نشان دادن قابلیت زمان‌بندی نرم و سازگاری آن استفاده می‌کنیم. رفتار تعاملی خدمات وب بلادرنگ، در سطح انتزاعی، نحوه‌ی ترتیب تعاملات، به‌منظور برآورده ساختن یک درخواست ملزم به زمان را نشان می‌دهد. نیاز زمانی درخواست‌ها در خدمات وب از نوع بلادرنگ سخت نبوده و تحمل تاخیر را در تعدادی از درخواست‌ها دارد. تعداد گذر از مهلت زمانی قابل تحمل برای پردازش درخواست‌ها را می‌توان با احتمالی نشان داد. ما به کمک ماشین زمان‌دار، خدمات وب و سیاست زمان‌بندی به منظور پردازش فرآیندها را مدل کردیم. هر خدمت وب بر مبنای رفتار تعاملی خود، در ابتدا از لحاظ رفتار درست خروجی مورد نظر و همچنین اطمینان از پردازش درخواست بر مبنای مهلت زمانی و احتمال پاسخ‌دهی، مورد بررسی قرار می‌گیرد. این بررسی در ابزار اوپال انجام می‌پذیرد. روش ما بر مبنای طول صف محدود و همچنین بکارگیری سیاست حذف پیغام در شرایط گذر از طول صف، تصمیم‌پذیر می‌باشد. چندین خدمت وب قابل ترکیب هستند، در صورتی که با هم سازگار باشند، به عبارت دیگر اگر بر مبنای الگوی رفتار تعاملی هر یک استفاده گردند. به منظور بررسی سازگاری، ما پایشی را بر مبنای ماشین زمان‌دار ورودی/خروجی، با بکارگیری مهلت زمانی و احتمال پاسخ‌دهی تعریف کردیم. بر اساس این ساختار، ما ترکیب و سازگاری خدمات وب بلادرنگ هم‌روند مورد بررسی قرار داده و آن را برای تحلیل قابلیت زمان‌بندی ترکیب خدمات وب مورد استفاده قرار دادیم
- Abstract
- Web services integrate distributed real-time asynchronous service components over network into cooperative systems. We apply automata theory to specify behavioral interfaces of web services and show how to check soft schedulability and compatibility of real-time asynchronous web services. The behavioral interfaces of real time web services abstractly specify how they are used within a composite web service by defining the order and timing of services that a web service may request or provide. The timing requirements on web services are not usually hard, and they can tolerate delays to some extent. This tolerance is quantified by the probability a deadline can be missed. We model web services using timed automata and provide each web service with a context-specific scheduling policy which handles its request queue. Each web service is checked against its behavioral interface; first, to guarantee its correct output behavior, and second to make sure every request it may receive is processed within the designated deadline with high probability (soft schedulability analysis). This analysis is automated using the UPPAAL model checker. Our approach is decidable by defining a bound on the message queue and applying a dropping policy to maintain the queue finite. Multiple web services can be composed if they are compatible, i.e. if they respect the expected use patterns given in the behavioral interfaces of each other. To check compatibility, we define refinement of timed automata with inputs and outputs, while deadlines and probabilities are taken into the account. Within this framework, we study composition and compatibility of real-time concurrent web services, and apply it in the context of compositional schedulability analysis of composite web services.
