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

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

1) عضو هیئت علمی دانشگاه آزاد اسلامی واحد تهران جنوب
2) دانشجوی دکتری تخصصی مدیریت فن¬آوری اطلاعات دانشگاه آزاد اسلامی واحد مرکز آموزش بین المللی کیش

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