توصيف صوري نمودارهاي گردش كار  Fulltext 

[ بهرنگ عاصمي ] - كارشناس ارشد نرم افزار
[ سيدمحمد حسيني ] - عضو هيات علمي دانشگاه تربيت مدرس

خلاصه مقاله:

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

برنامه ريزي منابع سازماني ، گردش كار ، فرايند سازماني ، نمودار فعاليت ، توصيف صوري