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

سیستم های عامل متحرک دارای ساختاری پویا هستند ومعماری عامل گرا به دلیل پویایی یکی از معماری های مناسب برای پشتتیبایی از این سیستم ها است . اگرچه زبان های مدل سازی مانندUML به صورت گسترده در طراحی بسیاری از سیستم هااستفاده شده اید,اما پیاده سازی این سیستم ها به طور کلی هنوز با زبان های بریامه یویسی سنتی ایجام می شود,که بی اطلاع از مدل هستند. این امرمنجر به یاسازگاری هایی بین مشخصه و پیاده سازی سیستم ها می شود.در این مقاله با استفاده از معماری عامل گرا برای مدل سازی و انتزاع، یک سبک پویای معماری برای سیستم های عامل متحرک ارائه کردیم، سپس مدل ارائه شده را روی سیستم تشخیص پزشکی همیار که یکی از ایواع سیستم های عامل متحر ک می باشد اعمال شد. پیاده سازی مدل ارائه شده با ابزار GROOVE و صحت ستجی آن توسط قوانین CTL انجام شده است.

سبک معماری پویا، سیستم های عامل متحرک،معماری عامل گرا،سیستم تبدیل گراف،نرم افزار قابل اطمینان