Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Combining and representing logical systems using model-theoretic parchments
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
A systematic study of mappings between institutions
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
From Abstract Data Types to Logical Frameworks
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Unifying Theories in Different Institutions
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Moving Between Logical Systems
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Synchronization of Logics with Mixed Rules: Completeness Preservation
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
| Hi-index | 0.00 |
The purpose of this paper is to bring the most important and influential concepts of arrows between institutions, i.e., institution morphisms, plain maps of institutions, simulations, and (simple) maps of institutions into a common perspective. Based on three simple constructions for institutions--reindexing, change of syntax, change of semantics -- we show, firstly, that each of these arrows can be equivalently characterized by the existence of a correspond intermediate institution that is related to both involved institutions syntactically or semantically, respectively. Secondly, we show that taking into account reindexing and restriction of semantics, we can describe any of these arrows as an institution morphism (or dually as a plain map) between institutions of the same scheme. We also discuss the possible role of the intermediate institutions in applications.