Abstract
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.
Research supported in part by a CNPq-grant 200529/94-3
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
M. Arrais and J. L. Fiadeiro. Unifying theories in different institutions. In Recent Trends in Type Specification, pages 81–101. Springer, LNCS 1130, 1996.
Maura Cerioli. Relationships between Logical Formalisms. PhD thesis, Università di Pisa-Genova-Udine, 1993. TD-4/93.
R. Diaconescu. Extra-theory morphisms in institutions: logical semantics for multiparadigm languages. Journal Applied Categorical Structures, 1998. To appear.
R. Diaconescu and K Futatsugi. Logical semantics for CafeOBJ. In Precise Semantics for Software Modeling Techniques, pages 31–54, 1998. TU Muenchen, Technical Report TUM-19803.
J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM, 39(1):95–146, January 1992.
A. Martini. Unifying Arrows between Institutions. PhD thesis, Technical University of Berlin, 1998. To appear.
A. Martini and U. Wolter. A systematic study of mappings between institutions. In Recent Trends in Algebraic Development Techniques, pages 300–315. Springer, LNCS 1376, 1998.
J. Meseguer. General logics. In H.-D. Ebbinghaus et. al., editor, Logic colloquium’ 87, pages 275–329. Elsevier Sience Publishers B. V., North Holland, 1989.
J. Meseguer and N. Martin-Olliet. From abstract data types to logical frameworks. In Recent Trends in Data Type Specification, pages 48–80. Springer, LNCS 906, 1995.
T. Mossakowski. Translating OBJ3 into CASL. 1998. Submitted to WADT’98.
T. Mossakowski, A. Tarlecki, and W. Pawlowski. Combining and representing logical systems using model-theoretic parchments. In Recent Trends in Algebraic Development Techniques, pages 349–364. Springer, LNCS 1376, 1998.
S. Salibra and G. Scollo. Interpolation and compactness in categories of preinstitutions. Mathematical Structures in Computer Science, 6:261–286, 1996.
A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics. Studia Logica, 59(2):217–247, 1997.
A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics with mixed rules: Completeness preservation. In Algebraic Methodology and Software Technology-AMAST, pages 465–478. Springer, LNCS 1349, 1997.
A. Tarlecki. Moving between logical systems. In Recent Trends in Data Type Specification, pages 478–502. Springer, LNCS 1130, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Martini, A., Wolter, U. (1998). A Single Perspective on Arrows between Institutions. In: Haeberer, A.M. (eds) Algebraic Methodology and Software Technology. AMAST 1999. Lecture Notes in Computer Science, vol 1548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49253-4_34
Download citation
DOI: https://doi.org/10.1007/3-540-49253-4_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65462-9
Online ISBN: 978-3-540-49253-5
eBook Packages: Springer Book Archive