Abstract
This paper describes an application of VDM++ to the specification and design of a simple communication system, based on requirements for an advanced network service specified by the author.
It is shown how VDM++ may be combined with diagrammatic methods (OMT and Fusion) in order to enhance the precision of the latter. We also discuss the issue of feature interaction, and the use of object-oriented specification to address this problem.
Chapter PDF
Similar content being viewed by others
References
Abrial, A.-R. (1995) The B Book. Cambridge University Press, Cambridge, UK.
Coleman, D. and Arnold, P. and Bodoff, S. and Dollin, C. and Gilchrist, H. and Hayes, F. and Jeremaes, P. (1994) Object-oriented Development: The FUSION Method. Prentice Hall Object-oriented Series, Englewood Cliffs, NJ.
Cusack, E. and Wezeman, C. (1993) Deriving tests for objects specified in Z. In Nicholls J., editor, Z User Meeting 1992, Workshops in Computing. Springer-Verlag, Berlin.
Dürr, E. and Goldsack, S. and Plat, N. (1994) Rigorous Development of Concurrent Object-oriented Systems, AFRODITE project document AFRO/CG/EDSGNP/TOOLS94/V2, Imperial College, UK.
Dürr, E. and Duursma, A. and Plat, N. (Eds.) (1995) VDM++ Language Reference Manual, AFRODITE project document AFRO/CG/ED/LRM/V10, CAP Gemini Innovation, Utrecht, Netherlands.
Harel, D. (1987) Statecharts: A visual formalism for complex systems. Science of Computer Programming, (8):231–274.
Jones, C. B. (1990) Systematic Software Construction using VDM. Prentice Hall, Englewood Cliffs, NJ.
Lano, K. and Haughton, H. (1993) Object-Oriented Specification Case Studies. Prentice Hall, Englewood Cliffs, NJ.
Lano, K. (1995) Applications of Formal Methods to Safety-Critical Transport Systems: the AFRODITE Project, Safety Critical Systems Club Newsletter, Vol. 4, No. 2, Safety Critical Systems Club, London, UK.
Moore, R. (1995) The Translation of VDM++ into ELLA and VHDL, AFRODITE project document AFRO/DRA-ED/RM/AP-A2/V1, Defence Research Agency, Malvern, UK.
Rumbaugh, J. and Blaha, M. and Premerlani, W. and Eddy, F. and Lorensen, W. (1991) Object-Oriented Modelling and Design, Prentice-Hall International, Englewood Cliffs, NJ.
Stroustrup, B. (1994) The C++ Programming Language (2nd Edition), Addison-Wesley, Reading, Mass.
Voss, H. (1995) User Manual for the VDM++ to C++ Code Generator, AFRODITE project document AFRO/IFAD/HV/CGMAN/V3, IFAD, Odense, Denmark.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Lano, K. (1996). Distributed System Specification in VDM++. In: Bochmann, G.v., Dssouli, R., Rafiq, O. (eds) Formal Description Techniques VIII. FORTE 1995. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34945-9_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-34945-9_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2958-9
Online ISBN: 978-0-387-34945-9
eBook Packages: Springer Book Archive