Rychlá urbanizace urychlila rozvoj konceptů smart city, které
se opírají o komplexní systémy služeb s cílem zvýšit
udržitelnost a obyvatelnost měst. Efektivní správa těchto
systémů vyžaduje robustní modelovací přístupy. Tato práce se
zaměřuje na teoretický model Conceptual Layered Service Model,
navržený k reprezentaci struktur služeb napříč různými doménami
a kontexty. Conceptual Layered Service Model však v současné
době existuje pouze jako teoretický koncept, což omezuje jeho
praktické použití v automatizovaných systémech. Hlavním cílem
této práce je navrhnout formální, strojově zpracovatelný model,
který přesně odráží chování a strukturu tohoto teoretického
modelu. Analýzou teoretického modelu a definováním požadavků na
formalizaci tato práce transformuje Conceptual Layered Service
Model na datový model vhodný pro výpočetní zpracování. Výsledná
formalizace poskytuje metodický základ pro vývoj datově
řízených nástrojů pro správu smart city a usnadňuje budoucí
implementaci systému v rámci výzkumného programu Service
Systems Laboratory (Seslab).