ارائه دهنده : فرنوش گلشن استاد راهنما: دکتر عبدالله زاده بهمن 87

ارائه روشي براي پيگيري تغييرات ويژگي‌هاي کيفي در نرم‌افزارهايي با معماري سرويس‌گرا ارائه دهنده : فرنوش گلشن استاد راهنما: دکتر عبدالله زاده بهمن 87 آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

فهرست مطالب • تعريف مسئله • نگاهي بر تحقيقات مرتبط • راهکار پيشنهادي • مورد مطالعاتي • نتيجه‌گيري • مراجع آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

تعريف مسئله

معماري سرويس‌گرا يک رويکرد معمارگونه براي توليد سيستم‌ها يا نرم‌افزارهايي است که ازسرويس‌هاي مختلف تشکيل شده يا استفاده مي‌برند. آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

پويايي معماري سرويس‌گرا Service B Service A Service C Service D Service I Core Service E Service H Service G Service F آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

کيفيت در معماري سرويس‌گرا • ساختار ترکيبي • توزيع‌شدگي • ناهمگوني • پويايي آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

کيفيت عمومي زمان اجرا روش خودکار معماري سرويس‌گرا تعريف مسئله هدف اصلي پروژه، ارائه روش يا تکنيکي خودکار است که با استفاده از آن بتوان هم‌زمان با اجراي نرم‌افزار سرويس‌گرا، برآوردي از وضعيت عمومي کيفيت سيستم در دست داشت. آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

نگاهي بر تحقيقات مرتبط

دسته‌بندي تحقيقات مرتبط آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

تحقيقات مشابه آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

راهکار پيشنهادي

راهکار پيشنهادي • مدل‌سازي معماري سرويس‌گرا در سيستم دگرديسي گراف • مدل‌سازي جنبه‌هاي ايستا • مدل‌سازي جنبه‌هاي پويا • مدل‌سازي کيفيت در سيستم دگرديسي گراف • ارائه روش سنجش کيفيت عمومي معماري سرويس‌گرا • مدل‌سازي تغييرات ويژگي‌هاي کيفي آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

مباني و تعاريف سيستم دگرديسي گراف • گراف يک گراف شامل مجموعه‌اي از راس‌هاي V و مجموعه‌اي از يال‌هاي E است به نحوي‌که هر يال e از Eيک راس مبدا S(e) و يک راس مقصد T(e) از مجموعه V خواهد داشت. • Typed Graphs • Instance Graphs آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

مباني و تعاريف سيستم دگرديسي گراف تناظر حفظ ساختارStructure-Preservation Mapping آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

مباني و تعاريف سيستم دگرديسي گراف • قواعد و تبديلات يک قاعده دگرديسي گرافشامل زوج گراف نمونه‌اي L و R است به‌طوري‌که تعريف‌شده باشد. • دگرديسي گراف يک دگرديسي گراف از حالت قبلي G به حالت بعدي H که با نمايش مي‌يابد، با يک همومورفيزم به شکل که رخداد (Occurrence) ناميده مي‌شود، صورت مي‌پذيرد، به‌طوري‌که: • و • و آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

دگرديسي گراف آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

چرا سيستم دگرديسي گراف • فرمال • عدم نياز به زبان‌هايspecification پيچيده • سهولت و قابليت شهودي و نموداري • پتانسيل مدل‌سازي مسائل کيفيت • قابليت تحليل و پيش‌بيني بر روي ساختارهاي گراف‌گونه • قابليت مدل‌سازي جنبه‌هاي پويا • قابليت کار با دياگرام‌هايUML • سوابق تحقيقاتي موفق در حل مسائل معماري سرويس‌گرا آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

مدل‌سازي معماري سرويس‌گرا • مدل ايستا • عناصر ساختاري مانند Componentها و Serviceها. • Service Specification هايي که براي توصيف سرويس‌ها و نيازمندي‌ها به‌کار مي‌روند. • پيغام‌ها براي مدل کردن ارتباطات. • مدل پويا • قواعد سيستم دگرديسي گراف آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

مدل‌سازي معماري سرويس‌گرا - بخش پويا قاعده sendConnectionRequest بيان شده در قالب مدل دگرديسي گراف. آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

مدل‌سازي معماري سرويس‌گرا - بخش پويا قاعده ConnectToService آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

مدل‌سازي معماري سرويس‌گرا - بخش پويا قاعده DisconnectFromService آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

مدل‌سازي کيفيت با UML Profile آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

چرا UML Profile • شهودي و سادگي • دانش استفاده • متداول بودن در توليد مستندات پروژه‌هاي نرم‌افزاري • گراف‌مانند بودن • قابليت تلفيق با سيستم دگرديسي گراف • سهولت تغيير و توسعه • سوابق تحقيقاتي موفق در مدل‌نمودن کيفيت آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

مدل‌سازي کيفيت در سيستم دگرديسي گراف- بخش ايستا آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

روش سنجش کيفيت عمومي معماري سرويس‌گرا آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

