Formal framework for distributed swarm computing: abstract model and properties