ارائه یک رهیافت جدید برای مدلسازی گردش کار زمانی
محل انتشار: اولین همایش ملی پژوهش های مهندسی رایانه
سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 529
فایل این مقاله در 16 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
RCEITT01_024
تاریخ نمایه سازی: 11 اردیبهشت 1394
چکیده مقاله:
ا مروزه مدلسازی گردش کار از اجرای فعالیت ها گام را فراتر نهاده و به یک جزء بحرانی مدیریت فرایندهای کاری تبدیل شده است . به گونه ای که از مجموعه ای از فعالیت ها و ترتیب خاص آنها برای رسیدن به یک هدف مشترک پشتیبانی می کند. سیستمهای ایمن بحرانی - 1 سیستم هایی هستند که باید عاری از هر گونه خطایی باشند، برای تحلیل این گونه سیستم ها باید از درستی کامل نیازها مطمئن باشیم . به این دلیل خطاها در مشخصه ها باید به زودی ممکن شناسایی و اصلاح شوند به منظور مطابقت 2 با کاربردهای توزیع یافته 3 امروزی ، فاکتورهای زمانی مجبورند که درون فرایندهای گردش کاری قدیمی قرار بگیرند . این در حالیاست که سیستم های گردش کار موجود پشتیبانی محدودی از مسائل زمانی ارائه می دهند. به هر حال، پیاده سازی مدل های گردش کار بزرگ و راستی آزمایی نشده در خطر زمان اجرای نامطلوب قرار دارند. استفاده از روش های صوری برای خودکار سازیراستی آزمایی ها حیاتی است، اما به خاطر فهم پیچیده ریاضیات آن کمتر مورد توجه قرار گرفته است. لذا رهیافت موجود با هدفغنی نمودن گردش کار با محدودیت زمانی، مدلسازی را با مفهوم صوری آتاماتای زمانی ترکیب می کند. این رهیافت برای راستی آزمایی و تحلیل، ابزار بلادرنگ UPPAAL را به کار می گیرد. نتایج بررسی ها نشان دادکه این رهیافت از مدل های گردش کار با اندازه معقول حمایت می کند.
کلیدواژه ها:
نویسندگان
افسون سلطانی
دانشجوی کارشناسی ارشد، گروه کامپیوتر، دانشگاه آزاد اسلامی واحد اراک
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :