Categorical foundations for structured specifications in Z

In this paper we present a formalization of the Z$${\mathsf{Z}}$$ notation and its structuring mechanisms. One of the main features of our formal framework, based on category theory and the theory of institutions, is that it enables us to provide an abstract view of Z$${\mathsf{Z}}$$ and its related concepts. We show that the main structuring mechanisms of Z$${\mathsf{Z}}$$ are captured smoothly by categorical constructions. In particular, we …