A few results generalizing well-known classical model theory ones have been obtained in the framework of institutions these last two decades (e.g. Craig interpolation, ultraproduct, elementary diagrams). In this paper, we propose a generalized institution-independent version of the Beth definability theorem.
Separation of concerns or aspects is nowadays recognized as an important issue in software engineering, both at the programming and at the design/specification level. The goal of mixed specification languages (e.g. SDL, value-passing process algebras such as extensions of CSP or full-LOTOS, Korrigan) is to take into account all-or at least several-aspects… (More)