Towards Specifying Swarm-based Systems Using Categorical Modeling Language: A Case Study