Abstract
The relationship between different styles of interfaces in Ada and their formal specifications in Anna is defined by transformation rules: applicative packages with axiomatic specifications of Abstract Data Types, imperative packages with pre- and post-conditions, and stand-alone packages with an internally hidden state. The introduction of exceptions for such packages or the transition to monitor tasks in the concurrent case is defined as a derivation from the notion of partial functions. In all these cases, the original axiomatic or algebraic ADT specification is retained.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
The Ada Programming Language. ANSI / MIL-STD 1815 A. US Government Printing Office, 1983. Also in: Rogers, M. W. (ed.): Ada: Language, Compilers and Bibliography. Ada Companion Series, Cambridge University Press, 1984
Krieg-Brückner, B., Luckham, D.C.: Anna: Towards a Language for Annotating Ada Programs. ACM SIGPLAN Notices 15:1 (1980), 128–138
Luckham, D. C., von Henke, F. W., Krieg-Brückner, B., Owe, O.: Anna, a Language for Annotating Ada Programs; Preliminary Reference Manual. Technical Report No. 84–248, Computer Systems Lab., Standford University, June 1984
Pepper, P.: A Study of Transformational Semantics, in: Bauer, F.L., Broy, M.(eds.): Program Construction. LNCS 69 (1979) 322–405.
Owe, O.: An Approach to Program Reasoning Based on a First Order Logic for Partial Functions. Research Report No. 89, Institute of Informatics, University of Oslo, 1985
Owe, O.: Formal Definition of the Anna Kernel, (in preparation)
Broy, M., Krieg-Brückner, B.: Derivation of Invariant Assertions During Program Development by Transformation. ACM T0PLAS 2:3 (1980) 321–337
Bauer, F.L., Wössner, H: Algorithmic Language and Program Development. Springer Verlag, 1982
Engels, G., Pietät, V., Ehrich, H.-D: Handling Errors and Exceptions in the Algebraic Specification of Data Types. Osnabrücker Schriften zur Mathematik, Reihe Informatik, Heft 3, 1981
Habermann, A. N., and Nassi, I. R.: Efficient Implementation of Ada Tasks. Carnegie Mellon University Technical Report CMU-CS-80–103, Jan. 1980
Krieg-Brückner, B.: Concrete and Abstract Specification, Modularization and Program Development by Transformation. Dissertation. Technische Universität München, Institut für Informatik, TUM-INFO-7805, Jan 1978
Laut, A.: Safe Procedural Implementations of Algebraic Types. Information Processing Letters 11: 4,5(1980) 147–151
Partsch, H., Steinbrüggen, R.: Program Transformation Systems. ACM Computing Surveys 15 (1983) 199–236
Krieg-Brückner, B Ganzinger, H., Broy, M., Wilhelm, R McGettrick, A.D., Campbell, I.G., Winterstein, G.: PROgram development by SPECification and TRAnsformation, Project Summary. Universität Bremen, 1985.
Bauer, F. L., Berghammer, R., Broy, M., Dosch, W., Geiselbrechtinger, F., Gnatz, R., Hangel, E., Hesse, W., Krieg-Brückner, B., Laut, A., Matzner, T., Möller, B., Nicki, F., Partsch, M., and Wössner, H.: The Munich Project CIP, Vol. 1: The Wide Spectrum Language CIP-L. LNCS 183, Springer Verlag, 1985
Goldsack, S.J and Moreton, T.: Ada Package Specifications, Path Expressions and Monitors. IEE Proceedings part E. Vol 129, March 1982,
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krieg-Brückner, B. (1985). Transformation of Interface Specifications. In: Kreowski, HJ. (eds) Recent Trends in Data Type Specification. Informatik-Fachberichte, vol 116. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-09691-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-662-09691-8_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16077-9
Online ISBN: 978-3-662-09691-8
eBook Packages: Springer Book Archive