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

2. سير بحث

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

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

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

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

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

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

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

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

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

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

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

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

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

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

17. 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()
آزمايشگاه سيستهای هوشمند

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

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

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

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

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

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

24. قابليت اطمينان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}
آزمايشگاه سيستهای هوشمند

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

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

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

28. آزمايشگاه سيستهای هوشمند
مراجع
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
آزمايشگاه سيستهای هوشمند

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