Abstract
On the one hand, the extension of ordinary institution theory, known as the theory of stratified institutions, is a general axiomatic approach to model theories where the satisfaction is parameterized by states of the models. On the other hand, the theory of 3/2-institutions is an extension of ordinary institution theory that accommodates the partiality of the signature morphisms and its syntactic and semantic effects. The latter extension is motivated by applications to conceptual blending and software evolution. In this paper, we develop a general representation theorem of 3/2-institutions as stratified institutions. This enables a transfer of conceptual infrastructure from stratified to 3/2-institutions. We provide some examples in this direction.
Funder
Unitatea Executiva Pentru Finantarea Invatamantului Superior a Cercetarii Dezvoltarii si Inovarii
Subject
General Mathematics,Engineering (miscellaneous),Computer Science (miscellaneous)
Reference26 articles.
1. Institutions: abstract model theory for specification and programming
2. Foundations of Algebraic Specifications and Formal Software Development;Sannella,2012
3. Institution-Independent Model Theory;Diaconescu,2008
4. Modality in Open Institutions with Concrete Syntax;Diaconescu;Bull. Greek Math. Soc.,2004
5. Stratified institutions and elementary homomorphisms
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献