مقاله #839

چکیده: معماری های نرم افزار ساختار کلی سیستم های نرم افزاری را به عنوان ترکیبی از مولفه های تعاملی که از طریق اتصال گر ها به هم وصل می شوند تعریف می کنند. به عنوان اساس سیستم های نرم افزاری صحت معماری نرم افزار برای حفظ کیفیت محصول نهایی ضروری است. مدل سازی و آنالیز فرمال[1] معماری های نرم افزار روشی موثری برای تضمین صحت معماری نرم افزار است. بسیاری از روش های فرمال مشخصات و آنالیز در سه دهه گذشته پیشنهاد شده اند. با این وجود تمرکز اکثر روش ها روی معماری نرم افزاری استاتیک است. مدل استاتیک ترکیب مولفه ها را در طول یک محاسبه تغییر نمی دهد. همانطور که رایانش ابری به طور گسترده ای به عنوان یک الگوی محاسباتی جدید اتخاذ شده است، معماری نرم افزاری پویا که ترکیب مولفه ها را در طول یک محاسبه تغییر می دهد به یک موضوع تحقیقاتی مهم تبدیل گشته است. اگرچه کارهای تحقیقاتی در زمینه معماری های نرم افزاری پویا در 20 پیش منتشر شده اند اما ساخت سیستم های توزیع شده فعلی برای روش مدلسازی و آنالیز به مقیاس پذیری و قابلیت استفاده بهتری نیاز دارد. در این مقاله معماری نرم افزار براساس دو لایه بالاتر روش مدلسازی Petri nets[2] تعمیم داده شده با کانال های ارتباطی CPrT  مدلسازی شده است. CPrT net روش مدلسازی استاتیک و پویای معماری های نرم افزاری است که از نماد فرمال یکنواختی استفاده می کند. نماد گراف آن به راحتی قابل استفاده است و اجرای آن برای توسعه دهندگان برای ساخت مدل های پیچیده لازم می باشد. کانال های ارتباطی آن که برای مدلسازی ترکیب پویای معماری های نرم افزار مورد استفاده قرار می گیرد کانال ها را در توزیع حساب دیفرانسیل و انتگرال پی (pi) اجرا می کند. معنای CPrT netها با انتقال آن ها به Petri netsهای معمول قابل توصیف است. آنالیز CPrT netها با استفاده از مدل بررسی ابزار SPIN انجام می گیرد.