Skip to main content
SpringerLink
Log in

Combining Specification Formalisms in the ‘General Logic’ of Multialgebras

  • Conference paper
Recent Trends in Algebraic Development Techniques (WADT 2002)

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

Included in the following conference series:

  • 203 Accesses

Abstract

We recall basic facts about the institution of multialgebras, \(\mathcal{MA}\), and introduce a new, quantifier-free reasoning system for deriving consequences of multialgebraic specifications. We then show how \(\mathcal{MA}\) can be used for combining specifications developed in other algebraic frameworks. We spell out the definitions of embeddings of institution of partial algebras, \(\mathcal{PA}\), and membership algebras, \(\mathcal{MEMB}\) into \(\mathcal{MA}\). We also show an alternative relation, namely, institution transformation of \(\mathcal{PA}\) into \(\mathcal{MA}\) and discuss its role as compared to the embedding.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge (1994)

    Book  MATH  Google Scholar 

  2. Białasik, M., Konikowska, B.: Reasoning with first-order nondeterministic specifications. Acta Informatica 36, 357–403 (1999)

    MathSciNet  MATH  Google Scholar 

  3. Burmeister, P.: Partial algebra - an introductory survey. Algebra Universalis 15, 306–358 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  4. Cerioli, M., Mossakowski, T., Reichel, H.: From total equational to partial first order. In: Astesiano, E., Kreowski, H.-J., Krieg-Brückner, B. (eds.) on Algebraic Foundations of Systems Specification. ch. 3, Springer, Heidelberg (1999)

    Google Scholar 

  5. Hussmann, H.: Nondeterminism in Algebraic Specifications and Algebraic Programs. Birkhäuser, Basel (1993)

    Book  MATH  Google Scholar 

  6. Lamo, Y.: Institution of multialgebras as a general framework for algebric specification. PhD thesis, University of Bergen, Department of Informatics (2002)

    Google Scholar 

  7. Lamo, Y., Walicki, M.: Modeling partiality by nondeterminism. In: Callaos, N., Pineda, J.M., Sanchez, M. (eds.) Proceedings of SCI/ISAS 2001, Orlando, FL, vol. I (2001)

    Google Scholar 

  8. Lamo, Y., Walicki, M.: Specification of parameterized data types: Persistency revisited. Nordic Journal of Computing 8, 278–303 (2001)

    MATH  Google Scholar 

  9. Lamo, Y., Walicki, M.: Composition and refinement of specifications and parameterised data types. In: Derrick, J., Boiten, E., Woodcock, J., von Wright, J. (eds.) Proceedings of the REFINE 2002 workshop, vol. 70/3. Elsevier Science Publishers, Amsterdam (2002), http://www.elsevier.com/gejng/31/29/23/125/48/show/Products/notes/index.htt#001

    Google Scholar 

  10. Martini, A., Wolter, U.: A systematic study of mappings between institutions. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol. 1376, pp. 300–315. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  11. Meseguer, J.: General logics. In: Ebbinghaus, H.-D., et al. (eds.) Logic colloquium 1987, pp. 275–329. Elsevier Science Publisher B.V(North-Holland), Amsterdam (1989)

    Google Scholar 

  12. Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol. 1376, pp. 18–61. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  13. Mossakowski, T.: Equivalences among various logical frameworks of partial algebras. In: Kleine Büning, H. (ed.) CSL 1995. LNCS, vol. 1092, pp. 403–433. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  14. Mosses, P.: Unified algebras and institutions. In: Proceedings of LICS 1989, 4-th Annual Symposium (1989)

    Google Scholar 

  15. Orejas, F.: Structuring and modularity. In: Astesiano, E., Kreowski, H.-J., Krieg-Brückner, B. (eds.) on Algebraic Foundations of Systems Specification. ch. 6. Springer, Heidelberg (1999)

    Google Scholar 

  16. Pliuškievičienė, A.: Specialization of the use of axioms for deduction search in axiomatic theories with equality. J. Soviet Math. 1 (1973)

    Google Scholar 

  17. Tarlecki, A.: Institutions: An abstract framework for formal specifications. In: Astesiano, E., Kreowski, H.-J., Krieg-Brückner, B. (eds.) on Algebraic Foundations of Systems Specification. ch. 4. Springer, Heidelberg (1999)

    Google Scholar 

  18. Walicki, M., Hodzic, A., Meldal, S.: Compositional homomorphisms of relational structures (modeled as multialgebras). In: Freivalds, R. (ed.) FCT 2001. LNCS, vol. 2138, p. 359. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  19. Walicki, M., Meldal, S.: A complete calculus for the multialgebraic and functional semantics of nondeterminism. ACM TOPLAS 17(2) (March 1995)

    Google Scholar 

  20. Walicki, M., Meldal, S.: Multialgebras, power algebras and complete calculi of identities and inclusions. In: Recent Trends in Algebraic Specification Techniques. LNCS, vol. 906. Springer, Heidelberg (1995)

    Google Scholar 

  21. Walicki, M., Meldal, S.: Algebraic approaches to nondeterminism-an overview. ACM Computing Surveys 29 (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bergen University College, Bergen, Norway

    Yngve Lamo

  2. Dept. of Informatics, University of Bergen, Bergen, Norway

    Michał Walicki

Authors
  1. Yngve Lamo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michał Walicki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing

  2. Department of Computing, Imperial College London, UK

    Dirk Pattinson

  3. Institut für Informatik, Ludwig-Maximilians-Universität München, Germany

    Rolf Hennicker

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lamo, Y., Walicki, M. (2003). Combining Specification Formalisms in the ‘General Logic’ of Multialgebras. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds) Recent Trends in Algebraic Development Techniques. WADT 2002. Lecture Notes in Computer Science, vol 2755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40020-2_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-40020-2_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20537-1

  • Online ISBN: 978-3-540-40020-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation