ارائه یک رهیافت جدید برای مدلسازی گردش کار زمانی
Publish Year: 1393
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 524
This Paper With 16 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
RCEITT01_024
تاریخ نمایه سازی: 11 اردیبهشت 1394
Abstract:
ا مروزه مدلسازی گردش کار از اجرای فعالیت ها گام را فراتر نهاده و به یک جزء بحرانی مدیریت فرایندهای کاری تبدیل شده است . به گونه ای که از مجموعه ای از فعالیت ها و ترتیب خاص آنها برای رسیدن به یک هدف مشترک پشتیبانی می کند. سیستمهای ایمن بحرانی - 1 سیستم هایی هستند که باید عاری از هر گونه خطایی باشند، برای تحلیل این گونه سیستم ها باید از درستی کامل نیازها مطمئن باشیم . به این دلیل خطاها در مشخصه ها باید به زودی ممکن شناسایی و اصلاح شوند به منظور مطابقت 2 با کاربردهای توزیع یافته 3 امروزی ، فاکتورهای زمانی مجبورند که درون فرایندهای گردش کاری قدیمی قرار بگیرند . این در حالیاست که سیستم های گردش کار موجود پشتیبانی محدودی از مسائل زمانی ارائه می دهند. به هر حال، پیاده سازی مدل های گردش کار بزرگ و راستی آزمایی نشده در خطر زمان اجرای نامطلوب قرار دارند. استفاده از روش های صوری برای خودکار سازیراستی آزمایی ها حیاتی است، اما به خاطر فهم پیچیده ریاضیات آن کمتر مورد توجه قرار گرفته است. لذا رهیافت موجود با هدفغنی نمودن گردش کار با محدودیت زمانی، مدلسازی را با مفهوم صوری آتاماتای زمانی ترکیب می کند. این رهیافت برای راستی آزمایی و تحلیل، ابزار بلادرنگ UPPAAL را به کار می گیرد. نتایج بررسی ها نشان دادکه این رهیافت از مدل های گردش کار با اندازه معقول حمایت می کند.
Keywords:
Authors
افسون سلطانی
دانشجوی کارشناسی ارشد، گروه کامپیوتر، دانشگاه آزاد اسلامی واحد اراک
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :