A categorical study on the finiteness of specifications

Formal specification practice involve specifications which are finite. We study the concept of finiteness for specifications within the general framework of the so-called π-institutions, which constitute an abstract categorical proof oriented formalization of the informal concept of logical system. In this paper we argue that finite specifications can be captured abstractly by the concept of finitely presented theory in π-institutions.