ارائه یک زبان مدلسازی برای شاخص های کلیدی عملکرد در شهر هوشمند

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