آنچه در پاورپوینت ارزيابی کارائی نرم افزار با بهره گيری از مدلهای رسمی خواهید دید

شبکه های پتری

• تعريف رسمی شبکه های پتری : C=(P , T , I , O)

• نشانه گذاری شبکه های پتری (Petri net Marking)

نشانه µ گذاری شبکه پتری ، انتساب نشانه ها (Token) به مکان های شبکه پتری می باشد.

بردار µ=(µ1,…, µ2)    برای هر مکان در شبکه پتری ، تعداد مهره ها در آن مکان را نشان می دهد.

يک انتقال آتش (Fire) می کند اگر توانا (Enable)  شده باشد. انتقال در صورتی توانا می شود که هر مکان ورودی حداقل يک مهره داشته باشد. در ادامه انتقال بوسيله برداشتن يک مهره از هر مکان ورودی آن و سپس قرار دادن يک مهره در هر مکان خروجی آتش می کند.

شبکه پتری رنگی  Color Petri Net

در شبکه پتری رنگی نشانه ها دارای خصوصياتی می باشند که به آنها رنگ گفته می شود.

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

هر نشانه يک شيئ داده ای از يک نوع داده ای يا يک ساختار داده ای تعريف شده توسط کاربر است.

استخراج نيازمندي مبتنی بر سرويس

• در ديدگاه شی گرا سرويسها برای ما حائز اهميت می باشند و نه اطلاعاتی که مبادله می گردند .هر سرويس را در اصطلاح يک مورد کاربری می گوييم. جهت شناسائی سيستم می بايست مشخص نمود سيستم چه سرويسهايي را ارائه / دريافت می نمايد. بدين ترتيب نيازها شفافتر می گردند.

• چنانچه يک سيستم را در نظر بگيريم در داخل خود اجزائی خواهد داشت که با يکديگر همکاری نموده تا نهايتا سرويس به خارج از سيسنم داده شود .