Advertisement

Conformity clause for VDM-SL

  • Graeme I. Parkin
  • Brian Wichmann
Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 670)

Abstract

Some of the often quoted barriers to the use of formal methods have been the lack of standardised formal methods and the lack of associated tools. The Vienna Development Method Specification Language (VDM-SL) is being standardised by ISO/IEC. It has become clear from this work that we need to clarify what we mean by conformity of a specification or a tool to such standards. In this paper we define what conformity to such standards means and also highlight some of the problems that arise from this. This work is also applicable to other language standards.

Keywords

Programming Language Specification Language Proof Obligation System Under Test Language Standard 
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.
    Document Reference ISO/IEC JTC1/SC22/WG19 IN9. VDM Specification Language Proto-Standard, Draft, 1991. Available from: D Andrews, Department of Computing Studies, University of Leicester, University Road, Leicester, LE1 7RH.Google Scholar
  2. 2.
    J. Dawes. The VDM-SL Reference Guide. Pitman, 1991. ISBN 0-273-03151-1.Google Scholar
  3. 3.
    DIRECTIVES. Procedures for the technical work of ISO/IEC JTC 1 on Information Technology. International Organization for Standardization/International Electrotechnical Commission, first edition, 1990.Google Scholar
  4. 4.
    DIRECTIVES Part 2. Methodology for the development of International Standards. International Electrotechnical Commission/International Organization for Standardization, first edition, 1989.Google Scholar
  5. 5.
    DIRECTIVES Part 3. Drafting and presentation. International Electrotechnical Commission/International Organization for Standardization, second edition, 1989.Google Scholar
  6. 6.
    ISO/IEC 9899: 1990. Programming Languages — C. International Organization for Standardization/International Electrotechnical Commission, 1990.Google Scholar
  7. 7.
    ISO/IEC 7185: 1990. Information technology — Programming languages — Pascal. International Organization for Standardization/International Electrotechnical Commission, 1990.Google Scholar
  8. 8.
    ISO/IEC TR 10034: 1990. Guidelines for the preparation of conformity clauses in programming language standards. International Organization for Standardization/International Electrotechnical Commission, 1990.Google Scholar
  9. 9.
    ANSI/MIL-STD-1815A-1983. Reference manual for the Ada programming language, 1983.Google Scholar
  10. 10.
    ISO 8807. Information processing systems — Open systems interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour. International Organization for Standardization, 1989.Google Scholar
  11. 11.
    ISO 9074. Information processing systems — Open systems interconnection — Estelle: A formal description technique based on an extended state transition model. International Organization for Standardization, 1989.Google Scholar
  12. 12.
    ISO/IEC 9646-1. Information technology — Open Systems Interconnection — Conformance testing methodology and framework — Part 1: General concepts. International Organization for Standardization/International Electrotechnical Commission, version 7.12 — 14 march 1991 edition, 1991.Google Scholar
  13. 13.
    ISO 2382/15-1985(E/F). Data processing — Vocabulary — Part 15: Programming languages. International Organization for Standardization, first edition, 1985.Google Scholar
  14. 14.
    ISO/TR 9547: 1988 (E). Programming language processors — Test methods — Guidelines for their development and acceptability. International Organization for Standardization, 1988.Google Scholar
  15. 15.
    Peter Gorm Larsen. The Dynamic Semantics of the BSI/VDM Specification Language. Technical report, The Institute for Applied Computer Science, Denmark, February 1992.Google Scholar
  16. 16.
    Hans Bruun, Bo Stig Hansen, and Flemming Damm. The Static Semantics of VDM-SL. Technical report, Technical University of Denmark, April 1992.Google Scholar
  17. 17.
    Nico Plat and Hans Toetenel. A formal transformation from the BSI/VDM-SL concrete syntax to the core abstract syntax. Technical Report 92-07, Delft University of Technology, 1992.Google Scholar
  18. 18.
    C.B. Jones. Systematic Software Development Using VDM — Second Edition. Prentice Hall International Series in Computer Science. Prentice-Hall International, 1990. ISBN 0-13-880733-7.Google Scholar
  19. 19.
    Nico Plat and Hans Toetenel. Tool support for VDM. Technical Report 89-81, Delft University of Technology, 1989.Google Scholar
  20. 20.
    Brian A. Wichmann and Z. J. Ciechanowicz. Pascal Compiler Validation. John Wiley & Sons, 1983. ISBN 0 471 90133 4.Google Scholar
  21. 21.
    S M Austin, D R Wilkins, and B A Wichmann. An ada program test generator. In TriAda Conference Proceedings. ACM, October 1991.Google Scholar
  22. 22.
    J.M. Spivey. The Z Notation — A Reference Manual. Prentice Hall International Series in Computer Science. Prentice-Hall International, 1989. ISBN 0-13-983768-X.Google Scholar
  23. 23.
    J.M. Spivey. Understanding Z — A Specification language and its formal semantics. Cambridge Tracts in Theoretical Computer Science 3. Cambridge University Press, 1988. ISBN 0-521-33429-2.Google Scholar
  24. 24.
    The RAISE Language Group. The RAISE Specification Language. The BCS Practitioner Series. Prentice Hall, 1992. ISBN 0-13-752833-7.Google Scholar
  25. 25.
    ISO Standards Handbook 10. Data Processing — Vocabulary. International Organization for Standardization, first edition, 1982.Google Scholar
  26. 26.
    C.L.N. Ruggles. Formal Methods in Standards. Springer-Verlag, 1990. ISBN 3-540-19577-7, ISBN 0-387-19577-7.Google Scholar
  27. 27.
    ISO/IEC TR 10176: 1991. Information Technology — Guidelines for the preparation of programming language standards. International Organization for Standardization/International Electrotechnical Commission, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Graeme I. Parkin
    • 1
  • Brian Wichmann
    • 1
  1. 1.National Physical LaboratoryTeddingtonEngland

Personalised recommendations