هدف از این مقاله ارائه روشی برای تشخیص خودکار خطاهای موجود در سیستم‌های نرم‌افزاری با حداکثر دقت ممکن و حداقل نیاز به بررسی دستی کد برنامه است. راه کارهایی که تاکنون برای رسیدن به این هدف، ارائه شده‌اند سعی دارند با مقایسه اطلاعات زمان اجرای برنامهها در اجراهای موفق و ناموفق و در نقاط خاصی از برنامه که تعیینکننده نام دارند، نقاط مظنون به خطا را به برنامه نویس معرفی کنند. اما مشکل اصلی این است که تحلیل اطلاعات زمان اجرا در نقاط تعیینکننده بدون در نظر گرفتن وابستگیهای موجود بین تعیینکنندهها، منجر به عدم توانایی این روشها در کشف برخی از انواع خطاها خواهد شد. برای رفع این مشکلات در این مقاله راه کاری نوین بر مبنای تحلیل رفتارهای زمان اجرای برنامه ها در قالب مسیرهای اجرایی و با در نظر گرفتن تعاملات بین تعیینکنندهها، ارائه شدهاست. بدین منظور از یک روش تحلیل خوشهبندی به منظور تشخیص نزدیکترین اجراهای موفق و ناموفق جهت تعیین محل خطا، استفاده شدهاست. ارزیابی راهکار پیشنهادی بر روی مجموعهای از برنامه های واقعی، موفقیت روش پیشنهادی را در کشف دقیقتر خطاها نسبت به روش‌های پیشین نشان میدهد.

بهينه‏سازي پرس¬و¬جو در پايگاه داده¬هاي رابطه¬اي يك فرآيند پرهزينه مي‏باشد و تعداد جايگشت‏هاي مختلف عمليات پيوند براي يك پرس¬و¬جو، به‏ صورت نمائي با افزايش تعداد جداول سهيم در پرس¬و¬جو رشد مي‏كنند. تكنيكهاي فعلي بهينه‏سازي پرس¬و¬جو براي پشتيباني در حالاتي که تعداد جدول‏هاي پايگاه داده و تعداد سطرهاي هر جدول زياد باشند، نامناسب هستند از طرفي رمز موفقيت يك سيستم پايگاه داده كارا بودن مدل پرس‏و‏جوي آن مي‏باشد. لذا در اين مقاله روشي براي بهينه¬سازي اجراي پرس¬و-جو‏¬ها با تعداد جداول بالا پيشنهاد گرديده است. با توجه به افزايش روز افزون اهميت کاهش زمان اجراي طرح شبه بهينه در عمليات پيوند با تعداد جدولهاي بالا و حداقل سازي زمان اجراي الگوريتم در جهت يافتن طرح شبه بهينه و قرار نگرفتن طرح در بهينه‏هاي محلي، استفاده از الگوريتم¬هاي اکتشافي و کاراي نوين مورد توجه زيادي قرار گرفته است. بدين منظور دراين مقاله الگوريتم تعميم يافته بهينه‏سازي گسسته ذرات پيشنهاد گرديده و کارايي آن از طريق مقايسه با برخي الگوريتم¬هاي پيشين و با در نظر گرفتن چهار معيار زمان اجراي الگوريتم، زمان اجراي طرح، خطا و انحراف معيار، بررسي شده و نتايج حاصله نشان دهنده برتري اين روش خصوصا در تعداد بالاي جداول نسبت به الگوريتم هاي پيشين مي¬باشد.

سيستمهاي توصيه‌گر، با استفاده از ابزارهاي داده كاوي ميتوانند پيشنهادهاي مناسبي، براي انتخاب از بين حجم وسيعي از داده براي ما فراهم سازند. اكثر اين سيستمها بر اساس روش پالايش گروهي كار ميكنند. در اين روش به كمك معيارهاي شباهت، همسايه هاي مشابه براي يك فرد، انتخاب شده سپس بر اساس براورد نظرات آنها، پيشنهاد مورد نظر ارائه ميگردد. معيار شباهت تاثير بسيار زيادي بر عملكرد اينگونه سيستمها ميگذارد. انتخاب معيار مناسب يكي از چالشها در اين زمينه است. در اين مقاله، سيستمي پيشنهاد شده، كه بدون نياز به يافتن كاربران مشابه و به كمك نظرات افراد ديگر واعتمادي كه نسبت به آنها كسب كرده، ميتواند پيشنهادهاي مناسبي را ارائه دهد. در اين سيستم، از شبكه عصبي پس انتشار خطا، براي كشف روابط و اعتماد استفاده شده است. آزمايشها نشان ميدهد كه روش پيشنهادي كارايي را بالاتر برده است.

