Abstract
In this paper first of all the basic objectives of the Veritos project are presented. The view of distributed systems together with definitions of many terms from this area are shown. The concepts of the model will be shown including classes, active, and passive components, and communication concepts. These concepts are embedded in an experimental language called OlDiLa, which serves both as programming and specification language for distributed systems respectively.
The approach of stepwise refinement of concepts is presented and illustrated based upon a brief example for the levels of a distributed operating system ranking from abstractly distributed systems to a physically distributed computing system. The connection between adjacent levels is described by mappings. These mappings can be realized by sets of services. A few interesting attributes of distributed systems are shown including persistence of components.
A survey is given over current activities in research and development in the Veritos project.
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 Programming Language ADA - Reference Manual, American National Standards Institute, Inc., ANSI/MIL-STD- 1815A-1988, LNCS, 155, Springer-Verlag, 1983
Atkinson, M.P., Bailey, P.J., Chisholm, K.J., Cockshott, P.W., Morrision, R., An Approach to Persistent Programming, The Computer Journal, Vol. 26, No. 4, 1983
U. Baumgarten, R. Kewitz, D. König, P.P. Spies, Werkzeuge zur Entwicklung Verteilter Systeme, GI - 18. Jahrestagung II, Hamburg, Oktober 1988, Informatik-Fachberichte, 188, Springer-Verlag, 1988 (in german, title: “Tools for the Development of Distributed Systems”)
Eckert, C., Homogeneous Memory-Management in the Context of the Veritos - Project, Proceedings of the Workshop on Computer Architectures to Support Security and Persistence of Information, Bremen, May 1990, in this issue
Fabry, R.S., Capability-Based Addressing, CACM, Vol. 17, No. 7, July 1974, pp.403–412
Hoare, C.A.R., Monitors: An Operating System Structuring Concept, CACM, Vol. 17, No. 10, October 1974
Jul, E., Levy, H., Hutchinson, N., Black, A., Fine-Grained Mobility in the Emerald System, ACM TOCS, V01.6, No. 1, February 1988, pp.109–133
Meyer, Bertrand, Object-oriented Software Construction, Prentice Hall, New York, 1988
Nehmer, J., Schmutz, H., Steinmetz, R., Netz-Betriebssystem/ver teil tes Betriebssystem, Informatik-Spektrum, Vol. 13, No. 1, 1990, pp. 38–39
Organick, E.I., A Programmer’s View of the Intel 432 System, McGraw-Hill Book Company, New York, 1983
Spies, P.P., Sprachkonzepte für die Konstruktion Verteilter Systeme, Interne Berichte, Fachbereich Informatik, Universität Oldenburg, Bericht SA/88/2, August 1988 (in german, title: “Language Concepts for the Construction of Distributed Systems”)
Spies, P.P., Verteilte Systeme - Eine noch zu nutzende Chance -, 11. ITG/GI Fachtagung, Architektur von Rechensystemen, P. Müller-Stoy (Hrsg.), München, März 1990, pp. 415–428
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 British Computer Society
About this paper
Cite this paper
Baumgarten, U. (1990). Veritos Distributed Operating System Project — An Overview —. In: Rosenberg, J., Keedy, J.L. (eds) Security and Persistence. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3178-6_18
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3178-6_18
Publisher Name: Springer, London
Print ISBN: 978-3-540-19646-4
Online ISBN: 978-1-4471-3178-6
eBook Packages: Springer Book Archive