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

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

شاخص کلیدی عملکرد، شهرهوشمند، فرامدل، مدلرانده