Advertisement

Vienna Development Method

  • V. S. Alagar
  • K. Periyasamy
Part of the Graduate Texts in Computer Science book series (TCS)

Abstract

The Vienna Development Method (VDM) is an environment for the modeling and development of sequential software systems. The specification language of VDM has evolved from Meta-IV, the language used at IBM’s Vienna development laboratory for specifying the semantics of the PL/I programming language in the early 70s. The current version of the VDM specification language, VDM-SL, has been standardized by the International Standards Organization (ISO). It supports the modeling and analysis of software systems at different levels of abstraction. Using VDM-SL constructs, both data and algorithmic abstractions expressed in one level can be refined to a lower level to derive a concrete model that is closer to the final implementation of the system.

Keywords

Network Manager Proof Obligation Record Type Data Refinement Composite Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    S. Agerholm, “Translating Specifications in VDM-SL to PVS,” in J.v. Wright, J. Grundy and J. Harrison (Eds.), Proceedings of the International Conference on Theorem Proving in Higher Order Logics (TPHOL’96), Springer-Verlag, 1996.Google Scholar
  2. [2]
    A. Andrews and D. Ince, Practical Formal Methods Using VDM, McGraw-Hill Book Company Europe, England, 1991.Google Scholar
  3. [3]
    J.C. Bicarregui etal., Proof in VDM: A Practitioner’s Guide, Springer-Verlag, London, 1994.CrossRefGoogle Scholar
  4. [4]
    J. Bicarregui and B. Ritchie, “Reasoning about VDM Developments using the VDM Tool Support in mural,” in S. Prehn and W.J. Toetenel (Eds.), VDM’91: Formal Software Development Methods; published as Lecture Notes in Computer Science, Vol. 552, Springer-Verlag, 1991, pp. 371–388.CrossRefGoogle Scholar
  5. [5]
    J. Bicarregui and B. Mathews, “Formal Methods in Practice: A Comparison of Two Support Systems for Proof,” in Bartosek et al. (Eds.), SOFSEM’95: Theory and Practice of Informatics; published as Lecture Notes in Computer Science, Vol. 1012, Springer-Verlag, 1995.Google Scholar
  6. [6]
    T. Clement, “Comparing Approaches to Data Reification,” in M. Naftalin, T. Denvir, and M. Bertran (Eds.), FME’94: Industrial Benefits of Formal Methods; published as Lecture Notes in Computer Science, Vol. 893, Springer-Verlag, 1994, pp. 118–133.CrossRefGoogle Scholar
  7. [7]
    T. Clement, “Data Reification without Explicit Abstraction Functions,” in M.C. Gaudel and J.C.P. Woodcock (Eds.), FME’96: Industrial Benefits and Advances in Formal Methods; published as Lecture Notes in Computer Science, Vol. 1051, Springer-Verlag, 1996, pp. 195–213.CrossRefGoogle Scholar
  8. [8]
    B. Cohen, W.T. Harwood, and M.I. Jackson, The Specification of Complex Systems, Addison-Wesley Publishing Company, Reading, MA, 1986.Google Scholar
  9. [9]
    J. Dawes, The VDM-SL Reference Guide, Pitman, London, England, 1991.Google Scholar
  10. [10]
    E.H. Dürr and N. Plat (Eds.), VDM++: Language Reference Manual, Afrodite (ESPRIT III, project number 6500) document, Cap Volmac, August 1995.Google Scholar
  11. [11]
    E.H. Dürr and S. Goldsack, “Formal Methods and Object Technology,” Chapter 6 in S.J. Goldsack and S.J.H. Kent (Eds.), Concurrency and Real-Time in VDM++, Springer-Verlag, London, England, 1996, pp. 86–112.Google Scholar
  12. [12]
    M. Elvang-Goransson, “Reasoning about VDM Specifications,” in S. Prehn and W.J. Toetenel (Eds.), VDM’91: Formal Software Development Methods; published as Lecture Notes in Computer Science, Vol. 552, Springer-Verlag, 1991, pp. 343–355.CrossRefGoogle Scholar
  13. [13]
    S.J. Goldsack, E.H. Dürr, and N. Plat, “Object Reification in VDM++,” in M. Wirsing (Ed.), ICSE-17: Workshop on Formal Methods Application in Software Engineering Practice, Seattle, WA, April 1995, pp. 194–201.Google Scholar
  14. [14]
    S. Goldsack and K. Lano, “Annealing and Data Decomposition in VDM,” ACM SIGPLAN Notices, Vol. 31, No. 4, April 1996, pp. 32–38.CrossRefGoogle Scholar
  15. [15]
    A. Harry, Formal Methods Fact File: VDM and Z, John Wiley & Sons, New York, NY, 1996.Google Scholar
  16. [16]
    S. Hekmatpour and D. Ince, Software Prototyping, Formal Methods and VDM, Addison-Wesley Publishing Company, International Computer Science Series, 1988.Google Scholar
  17. [17]
    P.G. Larsen et al., Information Technology — Programming Languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base Language, ISO Document, December 1996.Google Scholar
  18. [18]
    C.B. Jones, The Systematic Software Development using VDM, Prentice Hall International (UK), 1986.Google Scholar
  19. [19]
    C.B. Jones, The Systematic Software Development using VDM (second edition), Prentice Hall International (UK), 1990.Google Scholar
  20. [20]
    C.B. Jones, K.D. Jones, P.A. Lindsay, and R. Moore, mural: A Formal Development _ Support System, Springer-Verlag, London, 1991.zbMATHCrossRefGoogle Scholar
  21. [21]
    C.B. Jones and R.C. Shaw, Case Studies in Systematic Software Development, Prentice Hall International (UK), 1990.zbMATHGoogle Scholar
  22. [22]
    Y. Ledru, “Using KIDS as a Tool Support for VDM,” Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, March 1996, pp. 236–245.Google Scholar
  23. [23]
    P. Lucas, “VDM: Origins, Hopes and Achievements,” in D. Bjørner et al. (Eds.) VDM’87: VDM — A Formal Method at Work; published as Lecture Notes in Computer Science, Vol. 252, Springer-Verlag, 1987, pp. 1–8.CrossRefGoogle Scholar
  24. [24]
    G.I. Parkin, “Vienna Development Method Specification Language (VDM-SL),” Computer Standards and Interfaces, Vol. 16, 1994, pp. 527–530.CrossRefGoogle Scholar
  25. [25]
    G.I. Parkin and G. O’Neil, “Specification of the MAA Standard in VDM,” in S. Prehn and W.J. Toetenel (Eds.), VDM’91: Formal Software Development-Methods; published as Lecture Notes in Computer Science, Vol. 552, Springer-Verlag, 1991, pp. 526–544.CrossRefGoogle Scholar
  26. [26]
    C. Pronk and M. Schonhacker, “ISO/IEC 10514–1, the Standard for Modula-2: Process Aspects,” ACM SIGPLAN Notices, Vol. 31, No. 8, 1996, pp. 74–83.CrossRefGoogle Scholar
  27. [27]
    The VDM-SL Tool Group. User Manual for the IFAD VDM-SL Toolbox, IFAD, The Institute of Applied Computer Science, Forskerparken 10, DK-5230 Odense M, Denmark, June 1995.Google Scholar

Copyright information

© Springer Science+Business Media New York 1998

Authors and Affiliations

  • V. S. Alagar
    • 1
  • K. Periyasamy
    • 2
  1. 1.Department of Computer ScienceConcordia UniversityMontrealCanada
  2. 2.Department of Computer ScienceUniversity of ManitobaWinnipegCanada

Personalised recommendations