مصطفی کاردان - گروه مهندسی کامپیوتر ، دانشکده فنی و مهندسی، واحد تهران مرکز ، دانشگاه آزاد اسلامی ، تهران ، ایران
زهره باطنی - استادیار گروه مهندسی کامپیوتر ، دانشکده فنی و مهندسی، واحد تهران مرکز ، دانشگاه آزاد اسلامی ، تهران ، ایران

در طی سالهای اخیر، بحث در زمینهی هوشندی فراگیر گسترش ویژهای یافته است. محیطهای هوشمند، شبکه توزیعشدهای از وسایل هوشمند میباشند که برای ما اطلاعات، ارتباطات، نیازمندیهای اساسی و حتی سرگرمیهایی راتولید میکنند.امروزه روند توسعه محیطهای هوشمند بگونهای است که پیشبینی میشود در آیندهای نهچندان دور، کامپیوترها بهطور فراگیری در تمامی اشیاء جاسازی شوند و بهصورت نامحسوس نیازهای انسان را شناسایی و پاسخ دهند.میسر ساختن چنین امکانی در سایهی توصیف و مدلسازی اطلاعات رسمی محیط هوشمند امکانپذیر میشود. مدلسازی رسمی، روند توصیف یک سامانه به صورت ترکیب رسمی و زبان معنایی خوشتعریف است. در توسعه سامانههای هوشفراگیر، مدلهای رسمی میتوانند زمینهساز متمایل شدن توسعه به یک رویکرد قاعدهمند باشند. ویژگیهایی از قبیل مکانتجهیزات، وابستگی آنها به یکدیگر، زمان وقوع رخدادها، وضعیت آبوهوا و میزان سروصدا و غیره، اطلاعات زمینهای محسوب میشوند. تاکنون روشهای متعددی جهت مدلسازی زمینه و منطق محور ابداعشدهاند. در این مقاله رویکردهای مختلفی بر شیوههای مدلسازی رسمی زمینه و منطق محور در محیطهای هوشمند موردبررسی قرارگرفته و با یکدیگرمقایسه شدهاند

هوشمندی فراگیر، مدلسازی ، مدلسازی رسمی، منطق