Specification and Simulation of Multi-Agent Systems in CaseLP