چکیده
بکارگیری ابر برای شرکتها بر ساخت فرایند کسب و کار تاثیر مثبتی دارد زیرا توانایی درک منابعی نظیر منابع نامحدود را ایجاد می کند. با این حال، این ساختار در ابر هنوز در زمینه کشسانی منابع دارای مشکلات زیادی است، و به ویژه با گذشت زمان، زمانی که سرویس ها و خدمات فرایند کسب و کار در زمینه مصرف منابع بهینه نشده اند، برای شرکتها به صورت هزینه بردار ظاهر می شود. از اینرو، رویکردهای منابع با انتخاب سر ویس های مشابه کم مصرف برای هر فعالیت، به عناصری مهم برای بهینه سازی ساختار فرایند کسب و کار تبدیل شده اند. دقیقاً، هدف این کار اطمینان از ویژگی همسانی و سازگاری در رویکرد منابع با استفاده از Petri Nets برای تصدیق اجرای درست فرایند کسب و کار با منابع تخصیص داده شده اولیه بر مبنای برخی از خصوصیات و انتخاب مسیر سرویس های مشابه کم مصرف برای به حداقل رساندن کشسانی ابری شرکتها است.
1. مقدمه
در سالهای اخیر، مفهوم رایانش ابری در دنیای صنعتی اهمیت خاصی پیدا کرده است (Fox et al., 2009 )، نه تنها به این دلیل که امکان استفاده از منابع نامحدود را عرضه می کند، بلکه همچنین به این دلیل که امکان پرداخت بهای منابع را به صورت پرداخت به ازای استفاده فراهم می آورد (Mell and Grance, 2009). این مفهوم جدید به شرکتها اجازه ایجاد، مدیریت، و بهینه سازی فرایند کسب و کارشان (BP) با استفاده از کشسانی را می دهد. چنین کشسانی منابع محاسباتی انعطاف پذیر برای تامین تقاضای مشتری را عرضه می کند.
7. نتیجه گیری
در این مقاله، رویکرد جدیدی مبتنی بر پتری نت پیشنهاد می کنیم که به عنوان یک راه حل سازمانی درنظر گرفته می شود. ازاین راه حل می توان برای مدیریت مصرف منابع فرایند کسب و کار و تصدیق رسمی مصرف منابع فرایند کسب و کار در محیط ابری استفاده نمود.علاوه براین، مجوز تامین کارآمد منابع اولیه بین فعالیتهای مختلف فرایند کسب و کار و تصدیق سرویس های مشابه متعدد جهت انتخاب بهترین مسیربرای فعالیتها و سرویس های آنها را صادر می کند (سرویس هایی که منابع کمی مصرف می کنند). به علاوه، خصوصیت درستی فرایند کسب و کار در مدل پتری نت تصدیق شده و مصرف منابع در ابزار CPN با توانمندسازی گذار کلیه سرویس های فعالیتهای فرایند کسب و کار شبیه سازی می گردد.
Abstract
Using the cloud for companies can have a positive impact on business process construction because it gives the ability to perceive resources such as unlimited. However, this construction in the cloud still has a lot of problems with resource issues in elasticity, especially after over time, this can be costly expensive for companies when services of business process aren’t optimised in resource consumption. Hence, resources perspectives have become important to optimise the business process construction by selecting similar services that have low consumption for each activity. Concretely, the aim of this work is to ensure the consistency feature in resource perspective by using a Petri Nets to verify the right execution of business process with initial allocated resources based on some properties and to select a path of similar services that has a low consumption to minimise cloud elasticity anytime for companies.
1. Introduction
In recent years, cloud computing concept has been of major importance in the industrial world (Fox et al., 2009) not only because they offer the possibility of using unlimited resources, but also because they make it possible to pay for resources on a pay-per-use basis (Mell and Grance, 2009). This new concept allows companies to create, manage and optimise their business process (BP) using elasticity. Such as elasticity offers flexible computing resources to meet customer demand.
7. Conclusion
In this paper, we propose a new approach based on PN that can be considerate as an enterprise solution. This solution can be applied to manage BP resource consumption and can be used to formally verify BP resource consumption in a cloud environment. In addition, it allows the efficient initial resource provisioning between the different activities of a BP with the multiple similar services to be verified in order to choose the best path for activities and their services (services that can consume low resources). Furthermore, the BP soundness property is verified in the PN model simulating resource consumption in the CPN tool by enabling transitions of all services of the BP activities.
چکیده
1. مقدمه
2. مروری بر ادبیات
3. رویکرد تبدیل
3.1. تزریق اطلاعات (BPMN توسعه یافته)
3.2. تبدیل (نگاشت از BPMN توسعه یافته به پتری نت ها)
3.3. اصلاح BPMN توسعه یافته
4. تحلیل مصرف منابع در فرایند کسب و کار
4.1. خصوصیت صحت و درستی
4.2. خصوصیت سازگاری
4.3. خصوصیت تامین کارآمد منابع اولیه
4.4. خصوصیت کشسانی جزئی فرایند کسب و کار
5. مطالعه موردی
6. بحث
7. نتیجه گیری
abstract
1. Introduction
2. Literature review
3. Transformation approach
3.1. Information injection (extended BPMN)
3.2. The transformation (mapping from extended BPMN to Petri Nets)
3.3. Refinement of extended BPMN
4. Analysis of resources consumption in business process
4.1. Soundness propriety
4.2. Consistency property
4.3. Efficient initial resources provisioning property
4.4. Business process partial elasticity property
5. Case study
6. Discussion
7. Conclusion