Skip to main content
SpringerLink
Log in

How to cope with the Spectrum of Spectrum

  • Languages
  • Chapter
  • First Online:
KORSO: Methods, Languages, and Tools for the Construction of Correct Software

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

Abstract

The specification language Spectrum [BFG+93] melts a wide range of concepts into a single language frame: three-valued first-order logic, polymorphism, type classes, higher-order functions, infinite objects. The desire of identifying and relating sub-languages satisfying certain constraints given by syntactical and pragmatic considerations appears.

In this paper we consider the constructive oriented algebraic sub-language ACT ONE as an example of a specification sub-language of Spectrum. As a candidate for an implementation language of Spectrum we focus on the functional language Opal.

The overall intention is to establish a semantically compatible embedding of ACT ONE and Opal into Spectrum. However, in this paper we will not describe all aspects of this embedding. As a first step of our ongoing work we will relate the underlying logical systems using the concept of institutions, i.e. we will relate the loose semantics of ACT ONE and Opal specifications with the loose semantics of Spectrum specifications. A general framework for modelling the interconnections of different logical systems under development at the TU Berlin will be sketched.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, and K. Stølen. The Requirement and Design Specification Language Spectrum — An Informal Introduction, Version 1.0. Technical report, Technische Universität München, 1993.

    Google Scholar 

  2. M. Barr and C. Wells. Category Theory for Computing Science. Series in Computer Science. Prentice Hall International, London, 1990.

    Google Scholar 

  3. I. Claßen, H. Ehrig, and D. Wolz. Algebraic Specification Techniques and Tools for Software Development — The ACT Approach. AMAST Series in Computing. World Scientific Publishing, 1993.

    Google Scholar 

  4. I. Claßen. ACT system — user manual. Draft Version, April 1992.

    Google Scholar 

  5. K. Didrich, A. Fett, C. Gerke, W. Grieskamp, and P. Pepper. Opal: Design and Implementation of an Algebraic Programming Language. In Proceedings Programming Languages and System Architectures, Zurich, Switzerland, March 1994, pages 228–244. Springer, LNCS 782, 1994.

    Google Scholar 

  6. K. Didrich. ACT ONE-C: Eine Erweiterung der Spezifikationssprache ACT ONE im Hinblick auf kompakte Darstellungen von Spezifikationen. Diplomarbeit, 1992.

    Google Scholar 

  7. Hartmut Ehrig. FLEX: A Flexible Extension and Integration Concept for Software development in KORSO and COMPASS. Report 93-17, TU Berlin, FB Informatik, May 1993.

    Google Scholar 

  8. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985.

    Google Scholar 

  9. Andreas Fett, Carola Gerke, Wolfgang Grieskamp, and P. Pepper. Algebraic programming in OPAL. Bulletin of the European Association for Theoretical Computer Science (EATCS), (50):171–181, June 1993.

    Google Scholar 

  10. J. A. Goguen and R. M. Burstall. Introducing Institutions. In Proceedings Logics of Programming Workshop, Carnegie Mellon, pages 221–256. Springer LNCS 164, 1984.

    Google Scholar 

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

    Article  Google Scholar 

  12. R. Grosu and F. Regensburger. The Logical Framework of Spectrum. Technical report, Technische Universität München, March 1994.

    Google Scholar 

  13. J. Meseguer. General logics. In H.-D. Ebbinghaus et. al., editor, Logic colloquium '87, pages 275–329. Elsevier, North Holland, 1989.

    Google Scholar 

  14. P. Pepper. The Programming Language OPAL. Technical Report 91–10, TU Berlin, June 1991.

    Google Scholar 

  15. Wolfram Schulte. Effiziente und korrekte Übersetzung strikter applikativer Programmiersprachen. PhD thesis, Technische Universität Berlin, 1992.

    Google Scholar 

  16. Douglas R. Smith and Michael R. Lowry. Algorithm theories and design tactics. Science of Computer Programming, 14:305–321, 1990.

    Article  Google Scholar 

  17. Uwe Wolter. Institutional Frames. 10th Workshop on Specification of Abstract Data Types, S. Margherita, Italy, May/June 1994. Selected papers, Editors E. Astesiano, G. Reggio and A. Tarlecki, Springer Verlag, LNCS 906, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Universität Berlin, Deutschland

    U. Wolter, K. Didrich, F. Cornelius, M. Klar, R. Wessäly & H. Ehrig

Authors
  1. U. Wolter
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. K. Didrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. F. Cornelius
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. M. Klar
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. R. Wessäly
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. H. Ehrig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Manfred Broy Stefan Jähnichen

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wessäly, R., Ehrig, H. (1995). How to cope with the Spectrum of Spectrum. In: Broy, M., Jähnichen, S. (eds) KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Lecture Notes in Computer Science, vol 1009. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015461

Download citation

  • DOI: https://doi.org/10.1007/BFb0015461

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60589-8

  • Online ISBN: 978-3-540-47802-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation