Towards a Theory of "Local to Global" in Distributed Multi-Agent Systems (I)