ارائه یک رهیافت جدید برای مدلسازی گردش کار زمانی
- سال انتشار: 1393
- محل انتشار: اولین همایش ملی پژوهش های مهندسی رایانه
- کد COI اختصاصی: RCEITT01_024
- زبان مقاله: فارسی
- تعداد مشاهده: 532
نویسندگان
دانشجوی کارشناسی ارشد، گروه کامپیوتر، دانشگاه آزاد اسلامی واحد اراک
چکیده
ا مروزه مدلسازی گردش کار از اجرای فعالیت ها گام را فراتر نهاده و به یک جزء بحرانی مدیریت فرایندهای کاری تبدیل شده است . به گونه ای که از مجموعه ای از فعالیت ها و ترتیب خاص آنها برای رسیدن به یک هدف مشترک پشتیبانی می کند. سیستمهای ایمن بحرانی - 1 سیستم هایی هستند که باید عاری از هر گونه خطایی باشند، برای تحلیل این گونه سیستم ها باید از درستی کامل نیازها مطمئن باشیم . به این دلیل خطاها در مشخصه ها باید به زودی ممکن شناسایی و اصلاح شوند به منظور مطابقت 2 با کاربردهای توزیع یافته 3 امروزی ، فاکتورهای زمانی مجبورند که درون فرایندهای گردش کاری قدیمی قرار بگیرند . این در حالیاست که سیستم های گردش کار موجود پشتیبانی محدودی از مسائل زمانی ارائه می دهند. به هر حال، پیاده سازی مدل های گردش کار بزرگ و راستی آزمایی نشده در خطر زمان اجرای نامطلوب قرار دارند. استفاده از روش های صوری برای خودکار سازیراستی آزمایی ها حیاتی است، اما به خاطر فهم پیچیده ریاضیات آن کمتر مورد توجه قرار گرفته است. لذا رهیافت موجود با هدفغنی نمودن گردش کار با محدودیت زمانی، مدلسازی را با مفهوم صوری آتاماتای زمانی ترکیب می کند. این رهیافت برای راستی آزمایی و تحلیل، ابزار بلادرنگ UPPAAL را به کار می گیرد. نتایج بررسی ها نشان دادکه این رهیافت از مدل های گردش کار با اندازه معقول حمایت می کند.کلیدواژه ها
گردش کار، راستی آزمایی، بلادرنگ، محدودیت زمانی، آتاماتای زمانیمقالات مرتبط جدید
- بررسی تاثیر سود آوری بر ساختار سرمایه و سرعت تعدیل اهرم مالی در شرکت های پذیرفته شده در بورس اوراق بهادار تهران
- بررسی تاثیر هوش معنوی بر رفتار برنامه ریزی شده در بین سهام داران یزدی در بورس اوراق بهادار تهران
- بررسی تاثیر دانش مالی، تجربه مالی بر رفتار برنامه ریزی شده در بین سهام داران یزدی در بورس اوراق بهادار تهران
- تاثیر سیستم های اطلاعاتی بر موفقیت شرکت با نقش میانجی کیفیت اطلاعات غیر مالی
- بررسی رابطه بین انگیزش و کارایی در سازمان (مطالعه موردی: اداره راه و شهرسازی شهرستان لارستان)
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.