محبوبترین نویسندگان :
نویسندگان مقالات پربازدید :
همایش ملی علوم و مهندسی کامپیوتر با محوریت امنیت ملی و توسعه پایدار
جزئیات رویداد
همایش ، رویداد ، ژورنال
اینستاگرام تی پی بین
حوزه های تحت پوشش رویداد

  • ارائه یک روش صوری برای مدلسازی و راستی آزمایی سیستم های گردش کار زمانی

    نویسندگان :
    کلمات کلیدی :
    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1393/09/05
    • تاریخ انتشار در تی پی بین: 1393/09/05
    • تعداد بازدید: 817
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
    هدف اصلی سیستم های مدیریت گردش، پشتیبانی از تعریف، اجرا و کنترل فرآیندهای کسب و کار است. در چنین سیستم هایی خطاها در مشخصه ها باید به زودی ممکن شناسایی و اصلاح شوند. از طرفی ترکیب محدودیت های زمانی مسئله را وخیم تر می کنند. در حالی که سیستم های گردش کار موجود پشتیبانی محدودی از مسائل زمانی ارائه می دهند. از طرفی، پیاده سازی مدل های گردش کار بزرگ و راستی آزمایی نشده در خطر زمان اجرای نامطلوب قرار دارند. استفاده از روش های صوری برای خودکار سازی راستی آزمایی ها ضروری به نظر می رسد، اما به خاطر پیچیدگی آن کمتر مورد توجه قرار گرفته است. لذا رهیافت موجود با هدف غنی نمودن گردش کار با محدودیت های زمانی، مدلسازی را با مفهوم صوری آتاماتای زمانی ترکیب می کند. این رهیافت برای راستی آزمایی، ابزار بلادرنگuppaal  را به کار می گیرد.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم
مقالات جدیدترین رویدادها
مقالات جدیدترین ژورنال ها