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

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

مدل سازی فرآیندهای کسب وکار، نیازمندی های غیر عملکردی، مدلسازی جریان کار تصادفی، زبان مدل ساری Alloy