۱۳۹۳ بهمن ۱۴, سه‌شنبه

روش های ارزیابی و صحه گذاری معماری نرم افزار

مهندسين نرمافزار براي توصيف جنبه هاي ايستا و پوياي معماري يك سيستم نرم افزاري از مدلهاي مختلف استفاده مي كنند. بخش ايستاي سيستم، توصيف كننده مولفه هاي نرم افزاري و ارتباط ميان آنها است و بخش پوياي آن نشاندهنده رفتار زمان اجراي سيستم است. براي توصيف ساختار و رفتـار سيسـتم از شـيوههـاي مدلسازي و علامتگذاريهاي مختلفي ميتوان استفاده نمود كه برخي از آنها زبان مدلسـازي يكپارچـه،  ،  ‫آتاماتا، جبرفرآيندي، شبكههاي پتري، نمودار ترتيب پيغام، نقشه مورد كاربري، زبان توصيف معماري و ماشین شیمیای انتزاعی CHAM می با شند. در ادامه، هر يك از اين علامتگذاريها بطور مختصر توضيح داده ميشود.

برای مشاهده ادامه مطلب روش های ارزیابی و صحه گذاری معماری نرم افزار کلیک کنید .

[tags Coloured Petri Nets, Design/CPN, UML, Activity Diagrams, Stochastic Petri Nets

هیچ نظری موجود نیست:

ارسال یک نظر