تبدیل خودکار زبان نشانه گذاری مدل سا زی فرآیندهای کسب و کار به شبکه پتری رنگ

سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 690

فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

CCITC01_002

تاریخ نمایه سازی: 27 آبان 1393

چکیده مقاله:

پس از ا یجاد مدل در 2.0 BPMN می توان مدل ایجاد شده را به شکبه های پتری رنگی که یکی از زبان های مدل سازی صوری می باشد تبدیل نمود. در این پژوهش ابزاری ارائه شده است که قادر به انجام نگاشت خودکار مدل 2.0 BPMN به CPN می باشد. ابزار پیشنهادی فایل XML مدل 2.0 BPMN را به عنوان ورودی گرفته و نمودار CPN معادل آن را در نرم افزار CPN Tools به نمایش می گذارد. برای این منظور چگونگی نگات ع ناصر پایه BPMN( 2.0 رخدادها، فعالیت ها، دروازه ها و...) به شبکه پتری مورد بررسی قرار می گیرد. تمامی عناصر پایه در 2.0 BPMN باید به مجموعه مشخصی از مکان ها، گذارها و اتصالات در شبکه پتری رنگی نگاشت شود و در نهایت باید بین این عناصر ارتباط برقرار نمود.

نویسندگان

پریسا معظمی گودرزی

دانشجوی کارشناسی ارشد، دانشگاه آزاد اسلامی واحد بروجرد، گروه نرم افزار، بروجرد، ایران

سعید پارسا

دانشیار، گروه نرم افزار، دانشکده کامپیوتر دانشگاه علم و صنعت ایران، تهران، ایران

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • دانشگاه آزاد اسلامی واحد مرودشت- مهر ماه 1393 ...
  • Nie, T., Yu, G., Shen, D., Kou Y., Song, J., ...
  • Mendlig, J., _Neidlich, M._Weske, M. , "Business Process Modeling Notation", ...
  • Hamadi, R., Benatallah, B., "A Petri Net- basedModel for Web ...
  • Datab asetechno logies, IEEE Press, Adelaide, pp.191- 200, 2003. ...
  • Jensen, K., "Coloured Petri nets and the invariant- method" Theoret. ...
  • Raedts, I., et al., _ Transformation of BPMN models for ...
  • Zhang, J., JY Chung, C.K., Kim, S., "WS-Net:A Petri-net based ...
  • Ankolekar, _ Paolucci, M., Sycara, K., "Towards a formal verification ...
  • Deng, X., Lin, Z., Chen, W., Xiao, R., Fang, L, ...
  • نمایش کامل مراجع