منصوره یونسی - دانشجوی کارشناسی ارشد گروه فناوری اطلاعات
مهسا بوستانی - دانشجوی کارشناسی ارشد گروه فناوری اطلاعات،
همایون موتمنی - عضو هیات علمی گروه علمی مهندسی نرم افزار، ساری،

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

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