در این مقاله یک روش تشخیص جنسیت جدید با دقت دسته‌بندی و قابلیت اعتماد بالا ارایه شده است. در این روش از نوعی استخراج مشخصه بر اساس عملگر آنالیز بافت الگوی باینری محلی استفاده شده است. این تکنیک قادر است بدون تحمیل عوارض جانبی از جمله افزایش بیش از حد حالت‌های ممکن و محاسبات زیاد، با توسعه فضای همسایگی اطراف نقاط در هنگام استخراج اطلاعات، باعث بدست آمدن اطلاعات دقیق‌تری در مورد ساختارهای موجود در تصویر شود. این روش به علت سرعت بالای استخراج مشخصه، قابلیت به کارگیری در سیستم‌های بلادرنگ تشخیص جنسیت اشخاص را دارا است. نتایج بدست آمده از پیاده‌سازی روش پیشنهادی نشان‌دهنده دقت بالای این روش و برابر97.43% است

مديريت امنيت سيستم‌هاي اطلاعاتي و تحليل مخاطرات امنيتي اين سيستم‌ها در سطح گسترده‌اي مورد توجه پژوهشگران ‌است. دست¬يابي به معياري براي ارزيابي امنيت سيستم جهت بهبود عملكرد آن، بسيار مهم است. معيارهاي امنيتي امكان اولويت‌بندي مخاطراتي كه سيستم با آن‌ها مواجه است را فراهم مي‌كنند. دراين‌ميان تحليل آسيب‌پذيري‌ها به‌عنوان نقطه ورود به سيستم و كسب دسترسي‌هاي غيرمجاز توسط مهاجم اهميت ويژه‌اي دارد. در استاندارد CVSS (Common Vulnerability Scoring System) كه به‌منظور امتيازدهي آسيب‌پذيري‌ها ارئه شده، امتياز خسارت براي هر آسيب‌پذيري مستقل و مجزا مي‌باشد. در‌حاليكه اثر آسيب‌پذيري‌هاي موجود در يك سيستم برهم قابل چشم‌پوشي نيست. همچنين سوء استفاده از برخي آسيب‌پذيري‌ها، دسترسي‌هاي مشترك در سيستم ايجاد مي‌كنند و اثر مشترك بر سيستم دارند. بنابراين امتياز خسارت واقعي مجموعه‌اي از آسيب‌پذيري‌ها با جمع ساده امتياز خسارت‌هاي CVSS قابل محاسبه نمي‌باشد. در اين مقاله به‌منظور مشخص كردن اهميت آسيب‌پذيري‌هاي موجود در سيستم و اثر جمعي خسارت ناشي از سوء ‌استفاده از آن‌ها، مدلي ارائه شده‌است. اين مدل به بررسي خسارت آسيب‌پذيري‌ها با درنظر گرفتن دسترسي‌هاي كسب شده توسط مهاجم پس از سوء استفاده از آن‌ها پرداخته است. به‌اين‌ترتيب علاوه‌بر محاسبه خسارت جمعي مربوط به مجموعه‌اي از آسيب‌پذيري‌ها، خسارت‌هاي وارد بر ويژگي‌هاي امنيتي سيستم به‌صورت مجزا مشخص شده‌است.

مديريت ريسک در تمام دوره حيات نرم‏افزار نقش پررنگي در موفقيت پروژه¬ها ايفا مي¬کند. يکي از ضعف¬هايي که در مديريت ريسک¬ها سبب کاهش توجه مهندسين نرم¬افزار و متعاقباً کاهش نظارت بر ريسک¬ها مي‏شود، عدم وجود معيارهاي قابل اندازه-گيري است. ريسک¬هاي نرم‏افزاري نيز مانند هر عرصه ديگري که نيازمند ارزيابي هستند، بايد بر اساس کميت¬هاي عددي بيان شوند. در اين مقاله با مروري کلي بر مديريت ريسک¬ها و مطالعه طبقه‏بندي¬هاي موجود، همچنين با در نظر گرفتن متريک¬هايي که در کارهاي مشابه مطرح شده، متريک‏هايي ارائه مي¬شود. اين متريک¬ها با توجه به شناسايي معماري و روش¬هاي توسعه نرم¬افزار و هم چنين مشاهدات و تجارب بدست آمده از چند شرکت نرم¬افزاري در ايران ارائه مي¬شوند. جهت سهولت امر مديريت و همچين بکار بستن اين متريک¬ها در دنياي واقعي، يک طبقه¬بندي منطقي و ويژه بر روي آنها انجام مي¬شود. به کمک طبقه بندي ارائه شده، ¬مي¬توان مسئولين نظارت و کنترل متريک‏ها را در هر مرحله شناسايي کرده و در زمان صحيح مديريت ريسک را به درستي بکار بست.

IUI_B : واسط کاربری هوشمند مبتنی بر عامل برای نابینایان

درخت هاي پوشاي کمينه يکي از پر کاربردترين ها ساختمان داده ها در علوم هستند. در مسئله دو درخت پوشاي کمينه هدف پوشش دادن مجموعه نقاط با دو درخت جدا از هم است که مجموع طول اين دو درخت کمينه باشد. کاربرد اين مسئله در مواردي است که نياز به سرويس‌رساني به مجموعه اي از نقاطِ تقاضا توسط دو سرويس‌دهنده باشد و بخواهيم مجموع مسافت طي شده و يا طول شبکة ايجاد شده جهت ارائه سرويس را کمينه کنيم. اين مسئله مي‌تواند با محدوديت هاي مختلفي نيز بررسي شود. در اين مقاله ما ابتدا يک الگوريتم بهينه براي مسئله در حالت کلي ارائه مي‌دهيم و سپس به بررسي مسئله با محدوديت مساوي بودن تعداد گره هاي دو درخت مي‌پردازيم. در اين حالت براي مسئله دو الگوريتم مکاشفه‌اي و ژنتيک ارائه مي‌کنيم و به مقايسه نتايج آن‌ها با جواب هاي دقيق مسئله و با يکديگر مي‌پردازيم. نتايج مقايسه نشان دهنده آن است که الگوريتم ژنتيک ارائه شده مي‌تواند در زماني خوب و با دقتي مناسب به حل مسئله بپردازد.

عدم دقت ذاتي داده در بسياري از برنامه¬هاي کاربردي، لزوم مديريت عدم قطعيت را نشان مي¬دهد. از آنجا که مديريت عدم قطعيت در داخل برنامه¬هاي کاربردي پيچيده بوده علاوه بر اينکه کارآمد نيز نمي¬باشد، نياز به سيستمي است که بتواند داده¬هاي غيرقطعي را به طور مناسبي مديريت کند. رويکردهاي مختلفي در اين رابطه وجود دارد اما روش استانداري نياز است که به صورت کارآمدي تمامي روش¬هاي موجود را با يکديگر مقايسه کند. محک پيشنهادي ما به منظور ارزيابي عملکرد سيستم¬هاي مديريت جريان داده احتمالاتي (PDSMS) در مقايسه با يکديگر و همچنين پايگاه داده¬هاي احتمالاتي (PDB) طراحي شده است. محک PLR نسخه احتمالاتي محک Linear Road است که خصوصيات ترافيکي يک سيستم بزرگراه ساده را شبيه¬سازي مي-کند. در محک پيشنهادي با استفاده از تعريف عوارض متغير، ميزان تراکم بزرگراه¬ها مديريت مي¬شود در حالي¬که بيشترين تمرکز بر روي مفاهيم احتمالاتي است. در اين مقاله، بعد از مقدمه¬اي کوتاه در خصوص محک در سيستم¬هاي احتمالاتي، چالش¬هاي موجود را مورد بررسي قرار مي¬دهيم. ساختار محک پيشنهادي را با توصيف داده¬هاي ورودي، پرس¬وجوها و معيارهاي ارزيابي بررسي مي¬کنيم. در آخر نيز مقايسه عملکرد برخي از PDSMSها را به عنوان کار آينده خود مطرح مي¬نماييم.

مهندسي نرم افزار از تعدادي فرآيند تشکيل شده است از جمله طراحي، پياده سازي و تغيير نرم افزار که همه اين فرآيند‌ها در جهت توليد و توسعه نرم افزار و همچنين دسترسي به يک نرم افزار کارآمد و با کيفيت و قابل نگهداشت انجام مي‌شود. نامتغيرها به برنامه نويس کمک مي‌کند بيشتر مراحل مهندسي نرم افزار را راحتر انجام دهد. نامتغير خصوصيات هميشه درست با ضريب اطمينان مشخص هستند. از آنجايي که بعضي از نامتغيرها طي شرايطي در مسير اجراي برنامه ايجاد مي‌شوند، ايجاد نامتغيرهاي شرطي مي‌تواند بسيار مفيدتر و کمک کننده باشد. براي توليد اين نوع از نامتغيرها مي‌توان از تکنيک‌هاي داده کاوي مثل کشف قوانين انجمني و يا استفاده از درخت تصميم براي بدست آوردن نامتغيرهاي شرطي استفاده کرد.

