{Animated specifications of computational societies}