Abstract specifications for container-related technologies