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

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