Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic Methodology and Software Technology

AMAST 1999: Algebraic Methodology and Software Technology pp 486–501Cite as

A Single Perspective on Arrows between Institutions

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1548))

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Arrais and J. L. Fiadeiro. Unifying theories in different institutions. In Recent Trends in Type Specification, pages 81–101. Springer, LNCS 1130, 1996.

    Google Scholar 

  2. Maura Cerioli. Relationships between Logical Formalisms. PhD thesis, Università di Pisa-Genova-Udine, 1993. TD-4/93.

    Google Scholar 

  3. R. Diaconescu. Extra-theory morphisms in institutions: logical semantics for multiparadigm languages. Journal Applied Categorical Structures, 1998. To appear.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. A. Martini. Unifying Arrows between Institutions. PhD thesis, Technical University of Berlin, 1998. To appear.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Chapter  Google Scholar 

  9. 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.

    Chapter  Google Scholar 

  10. T. Mossakowski. Translating OBJ3 into CASL. 1998. Submitted to WADT’98.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. S. Salibra and G. Scollo. Interpolation and compactness in categories of preinstitutions. Mathematical Structures in Computer Science, 6:261–286, 1996.

    Article  MATH  MathSciNet  Google Scholar 

  13. A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics. Studia Logica, 59(2):217–247, 1997.

    Article  MATH  MathSciNet  Google Scholar 

  14. 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.

    Chapter  Google Scholar 

  15. A. Tarlecki. Moving between logical systems. In Recent Trends in Data Type Specification, pages 478–502. Springer, LNCS 1130, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Universität Berlin, FB Informatik, Sekr. 6-1, Franklinstr.28/29, D-10587, Berlin, Germany

    Alfio Martini & Uwe Wolter

Authors
  1. Alfio Martini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Uwe Wolter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Pontifícia Laboratório de Métodos Formais, Universidade Católica do Rio de Janeiro, Rua Marquês De São Vicente, 225, 22453-900, Rio de Janeiro, RJ, Brazil

    Armando M. Haeberer

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation