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

امروزه کیفیت نرم افزار یک امر حیاتی در تولید نرم افزار محسوب می شد. وجود طراحی با کیفیت در سیستم های نرمافزاری، در بدست آوردن پارامترهای غیر عملیاتی بسیار مفید خواهد بود. یکی از زبان های متداول در طراحی نرم افزار، زبان مدلسازییکپارچه است. این زبان ذاتا از یک نقطه ضعف رنج می برد و آن نیمه رسمی بودن آن است. این ضعف در بدست آوردن پارامترهایغیر عملیاتی تاثیرگذار خواهد بود. تلاش ها و تحقیقات بسیاری صورت گرفته تا این زبان نیمه رسمی را به روش های رسمی تبدیلکنند که از میان این تحقیقات میتوان، شبکه پتری را به عنوان نمونه نام برد. در این مقاله الگوریتمی جهت تبدیل نمودار مولفه بهشبکه پتری معادل معرفی شده و گام به گام تشریح خواهد شد. با این نگاشت به رسمی سازی زبان مدلسازی یکپارچه پرداخته خواهدشد. با استفاده از رسمی سازی، اعتبارسنجی و ارزیابی پارامترهای غیرعملیاتی مانند قابلیت فهم در سیستم مورد طراحی ممکن خواهدبود.

کلیدواژه ها:

زبان مدلسازی یکپارچه ، نمودار مولفه ، شبکه پتری ، پارامتر غیرعملیاتی ، رسمی سازی