مهندسي نرم‌افزار فعاليتي است شامل طراحي، پياده سازي،تغيير و بهبود نرم‌افزار که سرعت تهيه نرم‌افزار را بالا برده و کمک مي‌کند تا نرم‌افزاري با کيفيت بالاتر، کارآمدتر و با قابليت نگهداشت بالا داشته باشيم. در اين راستا نامتغيرها به برنامه نويس و آزمونگر کمک مي‌کند تا بعضي از مراحل مهندسي نرم‌افزار را سادتر و سريعتر انجام دهد. از آنجايي که آرايه‌ها و اشاره‌گر‌ها بيشتر امکان دارد که با خطا رو برو باشند، نامتغيرهايي که خصوصيات اين ساختار‌ها را گزارش مي‌دهند پرکاربردتر هستند. با آوردن عناصر اول و آخر آرايه در نامتغيرها مي‌توان بي‌دقتي‌هاي احتمالي در بکار بردن انديس‌ها که بسيار در حلقه‌ها متداول است را تشخيص داد. همچين بکارگيري تعداد عناصر مشترک در آرايه‌ها با نوع داده‌اي يکسان مي‌تواند بسيار کمک کننده باشد مخصوصاً در مواردي که يک آرايه از تغيير بر روي آرايه ديگر بدست مي‌آيد. اين دو خصوصيت به ما کمک مي‌کند تا بسياري از خطاهاي متداول برنامه نويسي را تشخيص دهيم و در رفع آن بکوشيم.

براي لحاظ کردن سطوح مختلف عدم قطعيت و ناسازگاري، در فرايند چک کردن مدل، از منطق¬هاي زماني چندمقداري (روي جبرهاي شبه بولي) استفاده شده است. منطق فازي نيز نوعي منطق چندمقداري نامتناهي و پيوسته است که در حوزه¬هاي مختلف کاربرد دارد. با ترکيب منطق¬هاي زماني با منطق فازي مي¬توان مفاهيم فازي را در حوزه چک کردن مدل، وارد کرد. در اين مقاله ضمن تعريف مدل کريپکه فازي FzKripke جهت چک کردن خواص زماني روي اين مدل¬ها، منطق FzCTL* را ارائه مي¬کنيم. جهت برخورد با مشکل انفجار فضاي حالت، علاوه بر مفهوم تجريد و شبيه¬سازي دوگانه که در فرايند چک کردن مدل، مفاهيمي شناخته شده¬اند، به مفهوم تقريب روي اين منطق¬ها و مدلهاي فازي، به عنوان تکنيکی جديد پرداخته خواهد شد

چارت سازماني، يكي از نمودارهاي مهمي است كه معرف سلسله مراتب پست¬ها در يك سازمان است و ابزارهاي متعددي به صورت خودكار آن را توليد مي¬كنند. در اين مقاله، بهينه¬سازي مصرف كاغذ براي اين ابزارها، در قالبي رسمي بيان شده و به كمك كاهش مسائل به يكديگر، نشان مي¬دهيم كه اين مسئله از رده پيچيدگي محاسباتي NP-Complete است.

چارت سازماني، يكي از نمودارهاي مهمي است كه معرف سلسله مراتب پست¬ها در يك سازمان است و ابزارهاي متعددي به صورت خودكار آن را توليد مي¬كنند. در اين مقاله، بهينه¬سازي مصرف كاغذ براي اين ابزارها، در قالبي رسمي بيان شده و با توجه به آنكه اين مسئله از پيچيدگي محاسباتي رده NP-Complete است، الگوريتمي تقريبي با ضريب تقريب ثابت براي آن ارائه مي كنيم. در اين الگوريتم از تكنيك برنامه¬ريزي غير خطي و برنامه¬ريزي پويا استفاده شده است.

يکي از مشکلات بررسي مدل¬ها، توليد فضاي حالت است. به دليل بزرگ بودن فضاي حالت معمولاً مشکل انفجار حالت پيش مي‌آيد. يکي از راهکارهاي حل اين مشکل، استفاده از نمودار تصميم دودويي است. در اين روش، فضاي حالت مدل به جاي نگهداري مجموعه¬اي، به صورت نمادين نگهداري مي‌شود. نگهداري فضاي حالت به صورت نمادين، ذخيره و پردازش فضاي حالت را به ذخيره و پردازش گراف¬ها کاهش مي‌دهد که از هزينه نگهداري و پردازش مجموعه¬ها به مراتب کمتر است. در اين مقاله الگوريتمي براي توليد فضاي حالت نمادين از توصيف سيستم‏هاي تصادفي گسسته رخداد بدست آمده از يک مدل ارائه شده است. استفاده از توصيف سيستم‏هاي تصادفي گسسته رخداد که يک توصيف صوري چندگانه است، اين امکان را مي‌دهد که روش¬هاي صوري سيستم¬هاي تصادفي گسسته رخداد ديگر مثل شبکه¬هاي پتري تصادفي يا شبکه¬هاي فعاليت تصادفي و غيره را به روش صوري SDES تبديل و فضاي حالت نمادين براي آنها توليد کرد. با استفاده از توليد نمادين فضاي حالت با کمک نمودار تصميم¬گيري دودويي مرتب کاهش¬يافته، فضاي حالت بسيار بزرگتري را مي¬توان توليد کرد. در نتيجه با استفاده از اين روش، مي‌توان مشکل انفجار حالت را تخفيف داد.

زبان مدلسازی يکپارچه (UML) جهت رسیدگی به نیازهای وظیفه مندی در مهندسی نرم افزار مورد استفاده قرار می گیرد. هرچند انجمن مدیریت شیئ (OMG )زیر نمایه کارائی را جهت پشتیبانی از نیازهای غیروظیفه مندی در سال 2002 مطرح نمود، لیکن جهت ارزیابی کارائی نیاز به یک مدل رسمی ضروری می باشد. شبکه پتری با بهره گیری از پشتوانه ریاضی جهت مدلسازی رفتار در این زمینه مفید می باشد. از سوی دیگر با توجه به ماهیت غیرقطعی اطلاعات در سیستمهای اطلاعاتی ، استفاده از متغیرهای زبانی و منطق فازی دقت بالاتری را در محاسبات مربوط به ارزیابی کارائی سیستم به همراه خواهد داشت. در این مقاله با تبدیل مدل واقعی به مدل رسمی(F_CPN) امکان ارزیابی کارائی سیستم را بر روی مدل رسمی فراهم می نمائیم. با استفاده از منطق فازی و تحلیل بازخورد قبل از مرحله پیاده سازی می توان کارائی سیستم را بهبود بخشید. با بررسی نتایج ملاحظه می نماییم رویکرد فازی موجب بهبود کارائی می گردد

راستی¬آزمایی نرم¬افزارهای زمان¬واقعی با دو مسئله مواجه است: (1) چگونه قوانین راستی¬آزمایی تولید کنیم و (2) چگونه آنها را برای راستی-آزمایی توصیف مسئله به کار ببریم. ما در این مقاله روشی را ارائه می¬دهیم تا به وسیله آن به حل این دو مسئله برای سیستم¬هایی که با ماشین حالت زماندار توصیف می¬شوند، بپردازیم. در قدم اول، گزاره¬های منطقی زمان واقعی را از توصیف¬ مسئله به دست می¬آوریم. در قدم دوم، قیود ایمنی را از گراف حالات ماشین حالت زماندار توصیف مسئله به دست می¬آوریم و در قدم سوم این قیود را به گزاره¬های منطقی زمان واقعی تبدیل می¬کنیم. این گزاره¬ها که قیود ایمنی را نشان می¬دهند برای راستی¬آزمایی گزاره¬های حاصل از توصیف که در قدم اول به دست آمده¬اند، به کار گرفته می¬شوند. برای نشان¬دادن عملی¬بودن روش¬مان، مسئله سیستم زمان¬واقعی تقاطع جاده و راه¬آهن را مطرح می¬کنیم و روش¬مان را برای آن به کار می¬بریم.

