Abstract
Revised ACT ONE is an updated version of the algebraic specification language ACT ONE, the semantics of which will be described following a denotational style. The revised edition has a more application oriented syntax, an improved handling of common subspecifications as well as initial constraints. Initial constraints have strong consequences on the underlying semantics due to the fact that “algebraic specifications with constraints” must be used instead of “algebraic specifications”.
One of the aims of Revised ACT ONE is to provide similar compositionality results as in the old version of the language. For this reason the paper is mainly concerned with categorical constructions that make such results possible.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
R.M. Burstall; J.A. Goguen: The Semantics of Clear, A Specification Language. Proc. Advanced Course on Abstract Software Specifications, LNCS 86, 292–332, Springer 1980
R.M. Burstall; J.A. Goguen: An informal Introduction to Specifications using Clear. In: The Correctness Problem in Computer Science (R.S. Boyer and J.S. Moore eds.), 185–213, Academic Press 1981
E. Brinksma (ed.): Information processing systems — open systems inter-connection — LOTOS. A formal description technique based on the temporal ordering of observational behaviour. International Standard, ISO 8807
I. Claßen: Semantik der revidierten Version der algebraischen Spezifikations-sprache ACT ONE. Diplomarbeit, Technische Universität Berlin, 1988
H. Ehrig; W. Fey; H. Hansen: ACT ONE: An Algebraic Specification Language with two Levels of Semantics. Techn. Report 83-03, TU Berlin, FB 20, 1983
H. Ehrig; K.P. Hasler; W. Fey; P. Boehm: ACT Project: Status Report. Techn. Report 86-16, TU Berlin, FB 20, 1986
H. Ehrig; B. Mahr: Fundamentals of Algebraic Spezification 1. Springer EATCS Monographs on Theor. Com. Sci., 1985
H. Ehrig; B. Mahr: Fundamentals of Algebraic Spezification 2. Springer EATCS Monographs on Theor. Com. Sci., in preparation
W. Fey: Pragmatics, Concepts, Syntax, Semantics and Correctness Notions of ACT TWO. Thesis, TU Berlin, FB 20, 1988
M.C. Gaudel: A First Introduction to PLUSS. Meteor Report, LRI, 1984
J.V. Guttag, J.J. Horning, and J.M. Wing: Larch in Five Easy Pieces. digital, Systems Research Center, 1985
J.A. Goguen; J.J. Tardo: An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications. Proc. IEEE Conf. for Reliable Software, 170–189, IEEE, 1979
H. Hansen: The ACT System-Experiences and Future Enhancements. Proc. 5th Workshop on Specification of Abstract Data Types, Gullane, 1987
M. Wirsing: Structured algebraic specifications: a kernel language. Theoretical Computer Science 42, 1986, 123–249
S.N. Zilles; P. Lucas; J.W. Thatcher: A look at algebraic specifications. IBM Research Report RJ 3568, 1982
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Claßen, I. (1989). Revised ACT ONE: Categorical constructions for an algebraic specification language. In: Ehrig, H., Herrlich, H., Kreowski, H.J., Preuß, G. (eds) Categorical Methods in Computer Science With Aspects from Topology. Lecture Notes in Computer Science, vol 393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51722-7_8
Download citation
DOI: https://doi.org/10.1007/3-540-51722-7_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51722-1
Online ISBN: 978-3-540-46787-8
eBook Packages: Springer Book Archive