استفاده از روش صوری برای بهینه سازی سیستم شبکه خانگی

استفاده از روشهای صوردی در پیشرفت محاسبه سیستم با کیفیت تر بخصوص راحت تر و قابل اعتماد تر موثر است .تحقیق و توسعهHNSدر حال حاضر موضوع داغ در سراسر دنیا بالاخص در محاسبات فراگیر است .هدف یک سیستم خانگی فراهم سازی اطمینان و راحتی برای استفاده کنندگان خانه است . در این مقاله راه دستیابی به این امر با استفاده از پیاده سازی جاوا روی این سیستم محقق می شود .با استفاده از زبان مدل سازی جاواjmlمدل سیستم را بصورت صوری پیاده سازی می کنیم .

کلیدواژه ها:

روش صوری ، سیستم شبکه خانگی ، زبان مدل سازی جاواformal method ، JML