Abstract
A major issue in software engineering is the mastery of sofware design. The increasing distributed programming facilities open lots of new possibilities but make the task of designers more complex. Our work is to contribute to a rational design of real-sized distributable applications. We propose an approach based on the VDM formal method as support for the design phase and based on the Conic distributed language and environment as target for the implementation. We apply successive refinements on a VDM model so as to modify its distributability. The refinements are formalized, their validity is proved and they are tactical tools for a support environment of distributable software design. We express the general architecture of the resulting application into Conic.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
P.Borras, D.Clément, T.Despeyroux: CENTAUR: The system; Proc. of SIGSOFT'88 third annual symposium on sotfware development environments, Boston, 1988.
R.Bloomfield, P.Froome, B.Monahan: Specbox: a toolkit for BSI-VDM; Adelard, internal report, February 1989.
T.Cattel: Rational Design of Distributed Applications; Third European Software Engineering Conference, Milano, Italy, 21–24 October 1991.
T.Cattel, G.-R.Perrin: A stepwise refinement for distributed applications; Sixth International Workshop on Soft. Specif. & Design, Como, Italy, 25–26 October 1991.
J.Despeyroux: Theo: an interactive proof development system; INRIA RR116, 1990.
M.S.Feather: A survey of classification of some program transformation approaches and techniques; Program specif. and transf., p.165–195, Elsevier publishers, Holland, 1987.
Anna GRAM: Raisonner pour programmer; Dunod informatique, Paris 1986.
C.B Jones: Systematic Software Development Using VDM; Prentice Hall Inter., 1990.
G.Kahn: Natural Semantics; Proc. of STACS'87, LNCS 247, 1987.
J.Kramer: Configuration programming — A framework for the development of distributable systems; Proc. of Computer syst. and soft. eng., Tel Aviv, May 1990.
C.Lafontaine, Y.Ledru, P.Y.Schobbens: An experiment in formal software development: using the B theorem prover on a VDM case study; Proc. 12th Int. Conf. on Software Engineering, IEEE Computer society press, 1990.
Y.Ledru, P.Y.Schobbens: Applying VDM to large developments; Proc. ACM SIGSOFT Int. Workshop on Formal methods in soft. devel., pp.55–58, Napa, May 1990.
B.Meyer: Object-oriented Software Construction; Prentice Hall, 1988.
M.Mühlhäuser: Software engineering in distributed systems — Approaches and issues; Proc. of Phoenix conf. on computers and communications, Scottsdale, March 1990.
M.Rozier, V.Abrossimov, F.Armand et al.: Chorus Distributed Operating Systems; Chorus systèmes, technical report 88-7.5, 1988.
RAISE overview; RAISE/CRI/DOC/9/V2, CRI, Denmark, June 1990.
A.S.Tanenbaum, R.V.Renesse, H.VanStaveren et al.: Experiences with the AMOEBA distributed operating system; Com. of the ACM Vol. 33, N∘12, December 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cattel, T. (1991). Tactical tools for distributing VDM specifications. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_19
Download citation
DOI: https://doi.org/10.1007/3-540-54834-3_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54834-8
Online ISBN: 978-3-540-46449-5
eBook Packages: Springer Book Archive