ارزیابی تحمل پذیری خطا در نمودار مولفه با استفاده از شبکه پتری رنگی
Publish place: The Second National Conference on Applied Research in Computer Science and Information Technology
Publish Year: 1393
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 625
متن کامل این Paper منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل Paper (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CITCONF02_518
تاریخ نمایه سازی: 19 اردیبهشت 1395
Abstract:
کیفیت نرم افزار یک امر اساسی در تولید نرم افزار محسوب می شد. وجود طراحی با کیفیت در سیستم های نرم افزاری، در بدست آوردن پارامترهای غیر عملیاتی بسیار مفید خواهد بود. یکی از ابزارهای متداول در طراحی نرم افزار، زبان مدلسازی یکپارچه است. این زبان ذاتا از نقطه ضعف نیمه رسمی بودن رنج می برد. این ضعف در بدست آوردن پارامترهای غیر عملیاتی تاثیرگذار خواهد بود. تلاش ها و تحقیقات بسیاری صورت گرفته تا این زبان نیمه رسمی را به روش های رسمی تبدیل کنند که از میان این تحقیقات میتوان، شبکه پتری را به عنوان نمونه نام برد. در این مقاله الگوریتمی جهت تبدیل نمودار مولفه به شبکه پتری معادل معرفی شده و گام به گام تشریح خواهد شد. با این نگاشت به رسمی سازی زبان مدلسازی یکپارچه پرداخته خواهد شد. با استفاده از رسمی سازی، اعتبارسنجی و ارزیابی پارامترهای غیرعملیاتی مانند تحمل پذیری خطا در سیستم مورد طراحی ممکن خواهد بود.
Keywords:
Authors
امیرحسین تونی
گروه کارشناسی ارشد کامپیوتر، دانشگاه آزاد اسلامی واحد ساری، ساری، ایران
همایون موتمنی
عضو هیات علمی دانشگاه آزاد اسلامی واحد ساری
مجید ابوطالبی
عضو هیات علمی دانشگاه آزاد اسلامی واحد ساری