دانشگاه صنعتي اميرکبير به نام خدا دانشگاه صنعتي اميرکبير دانشکده مهندسي کامپيوتروفناوري اطلاعات آزمايشگاه سيستمهای هوشمند ارائه يک روش جديد برای مدلسازی معماری سيستمهای نرم افزاری دانشجو : پژمان صالحی استاد راهنما : دکتر احمد عبدالله زاده

سير بحث

نرم افزار مستندات توليد شده در نرم افزار فاصله بين زبان طبيعی تا کد قابل اجرا را پوشش می دهند و هر چه دقيق تر تهيه گردند ابهامات زبان طبيعی را بيشتر کاهش می دهند. به صورت کلی نرم افزار مجموعه ای است از کدهای قابل اجرا + مستندات مرتبط با آن

جايگاه معماری در مهندسی نرم افزار رشد تصاعدی نيازها دردنيای نرم افزار وجود افراد با تخصصهای مختلف عدم پاسخگويي روشهای سنتی در توليد نرم افزار بالا رفتن پيچيدگی فرآيند توليد و محصول نهايي(نرم افزار) ضرورت اسفاده از معماری در مهندسی نرم افزار آزمايشگاه سيستهای هوشمند

رابطه معماری با کيفيت سيستم هدف اصلی از ايجاد و بهره برداری از امکانات معماری نرم افزار در درجه اول افزايش کيفيت نرم افزار توليد شده است آزمايشگاه سيستهای هوشمند

عدم رضايتمندی کامل از ارضای ويژگی های امنيتی امنيت در نرم افزار امنيت يکی از ويژگی های کيفی سيستمهای نرم افزاری با مقياس بزرگ(که غالبا توزيع شده هستند)می باشد و در رده ويژگی های کيفی سيستمی دسته بندی می شود لحاظ کردن ويژگی های کيفی از ابتدای توليد نرم افزار اضافه کردن ويژگی های امنيتی توليد نرم افزار افزايش هزينه ها + عدم رضايتمندی کامل از ارضای ويژگی های امنيتی پشتيبانی معماری از امنيت

آزمايشگاه سيستهای هوشمند ضرورت حل مساله ضرورت استفاده از معماری در سيستمهای نرم افزاری اهميت امنيت در سيستمها به عنوان يک ويژگی کيفی تمرکز معماری بر ويژگی های کيفی اهميت مستند سازی معماری در ايجاد ارتباط بين ذينعفان اهميت UML 2.0 به عنوان يک استاندارد برای مدلسازی آزمايشگاه سيستهای هوشمند

گامهای پژوهش مطالعه روشهای مختلف در مستند سازی و بررسی نقاط ضعف و قوت هر کدام. مطالعه مدلسازی معماری در ارتباط با ويژگی های کيفی. بررسی روش کنترل دسترسی مبتنی بر نقش و نحوه بکارگيری آن در سطح معماری. بررسی ساختارهای مختلف معماری در رابطه با نوع ويژگی های کيفی مورد پشتيبانی هر يک. بررسی UML2.0 به عنوان زبان مدلسازی و استخراج نقاط ضعف آن در مدلسازی معماری. تجزيه ساختار مولفه و رابط به اجزای سازنده مدلسازی اجزاء با UML2.0

آزمايشگاه سيستهای هوشمند گامهای پژوهش بررسی معيارهای طبقه بندی ADLها بررسی ويژگی های يک مستند با کيفيت مشخص کردن ليست معيارهای ارزيابی برای يک زبان توصيف معماری مبتنی بر UML آزمايشگاه سيستهای هوشمند

آزمايشگاه سيستهای هوشمند روشهای مختلف توصيف استفاده از زبانهای توصيف رسمی(ADL) افزايش زمان توسعه نياز به تخصصهای خاص پيچيدگی مستندات افزايش هزينه توليد دقت بالا استفاده از زبان مدلسازی(UML) دقت کم قابليت خوانايي بالا وضوح زياد قابليت فهم بالا(استاندارد سازی) کاهش هزينه توليد آزمايشگاه سيستهای هوشمند

فرآيند گسترش يک زبان برای مدلسازی معماری با تاکيد بر ويژگی کيفی بررسی حساسيت سيستم خير بلی انتخاب UML سيستم حساس است انتخاب ADL يافتن ويژگی کيفی مورد تأکيد بررسی مکانيزمهای موجود در ارضاء ويژگی کيفی مورد نظر انتخاب ساختار مناسب بررسی زبانهای موجود آزمايشگاه سيستهای هوشمند بلی خير زبان از ويژگی حمايت می کند توسعه زبان

