A simplistic formalization of the lifecycle of stateful systems.