The behavioral specification in the file IService.interface is extended by a number of activities.