6015

6015

پالايش و تحليل رفتاري مدل هاي مستقل از سكو

دكتري

مهندسي كامپيوتر - نرم افزار

اسفند 1387

اسفند 1387

رحماني

امروزه، يكي از فرايندهاي مهم در توليد نرمافزار پالايش مدل است. اما نكته مهم در اين فرايند، پالايش خودكار اين مدلهاست، چرا كه توليد غير مكانيزه آنها، ممكن است همراه با خطا بوده و يا حتي امكان پذير نباشد. همچنين، اطمينان از صحت مدلهايي كه در فرايند پالايش توليد ميشوند، به خصوص مدل اوليهاي كه مبناي پالايش است، بسيار مهم است. وجود خطا به ويژه در سيستمهاي حساس باعث ضررهاي جاني و مالي ميشود. براي توليد خودكار نرم افزار و همچنين اطمينان از صحت آن، استفاده از روشها و زبانهاي صوري براي بيان مدلها ضروري ميباشد. لذا روش ارائه شده در اين رساله نيز صوري بوده و مبتني بر سيستمهاي تبديل گراف ميباشد. در اين رساله، با استفاده از سيستمهاي تبديل گراف، روش مناسبي براي پالايش خودكار مدلهاي مستقل از سكو، به منظور توليد مدلهاي وابسته به معماري سرويسگرا، ارائه دادهايم. در اين روش، ابتدا يك چارچوب مناسب، به صورت يك الگو، براي هر سطح از انتزاع در نظر گرفتهايم. اين چارچوب شامل فرامدل سيستم است كه در قالب گراف نوع، مدل شده است، بعلاوهي خصوصيات رفتاري اجزاء و قطعات سيستم كه شامل مكانيزمهاي ارتباطي ميان قطعات و پيكربندي- هاي سيستم است. سپس وضعيت سيستم، در قالب يك گراف ميزبان مدل ميشود و اين مدل، بر اساس روش ارائه شده، به صورت خودكار پالايش ميشود، تا در نهايت، مدلي كه داراي جزئيات معماري سرويسگرا است، بدست آيد. در ادامه، صحت روش ارائه شده را، بر اساس خصوصيات صوري روشهاي تبديل گراف، بررسي و اثبات نموده ايم. در ادامه، براي درستييابي مدلهاي بدست آمده و با توجه به اينكه روشهاي موجود براي درستييابي سيستمهاي تبديل گراف، كارايي لازم را ندارند، با استفاده از تكنيك وارسي مدل، چارچوبي طراحي كرده ايم تا توسط آن، بتوان مدلهاي بدست آمده را بررسي كرد و از صحت آنها مطمئن شد. نتايج آزمايشات نشان مي دهد كه روش ارائه شده در مقايسه با روشهاي موجود، داراي قابليت مناسبتري است. سپس، با استفاده از تكنيك ارائه شده براي وارسي سيستم- هاي تبديل گراف، چگونگي تحليل رفتارهاي مختلف در قالب سناريوهايي كه به صورت ويژگيهاي متفاوت (مانند ويژگي دسترس پذيري) ارائه شده اند را بيان كرده ايم. كلمات كليدي: پالايش خودكار مدل، تحليل رفتاري، وارسي مدل، درستييابي و اعتبار سنجي.