سیدمجتبی سالاری - دانشگاه جامع علمی کاربردی یزد -واحد خانه کارگر
محمدجواد فتاحی - دانشگاه آزاد اسلامی اشکذر

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

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