ارایه سبکی مبتنی بر سیستم های تبدیل گراف برای مدل سازی ،پیکربندی وتبادل پیام در سیستم های چند عامله متحرک
Publish place: National Conference of Technology, Energy & Data on Electrical & Computer Engineering
Publish Year: 1394
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 673
This Paper With 10 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
TEDECE01_575
تاریخ نمایه سازی: 30 آبان 1394
Abstract:
سیستم های عامل متحرک دارای ساختاری پویا هستند ومعماری عامل گرا به دلیل پویایی یکی از معماری های مناسب برای پشتتیبایی از این سیستم ها است . اگرچه زبان های مدل سازی مانندUML به صورت گسترده در طراحی بسیاری از سیستم هااستفاده شده اید,اما پیاده سازی این سیستم ها به طور کلی هنوز با زبان های بریامه یویسی سنتی ایجام می شود,که بی اطلاع از مدل هستند. این امرمنجر به یاسازگاری هایی بین مشخصه و پیاده سازی سیستم ها می شود.در این مقاله با استفاده از معماری عامل گرا برای مدل سازی و انتزاع، یک سبک پویای معماری برای سیستم های عامل متحرک ارائه کردیم، سپس مدل ارائه شده را روی سیستم تشخیص پزشکی همیار که یکی از ایواع سیستم های عامل متحر ک می باشد اعمال شد. پیاده سازی مدل ارائه شده با ابزار GROOVE و صحت ستجی آن توسط قوانین CTL انجام شده است.
Keywords:
سبک معماری پویا , سیستم های عامل متحرک , معماری عامل گرا , سیستم تبدیل گراف , نرم افزار قابل اطمینان
Authors
فاطمه سلیمانزاده بیدگلی
شرکت کیمیا پیشه
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :