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.
Preview
Unable to display preview. Download preview PDF.
References
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.
M. Barr and C. Wells. Category Theory for Computing Science. Series in Computer Science. Prentice Hall International, London, 1990.
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.
I. Claßen. ACT system — user manual. Draft Version, April 1992.
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.
K. Didrich. ACT ONE-C: Eine Erweiterung der Spezifikationssprache ACT ONE im Hinblick auf kompakte Darstellungen von Spezifikationen. Diplomarbeit, 1992.
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.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985.
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.
J. A. Goguen and R. M. Burstall. Introducing Institutions. In Proceedings Logics of Programming Workshop, Carnegie Mellon, pages 221–256. Springer LNCS 164, 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.
R. Grosu and F. Regensburger. The Logical Framework of Spectrum. Technical report, Technische Universität München, March 1994.
J. Meseguer. General logics. In H.-D. Ebbinghaus et. al., editor, Logic colloquium '87, pages 275–329. Elsevier, North Holland, 1989.
P. Pepper. The Programming Language OPAL. Technical Report 91–10, TU Berlin, June 1991.
Wolfram Schulte. Effiziente und korrekte Übersetzung strikter applikativer Programmiersprachen. PhD thesis, Technische Universität Berlin, 1992.
Douglas R. Smith and Michael R. Lowry. Algorithm theories and design tactics. Science of Computer Programming, 14:305–321, 1990.
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.
Author information
Authors and Affiliations
Editor information
Rights 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