  Smart Cities, with their problems and challenges, is an emerging smart
paradigm. To achieve better quality and usability levels, we need engineering
solutions to support smart cities' soft-layer development. Statics, dynamics
and generative semantics are involved, but segregating Coordination Protocols
from the other semantics could act as a complexity management strategy to
tackle the inherent complexity of smart city systems. Here we demonstrate how
we could engineer the protocols layer of a smart city by using a Reo-Based
solution.
