Modern urban areas constitute of rich mix of mobile devices with capability to be continuously connected to social networking infrastructure. This constitutes an ecosystem of urban pervasive devices that is large, decentralized and dynamic. Such an emerging urban pervasive computing scenario cannot be managed by traditional approaches of coordination and require innovative mechanisms such as nature-inspired approach of situated selforganization. In our previous work we had proposed a novel unified model of bio-inspired self-organization mechanism for coordination in urban pervasive environment. In this paper we propose a formal framework of bio-inspired model proposed earlier, including details of agent model, formal algorithm for distributed coordination and theoretical analysis of the algorithm. We also present simulation results to demonstrate adaptability, robustness and scalability of proposed algorithm. Copyright 2015 ACM.