Abstract
The concept of “institution” [GB84, GB92] has been proven to be appropriate to describe and classify a wide range of specification formalisms or logical systems respectively. But considering the relations between logical systems we are faced with many different kinds of relevant examples leading to an inflation of definitions of maps between institutions [Cer93, CM93, KM93, Mes89, SS92].
The present paper is devoted to overcome this divergence of definitions. Using the results in [TBG91] we analyze the concepts “institution” and “entailment system” [Mes89]. As a result we propose the concepts “institutional frame” and “institutional map” providing a new perspective on logical systems. Thereby we describe logical systems on the conceptual level of signatures, specifications, and subcategories of models respectively.
Finally we sketch how the introduced concepts can provide new insights into the nature of examples discussed in the literature.
This work has been partly supported by the German Ministry of Research and Technology (BMFT) as part of the project “KorSo — Korrekte Software”.
Preview
Unable to display preview. Download preview PDF.
References
Maura Cerioli. Relationships between Logical Formalisms. PhD thesis, Università di Pisa-Genova-Udine, 1993. TD-4/93.
M. Cerioli and J. Meseguer. May I Borrow Your Logic? Proc. MFCS'93, LNCS 711, Springer, 1993, pp. 342–351.
J. A. Goguen and R. M. Burstall. Introducing institutions. In Proc. Logics of Programming Workshop, LNCS 164, pages 221–256. Carnegie-Mellon, Springer, 1984.
J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journals of the ACM, 39(1):95–146, January 1992.
H.-J. Kreowski and T. Mossakowski. Equivalence and Difference of Intitutions: Simulating Horn Clause Logic With Based Algebras. Technical report, Universität Bremen, 1993, to appear in MSCS.
J. Meseguer. General logics. In H.-D. Ebbinghaus et. al., editor, Logic colloquium '87, pages 275–329. Elsevier Science Publishers B. V., North Holland, 1989.
S. Salibra and G. Scollo. A soft stairway to institutions. In Recent Trends in Data Type Specification, pages 310–329. Springer, 1992. LNCS 655.
A. Tarlecki, R.M. Burstall, and J.A. Goguen. Some fundamental algebraic tools for the semantics of computation. Part III: Indexed categories. TCS, 1991, pp. 239–264.
U. Wolter, K. Didrich, F. Cornelius, M. Klar, R. Wess”aly, and H. Ehrig. How to Cope with the Spectrum of SPECTRUM. Technical Report Bericht-Nr. 94-22, TU Berlin, FB Informatik, 1994.
U. Wolter, M. Klar, R. Wessäly, and F. Cornelius. Four Institutions — A Unified Presentation of Logical Systems for Specification. Technical Report Bericht-Nr. 94-24, TU Berlin, Fachbereich Informatik, 1994.
Uwe Wolter. Institutional frames — a new perspective on logical systems. Technical report, TU Berlin, Fachbereich Informatik, 1995. in preparation.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wolter, U. (1995). Institutional frames. In: Astesiano, E., Reggio, G., Tarlecki, A. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1994 1994. Lecture Notes in Computer Science, vol 906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014445
Download citation
DOI: https://doi.org/10.1007/BFb0014445
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59132-0
Online ISBN: 978-3-540-49198-9
eBook Packages: Springer Book Archive