روش مجموع ساده وزین (SAW) یکی از ساده ترین تکنیک های جبرانی تصمیم گیری چند معیاره است. این روش برای حل مسائل تصمیم گیری چند معیاره به کار برده می شود. از طرفی دیگر داده کاوی یکی از 10 علم رو به رشد دنیا است و یکی از مهمترین الگوریتم های داده کاوی، الگوریتم های مبتنی بر مدل های پیشگویی است که برای پیش بینی آینده به کار برده می شوند. اکثر این الگوریتم ها پیچیده و زمان بر می باشند. در این مقاله روشی نوینی برای طبقه بندی داده ها به کمک روش SAW با استفاده از امتیاز فیشر به خصیصه ها معرفی شده است که مزیت اصلی آن سادگی است. همچنین از توابع فازی برای بهبود دقت این روش استفاده کرده ایم. بر اساس آزمایش های انجام شده بر روی دو پایگاه اطلاعاتی استاندارد و نتایج بدست آمده حاکی از دقت بالای روش نسبت به اکثر الگوریتم های طبقه بندی است.

نحوه¬هاي مختلف ورود اطلاعات باعث به¬وجودآمدن ركوردهاي تكراري مي¬شود كه اين امر باعث افزايش حجم پايگاه¬داده¬ها مي-گردد. در اين مقاله، روشي به نام تطابق وزن¬دار پيشنهاد شده¬است تا تطابق بين فيلدها و ركوردها معقول¬تر انجام شود. برخي از روشهاي موجود روي كلمات يك بخشي به خوبي عمل مي¬كنند ولي كاربرد خوبي در كلمات چندبخشي ندارند ولي روش تطابق وزن¬دار كارايي خوبي براي كلمات چندبخشي دارد و درجه شباهت بالايي را براي اين¬گونه فيلدها دارا است و از آنجايي كه بيشتر عدم تشابه¬ها وابسته به خطاهايي است كه بر اثر ورود اشتباهي حروف مشابه به¬وجود آمده¬است، اين روش با درنظر گرفتن شباهتي براي حروف مشابه، دقت را در خطاهاي تايپي بالا مي¬¬برد. همچنين اين روش حساسيتي نسبت به كاراكترهاي شبيه به¬هم دارد. از آنجايي كه مقادير نامعتبر فيلدها تاثير زيادي روي تطابق ركوردها دارد، اين روش اثرات اين نوع فيلدها را كمتر در نظر مي¬گيرد تا دقت معقول¬تري به¬دست بيايد. بعداز بيان و بررسي روش تطابق وزن¬دار، آزمايشهايي با اين روش و روشهاي موجود روي دو پايگاه¬داده واقعي انجام شد و نتايج آن مورد مقايسه و بررسي قرار گرفت كه اين روش بر روي پايگاه¬داده¬ها دقتي درحدود90درصد داشت كه مابين 6 تا 8 درصد نسبت به بهترين حالت بهبود نشان مي¬دهد.

معماري سرويس گرا با امكان سازي ايجاد چابكي و انعطاف پذيري لازم در سازمان ها، تحولي شگرف و نوين را در عرصه مهندسي نرم افزار فراهم آورده است كه دراين ميان ، استاندارد BPEL راه را براي ساخت پيمانه هاي جديد براساس تركيبي از سرويس ها، هموار نموده است. اگرچه تلاش هاي زيادي براي اثبات درستي عمليات پذيري سرويس هاي تركيبي براساس روش هاي رسمي انجام گرديده ، پيش بيني ويژگي هاي غيرعملياتي نظير كارآيي، قابليت اطمينان و دسترس پذيري كمتر مورد كنكاش قرار گرفته است. نوآوري ما ابداع يك رويكرد تحليلي مبتني بر شبكه پتري تصادفي و تئوري صف مي باشد كه كارآيي يك گردش كاري را محاسبه مي نمايد. اين مدل براي انواع فرآيندهاي پايه اي توالي ، شرط ، توازي و حلقه مورد آزمون قرار گرفته كه بدليل حجم زياد محاسبات، براي يك نمونه فرآيند تركيبي محاسبات انجام و ارائه شده است. به منظور تصديق مدل، نمونه فرآيند تركيبي همزمان در نرم افزار Arena مدلسازي و نتايج، مقايسه گرديده كه باتوجه به ميزان انحراف اندك نتايج ، صحت مدل تاييد مي گردد. لذا این رویکرد ، قابلیت بکارگیری جهت محاسبه و تخمین کارآیی ، قابلیت اطمینان ، در دسترس بودن و ديگر ويژگي¬هاي غيرعملياتي را داشته و در صورت اجرا در زمان قبل از اجرا جهت سرویس های BPEL ، زمینه اطمینان دهی اجرای تعهدات را به سرویس گیرندگان از سوی سرویس دهندگان فراهم می آورد.