پیش زمینه:
در این بخش ، بعضی از تعاریف لازم در مورد معماری نرم افزار UML ، منطق فازی و شبکه پتری رنگی که هر کدام به طور خلاصه مورد توجه بوده اند را بیان می کنیم.
۲-۱- منطق فازی
منطق فازی در سال ۱۹۷۴ توصیف شده است و این نظریه حول نظریه مجموعه های فازی ، منطق فازی و سنجش و اندازه گیری فازی توسعه داده شده است. .نظریه مجموعه فازی ، توسعه یافته منطق فازی سنتی و سنجش فازی توسعه یافته سنجش احتمالی می باشد.
۲-۲- شبکه پتری
کارل پتری در سال ۱۹۶۲ براین باور بوده است که او اولین فردی بوده است که ایده و نظریه شبکه های پتری توصیف کرده است. و ان را به عنوان ابزاری قدرتمند برای مدل سازی همزمان درنظر گرفت. .با استفاده از این شبکه ها جهت ارزیابی ، معماری نرم افزار و ایجاد مدل اجرایی برای سادگی و کارایی بالا درنظر گرفته می شود. نمودارهای شبکه های پتری نشان داده می شوند و این مفاهیم و ساختار توصیف شده اند.
۲-۲-۱ – شبکه های پتری رنگی
شبکه های پتری رنگی به عنوان یک مدل توسعه یافته از شبکه های پتری معرفی شده است. بعضی از مفاهیم همانند ، « عبارت » ، « گارد » و « رنگ » علاوه بر مکان ها ، انتقال وتوکن ،معرفی می شوند. شبکه های پتری رنگی از قابلیت های شبکه های پتری ساده و زبان های برنامه نویسی استفاده می کنند. مقادیر داده ای با استفاده از توکن در این شبکه ها اعمال می شوند . شبکه های پتری رنگی مدل های دقیق تری از سیستم های پردازش شده غیر فازی پیچیده را ایجاد می کند. در این شبکه ها ، توکن ها قابل تشخیص بوده و این در تضاد با شبکه های پتری می باشد. درنتیجه هریک از توکن ها چند ویژگی همانند « رنگ » دارد . شبکه های پتری رنگی با نشانه رنگی توانایی بالاتری برای ارائه مفهوم فرآیند همگرایی دارد .
۲-۲-۲ شبکه پتری فازی
شبکه های پتری یک روش مدل سازی رسمی و قدرتمند براساس ساختار ریاضی ایجاد می کند.این شبکه ها برای مدل های سیستم، نمایش نموداری بعنوان شبکه نمودارها را دارند. اما آنها نمی توانند مسائل نامعلوم را حل کنند . بنابراین ، ابزار جدیدی به نام شبکه پتری فازی می تواند مفید باشد. شبکه پتری فازی ترکیبی از تئوری مجموعه های فازی با شبکه پتری می باشد. مکان ، توکن و انتقال ، عناصری از شبکه پتری می باشند که بکار بردن انها در فازی امکان پذیر می باشد. توکن فازی ، کمیت (مقدار)توکن متعلق به مکان را توصیف می کند . این کمیت { ۱ ، ۰}در شبکه پتری متداول می باشد ، اما در شبکه پتری فازی هر عدد می تواند بین ]۰,۱[ باشد .
۳-فعالیت های مرتبط
امروزه ، فعالیت های گسترده ای در مورد تبدیل یک مدل شی گرا برای یک مدل رسمی وجود دارد. اکثر این فعالیت ها با شبکه پتری و شبکه صف مرتبط می باشند. ( بالسمو و همکاران ، ۲۰۰۴ ؛ پتیت و گوما ، ۲۰۰۴ ) . بعضی از این فعالیت ها از مدل های رسمی نیز استفاده می کنند و نمودار وضعیت را براساس نمودار UML می باشد ( سالهانا و شاتز ، ۲۰۰۰ ) .یا(برخی از انها همچنان از مدل رسمی و نمودار وضعیت بر اساس نمودارuml استفاده می شود). در میان دیگر فعالیت ها ، مرسیگوتر و کامپوز در سال ۲۰۰۴ ایده شبکه پتری تصادفی را توصیف می کند و فعالیت دیگر به شبکه پتری شی گرایی اختصاص یافته است . مرسیگوتر و کامپوز در سال ۲۰۰۴ زیرنمایه ی استاندارد کارایی را به وسیله گروه مدیریت شی گرایی بررسی کرده اند و نقش نمودار های UML را در کارآیی(بهره وری) نرم افزار را در نظر گرفتند. سالدهانا و شاتز در سال ۲۰۰۰ نمودار شی گرایی را به شبکه پتری وضعیت تبدیل کرده است و یک مدل از شبکه پتری رنگی را برای کل سیستم ایجاد کرده است . عمادی در سال ۲۰۰۸ پیشنهاد کرده است که ما می توانیم اطلاعات در مورد کارایی و قابلیت اطمینان سیستم های نرم افزاری، با استفاده از پیوست کلیشه ها و برچسب ها به نمودارهای UML را توصیف کنیم. و سپس یک مدل اجرایی (کامل)از معماری نرم افزاری جهت تبدیل آنها به شبکه پتری رنگی تصادفی ایجاد و فراهم می شود. این شبکه توسط گرامر معمول(مشترک) توصیف می شودand CPN tools analyze software architecture .
Evaluation of software architecture using fuzzy colored Petri nets
Abstract: Software Architecture (SA) is one of the most important artifacts for life cycle of a software system because it incorporates some important decisions and principles for the system development. On the other hand, developing the systems based on uncertain and ambiguous requirement has been increased, significantly. Therefore, there have been significant attentions on SA requirements. In this paper, we present a new method for evaluation of performance characteristics based on a use case, response time, and queue length of SA. Since there are some ambiguities associated with considered systems, we use the idea of Fuzzy UML (F-UML) diagrams. In addition, these diagrams have been enriched with performance annotations using proposed Fuzzy-SPT sub profile, the extended version of SPT profile proposed by OMG. Then, these diagrams are mapped into an executable model based on Fuzzy Colored Petri Nets (FCPN) and finally the performance metrics are calculated using the proposed algorithms. We have implemented CPN-Tools for creating and evaluating the FCPN model.
لینک مقاله اصلی:
لطفاً براي ارسال دیدگاه، ابتدا وارد حساب كاربري خود بشويد