SOCCA: Specifications of Coordinated and Cooperative Activities