استفاده از زبان شبکه برای تشریح رفتار سیستم¬ها

محمد ملکی نیا¹ ، وحید علیزاده²

چکیده :
در این مقاله با استفاده از زبان فرمال شبکه های پتری، از بخش ها و جنبه های مختلف لایه مجازی سازی در دیتا سنترها، مدل های فرمال متعددی تهیه شده است. سپس به کمک ابزار ریاضی، رفتار این مکانیزم ها برای تعیین سطح خوش رفتاری سیستم بررسی شده است. برای نیل به این هدف، در ابتدا ابزار مدل سازی فرمال اعم از جبری و مبتنی بر مدل بررسی و مقایسه شده است. سپس با تشریح تکنولوژی مجازی سازی در سیستم های کامپیوتری، یک دیتا سنتر نمونه کوچک مطابق استانداردهای دیتا سنترها طراحی شده و سپس در لایه های مختلف توسط شبکه های پتری مدل گردیده است.
کلمات کلیدی : زبان شبکه؛ رفتار سیستم، دیتا سنتر.

زبان مقاله : فارسی
محور مقاله : هفتمین کنفرانس پژوهش در علوم و مهندسی / علوم مهندسی
محل انتشار : هفتمین کنفرانس بین المللی پژوهش در علوم و مهندسی و چهارمین کنگره بین المللی عمران، معماری و شهرسازی آسیا
آدرس وب سایت کنفرانس : 7icrsie.com
ارسال کننده : حمید رضا ساریخانی
کد IOI مقاله : XEDC-HGBHD
لینک مستقیم مقاله : https://isnac.ir/XEDC-HGBHD