Formal Representation and Verification of Fuzzy Object Design Using UML
Publish place: 11th Annual Conference of Computer Society of Iran
Publish Year: 1384
نوع سند: مقاله کنفرانسی
زبان: English
View: 1,139
متن کامل این Paper منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل Paper (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.
- Certificate
- من نویسنده این مقاله هستم
این Paper در بخشهای موضوعی زیر دسته بندی شده است:
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI11_277
تاریخ نمایه سازی: 5 آذر 1390
Abstract:
Object-oriented methods create software artifacts through the application of a large number of rules. Rules are typically formulated in two-valued logic but sometimes they can be represented using fuzzy logic to decrease the design weakness. In all of these approaches, verification and improvement of a design is done unintelligently and manual so, this causes to a weak design because of the large number of conflicting rules and discarding and ignorance of alternative design solutions. To improve this problem and make the design properties better, this paper proposes an intelligent optimization model and its algorithm that is a class of constraint satisfaction problems (CSP) and uses fuzzy rules as its improvement and heuristic functions to automatically find better design alternatives. Therefore, first we show how an initial design based on UML can be fuzzified. Then, this fuzzified initial design model is injected as the input of the algorithm and by automatic applying of fuzzy O.O. rules, an improved and qualified design will be gained.
Keywords:
Authors
Peyman Teymoori
Zarrin Card Corporation TehranIran
Toktam Ramezani Farkhani
Amirkabir University of Technology TehranIran
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :