Skip to main content
SpringerLink
Log in

Conformity clause for VDM-SL

  • Papers
  • Conference paper
  • First Online:
FME '93: Industrial-Strength Formal Methods (FME 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 670))

Included in the following conference series:

  • 126 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. J. Dawes. The VDM-SL Reference Guide. Pitman, 1991. ISBN 0-273-03151-1.

    Google Scholar 

  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. DIRECTIVES Part 2. Methodology for the development of International Standards. International Electrotechnical Commission/International Organization for Standardization, first edition, 1989.

    Google Scholar 

  5. DIRECTIVES Part 3. Drafting and presentation. International Electrotechnical Commission/International Organization for Standardization, second edition, 1989.

    Google Scholar 

  6. ISO/IEC 9899: 1990. Programming Languages — C. International Organization for Standardization/International Electrotechnical Commission, 1990.

    Google Scholar 

  7. ISO/IEC 7185: 1990. Information technology — Programming languages — Pascal. International Organization for Standardization/International Electrotechnical Commission, 1990.

    Google Scholar 

  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. ANSI/MIL-STD-1815A-1983. Reference manual for the Ada programming language, 1983.

    Google Scholar 

  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. 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. 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. ISO 2382/15-1985(E/F). Data processing — Vocabulary — Part 15: Programming languages. International Organization for Standardization, first edition, 1985.

    Google Scholar 

  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. 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. 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. 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. 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. Nico Plat and Hans Toetenel. Tool support for VDM. Technical Report 89-81, Delft University of Technology, 1989.

    Google Scholar 

  20. Brian A. Wichmann and Z. J. Ciechanowicz. Pascal Compiler Validation. John Wiley & Sons, 1983. ISBN 0 471 90133 4.

    Google Scholar 

  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. 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. 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. The RAISE Language Group. The RAISE Specification Language. The BCS Practitioner Series. Prentice Hall, 1992. ISBN 0-13-752833-7.

    Google Scholar 

  25. ISO Standards Handbook 10. Data Processing — Vocabulary. International Organization for Standardization, first edition, 1982.

    Google Scholar 

  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. 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 

Download references

Author information

Authors and Affiliations

  1. National Physical Laboratory, Teddington, Middlesex, England

    Graeme I. Parkin & Brian Wichmann

Authors
  1. Graeme I. Parkin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Brian Wichmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

James C. P. Woodcock Peter G. Larsen

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Parkin, G.I., Wichmann, B. (1993). Conformity clause for VDM-SL. In: Woodcock, J.C.P., Larsen, P.G. (eds) FME '93: Industrial-Strength Formal Methods. FME 1993. Lecture Notes in Computer Science, vol 670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024664

Download citation

  • DOI: https://doi.org/10.1007/BFb0024664

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56662-5

  • Online ISBN: 978-3-540-47623-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation