By Andrew Chen and Dominik Tornow Kubernetes is a Container Orchestration Engine designed to host containerized applications on a set of nodes, commonly referred to as a cluster. Using a systems modeling approach, this series aims to advance the understanding of Kubernetes and its underlying concepts. This blog post uses the Alloy Specification Language, a specification language for expressing str