Abstract
The purpose of this paper is to describe the industrial use of VDM to solve a small problem encountered in the development of a large transaction-oriented application system. META-IV and the VDM Domain compiler, an abstract data type facility for Pascal or C programs, were used to develop a buffering system that is transparent to the application modules and achieved a 15 % better throughput.
Attn: dww
The research for this paper was conducted while the author was employed at Norsk Data's Research and Development Department in Kiel, West Germany.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Beierle, Ch., Olthoff, W., and Voss, A., Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung, Informatik Spektrum, 11(6), pp. 292–302, 1988
Bjørner, D., and Jones, C., et al, VDM'87: VDM — A Formal Method at Work, Proceedings of the Symposium in Brussels, Belgium, March 1989, Lecture Notes in Computer Science 252, Springer Verlag, 1987
Bjørner, D., The Vienna Development Method: The Meta-Language, Lecture Notes in Computer Science 61, Springer Verlag, 1978
Bjørner, D., and Jones, C., Formal Specification and Software Development, Prentice Hall International Series in Computer Science, 1982
Bloomfield, R., Marshall, L., and Jones, R., VDM'88: VDM — The Way Ahead, Proceedings of the 2nd VDM-Europe Symposium in Dublin, Ireland, September 1988, Lecture Notes in Computer Science 328, Springer Verlag, 1988
Braun, U., and Schmidt, H.A., Wiederverwendbare abstrakte Datentypen und deren Auswahl durch ein Expertensystem, Informatik Forschung und Entwicklung, 3(1), pp. 164–181, 1988
Guttag, J., Abstract Data Types and the Development of Data Structures, Communications of the ACM 20(6), pp. 386–404, 1977
Liskov, B.H., and Zilles, S.N., Programming with Abstract Data Types, ACM SIGPLAN Notes, 9(4), pp. 50–59, 1974
Norsk Data Compiler Group ND-Mülheim, CAT-Cookbook, 1985
Norsk Data, SIBAS II User Manual, ND-860127.5 EN, Jan 1986
Pepper, P., Broy, M., Bauer, F.L., Dosch, W., Wirsing, M., Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen, Informatik Spektrum 5(2) pp. 107–119, 1982
Schmidt, U., and Hörcher, H.-M., VDM Domain Compiler User Reference Guide, Internal Paper, Norsk Data 1988
Schmidt, U., and Hörcher, H.-M., CAT-Profile Reference Manual, ND-860307.1 EN, Norsk Data, 1988
Schmidt, U., and Hörcher, H.-M., Systematische Programmentwicklung auf VDM-Speziifikationen mit automatischer Erzeugung von abstrakten Datentypen, GI-SE Softwaretechnik Trends, Mitteilungen der Fachgruppe ”Software Engineering” der Gesellschaft für Informatik, (3), Oktober 1989 pp. 53–66
Schmidt, U., and Hörcher, H.-M., Programming with VDM Domains, VDM'90, Kiel, 1990
Schmidt, U., and Völler, R., A Multi-Language Compiler System with Automatically Generated Codegenerators, Proceedings of the SIGPLAN'84 Symposium on Compiler Construction, pp. 202–212, ACM SIGPLAN Notices, 19(6), 1984
Wirsing, M., Pepper, P., Partsch, H., Dosch, W., Broy, M., On Hierarchies of Abstract Data Types, Acta Informatica, 12(1) pp. 1–33, 1983
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weber-Wulff, D. (1990). A buffering system implementation using VDM. In: Bjørner, D., Hoare, C.A.R., Langmaack, H. (eds) VDM '90 VDM and Z — Formal Methods in Software Development. VDM 1990. Lecture Notes in Computer Science, vol 428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52513-0_8
Download citation
DOI: https://doi.org/10.1007/3-540-52513-0_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52513-4
Online ISBN: 978-3-540-47006-9
eBook Packages: Springer Book Archive