روش پيشنهادی برای مستند سازی معماری بوسيله UML2.0 با تاکيد بر امنيت ويژگی مورد تاکيد امنيت است. مکانيزم پيشنهادی RBAC است که دربسياری از سيستمهای توزيع شده برای کنترل دسترسی مورد استفاده قرار می گيرد. با توجه به اينکه امنيت يک ويژگی کيفی در حالت پويای سيستم است بهترين انتخاب ساختار مولفه و رابط است. زبان UML از port پشتيبانی می کند و برای مولفه نيز توصيه هايي دارد اما در مورد رابط مشکل اساسی دارد. آزمايشگاه سيستهای هوشمند

توسعه رابط برای استفاده در معماری استفاده از کلاس به جای رابط با در نظر گرفتن اين نکته که بايد مکانيزم کنترل دسترسی در رابط قرار بگيرد. کلاس می تواند توسط متدهای خود جنبه های رفتاری را نمايش دهد. مقادير کلاس می توانند شرايط دسترسی را مهيا کنند. آزمايشگاه سيستهای هوشمند

مکانيزم RBACدر کنترل دسترسی Users Roles Objects Role1 Role2 Role n … آزمايشگاه سيستهای هوشمند

مکانيزم RBACدر کنترل دسترسی (PA) Permission Assignment (UA) User Assignment OPs OBs Users Roles PRMs Session_roles Sessions آزمايشگاه سيستهای هوشمند

Secure-Connector آزمايشگاه سيستهای هوشمند <<meta-class>>

Secure-Connector آزمايشگاه سيستهای هوشمند <<Meta-class>> Users:set Roles-users:set Permission-roles:set Valid-permissions:set Class Context ScureConnector :: RoleToSubject(u : User) : RoleUser pre : Self. users->include(u) body : let FoundRoleUser : RoleUser = Self. roles-users->Select(rs | rs->first() = u) Context ScureConnector::PermissionToRole(rs:RoleSubject):PermissionRole pre:--empty body : let FoundPermissionRole : PermissionRole = Self.permission-roles->Select(pr | pr->first() = rs->first) Context ScureConnector :: Check(q : query) : Boolean pre: --empty body : result = (Self.PermissionRole->Select(pr | pr->isAt(2) = qeury.request ))->IsEmpty() آزمايشگاه سيستهای هوشمند

ارائه يک چارچوب برای مقايسه زبانهای مدلسازی معماری پارامترهاي طبقه بندي و ارزيابي تطابق مفهومي وضوح بصري کامل بودن پشتيباني آن توسط ابزار پشتيباني از ويژگيهاي کيفي قابليت تکامل تدريجي ارزيابی تک تک اجزاء معماری با پارامترها آزمايشگاه سيستهای هوشمند

ارزيابی مولفه پيشنهادی آزمايشگاه سيستهای هوشمند

آزمايشگاه سيستهای هوشمند ارزيابی رابط پيشنهادی آزمايشگاه سيستهای هوشمند

قابليت اطمينانGrid از ديد شبکه قابليت اطمينان MRST

قابليت اطمينانGrid از ديد شبکه قابليت اطمينان MRST محاسبه قابليت اطمينان تمام گره های داخلMRST حين اجرا محاسبه قابليت اطمينان تمام اتصالات داخلMRST حين اجرا محاسبه قابليت اطمينان گره ريشه محاسبه

قابليت اطمينانGrid از ديد شبکه قابليت اطمينان برنامه

قابليت اطمينانGrid ازديد شبکه قابليت اطمينان سيستم يک مثال: P1: {G1,G2,G3,L(1,3),L(2,3)} {45, 7.5, 22.5, 15,7.5} P2: {G1,G2,G3,L(1,2),L(1,3)} {50, 70, 30, 20, 30} {G1,G2,G3,L(1,2),L(1,3),L(2,3)} {95, 77.5, 52.5, 20, 45, 7.5} آزمايشگاه سيستهای هوشمند

قابليت اطمينانGridاز ديد شبکه قابليت اطمينان نرم افزارها ومنابع آزمايشگاه سيستهای هوشمند

آزمايشگاه سيستهای هوشمند نمونه ای ازنتايج آزمايشگاه سيستهای هوشمند

آزمايشگاه سيستهای هوشمند جمعبندی ونتيجه گيری اهميت QOS و به ويژه Reliability در Grid بررسی قابليت اطمينان در سطوح مختلف کامل نبودن تحقيقات در زمينه Reliability Grid آزمايشگاه سيستهای هوشمند

آزمايشگاه سيستهای هوشمند مراجع Computing System Reliability Models and Analysis Min Xie Yuan-Shun Dai and Kim-Leng Poh Availability Prediction and Modeling of High Availability OSCAR Cluster Chokchai Leangsuksun1, Lixin Shen Stephen L. Scott2 Dependability Prediction of High Availability OSCAR Cluster Server Chokchai Leangsuksun1, Lixin Shen Stephen L. Scott2 آزمايشگاه سيستهای هوشمند

با تشکراز توجه شما لحاظ کردن ويژگی های کيفی از ابتدای توليد نرم افزار پشتيبانی معماری از امنيت آزمايشگاه سيستهای هوشمند