مدل‌سازي تغييرات ويژگي‌هاي کيفي آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

راهکار پيشنهادي 1. ابتدا فضاي مسئله، يعني مدل مرجع معماري سرويس‌گرا را در قالب سيستم دگرديسي گراف مدل‌سازي مي‌کنيم. • شامل جنبه‌هاي ايستا در قالب کلاس دياگرام‌ها • بخش‌هاي پويا در قالب قواعد دگرديسي • دو قاعده مهم اتصال به سرويس و قطع از آن 2. در مرحله بعد، UML Profile اي براي مدل‌سازي مجموعه ويژگي‌هاي کيفي مورد نظر انتخاب يا ارائه مي‌کنيم. 3. ويژگي‌هاي کيفي مدل‌شده را به مدل ايستاي معماري سرويس‌گرا اضافه مي‌کنيم. 4. براي مدل‌سازي جنبه‌هاي متغير ويژگي‌هاي کيفي، ابتدا بايد روشي براي سنجش کيفيت کل از روي کيفيت اجزا و کمي‌سازي تغييرات داشته باشيم. 5. بر اساس روش مورد نظر براي برآورد ويژگي‌هاي کيفي،‌ دو قاعده مطرح در مدل را به‌گونه‌اي تغيير مي‌دهيم تا تغييرات ويژگي‌هاي کيفي را نيز بر اساس توابع تعريف‌شده پشتيباني کنند. آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

مورد مطالعاتي

مسئله مديريت زنجيره تأمين آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

سناريوي مسئله مديريت زنجيره تأمين آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

نتيجه‌گيري

دستاوردهاي پروژه • ارائه روش مدل‌سازي ويژگي‌هاي کيفي در قالب مدل فرمال سيستم دگرديسي گراف. • ارائه يک UML Profile نمونه براي تعريف ويژگي‌هاي کيفي در معماري سرويس‌گرا. • ارائه توابع برآورد کيفيت عمومي سيستم سرويس‌گرا با توجه به کيفيات اجزاي آن. • ارائه روشي براي پيگيري تغييرات ويژگي‌هاي کيفي در معماري سرويس‌گرا. • ارائه کاربردهاي توسعه‌يافته روش ارائه‌شده در حل مسائل ديگر. • تکميل کار Baresi و Heckel از نظر افزودن جنبه‌هاي کيفي به اين دو روش. آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

کاربردهاي روش ارائه‌شده • مديريت کيفيت در معماري سرويس‌گرا • تجهيز مؤلفه انتخاب‌گر سرويس • پيش‌بيني و تصميم‌گيري براي انتخاب سرويس • پيش‌بيني و جلوگيري از وقوع پيکره‌بندي‌هاي مخرب آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

مقالات ارائه‌شده • F. Golshan, A. Abdollahzadeh, “Towards A New Approach for Tracing Quality Attributes in Service Oriented Architecture” Submitted in The eighth International Conference on Software Composition (SC 2009), Switzerland, 2009. • ف. گلشن و ا. عبدالله‌زاده، “اندازه‌گيري کيفيت در معماري سرويس‌گرا“. پذيرفته‌شده در چهاردهمين کنفرانس ملي انجمن کامپيوتر ايران، تهران، 1388. آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

محورهاي گسترش و تحقيقات آينده • ارائه مدل پيش‌بيني وضعيت معماري با استفاده از راهکار ارائه‌شده. • تکميل راهکار با ساير روش‌هاي مطرح در بحث کنترل کيفيت و ارائه مدل کنترل کيفيت معماري سرويس‌گرا. • ارائه يک UML Profile کامل از ويژگي‌هاي کيفي مهم در معماري سرويس‌گرا. • بهبود توابع سنجش کيفيت عمومي براي محاسبه با دقت بالاتر. • پياده‌سازي روش ارائه شده در مؤلفه انتخاب‌گر سرويس. آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

مراجع

مراجع - کتاب‌ها و پايان‌نامه‌ها [1] Erl, Thomas. “Service-Oriented Architecture (SOA): Concepts, Technology, and Design”, Prentice Hall PTR, 2005. [2] L. Bass, P. Clements, and R. Kazman. “Software Architecture in Practice”. Addison Wesley, Reading, Mass., 1998. [3] O'Regan, Gerard. “Mathematical approaches to software quality”. Springer , 2006. [4] H. Ehrig and G. Engels and H.-J. Kreowski and G. Rozenberg, editors. “Handbook on Graph Grammars and Computing by Graph Transformation”, volume 1, World Scientific, 1997. [5] Abdul Carimo, Rossana. “Evaluation of UML Profile for Quality of Service from the User Perspective”, Master Thesis in Software Engineering, School of Engineering, Blekinge Institute of Technology, Sweden, August 2006. آزمايشگاه سيستم‌هاي هوشمند www.ceit.aut.ac.ir/islab

ارائه دهنده : فرنوش گلشن استاد راهنما: دکتر عبدالله زاده بهمن 87

ارائه دهنده : فرنوش گلشن استاد راهنما: دکتر عبدالله زاده بهمن 87

Presentation Transcript