The concept of “smart city†has attracted considerable attention lately. Still, common definitions are hard to find, and there is a lack of formal models to guide their design. This paper introduces the architecture of Event-driven Smart City, the kind of city where digital artifacts...