article

Free access

Annealing and data decomposition in VDM

Authors:

S. J. Goldsack,

K. LanoAuthors Info & Claims

ACM SIGPLAN Notices, Volume 31, Issue 4

Pages 32 - 38

https://doi.org/10.1145/249118.249124

Published: 01 April 1996 Publication History

PDF eReader

Abstract

VDM⁺⁺ is a formal specification language derived from VDMSL and incorporating object-oriented structuring based on language extensions which owe much to SmallTalk (though features have been added to cater for specifying reactive real-time systems). Research on the language has been in progress since about 1991[1][2], but it is only recently that papers have begun to be published on the subject[3][4][5].Several more-detailed papers are in preparation. In particular, a paper describing the concept of annealing in some detail will be ready shortly.Our attention has recently been drawn to the paper by Jian Lu [6] which describes a process of data decomposition in VDM bearing some relationship to our concept of annealing. The present paper is intended to give an introduction to the annealing concept, and to show how it relates to the work of Jian Lu.

References

[1]

{1} E. H. Dürr, VDM++, Reference manual and VDM++, Design Rationale and implementation guide, Utrecht University, Faculty of Physics and Astronomy, Internal Reports ruu-fi-91-6 and ruu-fi-91-7, 1991.

Google Scholar

[2]

{2} E. H. Dürr and J. Van Katwijk VDM⁺⁺ A formal specification language for Object - Oriented designs. In: Technology of Object Oriented Languages and Systems (Proceeding Tools Europe) pp. 63-78 Prentice Hall International, G. Heeg and B. Magnusson, Editors: 1992.

Digital Library

Google Scholar

[3]

{3} S. Goldsack and E. H. Dürr. Rigorous development of Concurrent and Real Time Object Oriented Systems. Tutorial(MM5) at the Tools Europe'94 Conference, March 7- 10, Versailles France. In: Technology of Object Oriented Languages and Systems. (TOOLS 13) Editors. B. Magnusson, B. Meyer, J. Nerson and J. F. Perrot, ISBN 0-13- 350539-1, Prentice Hall, UK, (page 515) 1994.

Google Scholar

[4]

{4} E. H. Dürr, N. Plat, S. Goldsack Object Reification in VDM⁺⁺ . Proceedings of the Workshop on Formal Methods: Application in Software Engineering Practice (part of ICSE-17), Seattle USA, April 1995.

Google Scholar

[5]

{5} E. H. Dürr, J. van Katwijk, S. Goldsack, H. Toetenel Using VDM⁺⁺ in a Large Industrial Application. Proceedings First World Conference on Integrated Design and Process Technology, Austin, Texas, December 6-9 1995, IDPT- Vol. 1 page 254 A. Ertas Editor: published by Society for Design and Process Science, Dallas USA.

Google Scholar

[6]

{6} Jian Lu Introducing Data Decomposition into VDM for Tractable Development of Programs. ACM Sigplan Notices Vol. 30, No. 9, September 1995.

Digital Library

Google Scholar

[7]

{7} E. H. Dürr and N. Plat, Editors VDM⁺⁺ reference manual Afrodite document AFRO/CG/ED.LRM/V10 Cap Volmac.1995.

Google Scholar

[8]

{8} S. J. Goldsack and E. H. Dürr Concurrency and Real-time in VDM⁺⁺ In: Formal Methods in Object Technology, S. J. Goldsack and S. J. Kent Editors. Springer Verlag, ISBN 3- 540-19977-2 Chapter 6. March 1996.

Google Scholar

[9]

{9} Jones C. 1987 Systematic Software Development using VDM (lst Edition p112). Prentice Hall International.

Digital Library

Google Scholar

[10]

{10} J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen. Object Oriented Modeling and Design Prentice Hall International 1991.

Digital Library

Google Scholar

[11]

{11} K. Lano and S. J. Goldsack, Object-oriented Formal Development Tools'96, Paris 1996.

Google Scholar

[12]

{12} S. J. Goldsack, K. Lano and E. H. Dürr, Refinement of object structures in VDM++ from ftp address theory.doc.ic.ac.uk, get the file at papers/Goldsack/annealing.ps.

Google Scholar

Cited By

View all

Derrick JBoiten EDerrick JBoiten E(2014)Class RefinementRefinement in Z and Object-Z10.1007/978-1-4471-5355-9_17(403-428)Online publication date: 2014
https://doi.org/10.1007/978-1-4471-5355-9_17
Alagar VPeriyasamy KAlagar VPeriyasamy K(2011)Vienna Development MethodSpecification of Software Systems10.1007/978-0-85729-277-3_16(405-459)Online publication date: 2011
https://doi.org/10.1007/978-0-85729-277-3_16
(2008)Annual Report of The Kansai Plant Protection Society10.4165/kapps.50.5550(55-59)Online publication date: 2008
https://doi.org/10.4165/kapps.50.55
Show More Cited By

Index Terms

Annealing and data decomposition in VDM
1. Software and its engineering
  1. Software notations and tools
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

VDM++: a formal specification language for object-oriented designs
TOOLS 7: Proceedings of the seventh international conference on Technology of object-oriented languages and systems
VDM and Z: A comparative case study
Abstract
The specification notations of VDM and Z are closely related. They both use model-based specification techniques and share a large part of their mathematical notation. However, the approaches taken to writing specifications differ in other, more ...
Using KIDS as a tool support for VDM
ICSE '96: Proceedings of the 18th international conference on Software engineering

KIDS/VDM is an experimental environment that supports the synthesis of executable prototypes from VDM specifications. The development proceeds as a series of correctness preserving transformations under the strict control of the tool. A by-product of ...

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 31, Issue 4

April 1996

71 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/249118

Editor:
Richard L. Wexelblat
ACM SIGPLAN Notices, Alexandria, VA

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1996

Published in SIGPLAN Volume 31, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
241
Total Downloads

Downloads (Last 12 months)53
Downloads (Last 6 weeks)11

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Derrick JBoiten EDerrick JBoiten E(2014)Class RefinementRefinement in Z and Object-Z10.1007/978-1-4471-5355-9_17(403-428)Online publication date: 2014
https://doi.org/10.1007/978-1-4471-5355-9_17
Alagar VPeriyasamy KAlagar VPeriyasamy K(2011)Vienna Development MethodSpecification of Software Systems10.1007/978-0-85729-277-3_16(405-459)Online publication date: 2011
https://doi.org/10.1007/978-0-85729-277-3_16
(2008)Annual Report of The Kansai Plant Protection Society10.4165/kapps.50.5550(55-59)Online publication date: 2008
https://doi.org/10.4165/kapps.50.55
Tokumaru SAndo YTakeuchi TAbe Y(2007)Seasonal prevalence of hymenopterous parasitoids of leafminers, Liriomyza sativae Blanchard, L. trifolii (Burgess), and L. bryoniae (Kaltenbach) (Diptera: Agromyzidae) in Kyoto PrefectureAnnual Report of The Kansai Plant Protection Society10.4165/kapps.49.349(3-8)Online publication date: 2007
https://doi.org/10.4165/kapps.49.3
McComb TSmith G(2004)Architectural design in object-Z2004 Australian Software Engineering Conference. Proceedings.10.1109/ASWEC.2004.1290460(77-86)Online publication date: 2004
https://doi.org/10.1109/ASWEC.2004.1290460
McComb T(2004)Refactoring Object-Z SpecificationsFundamental Approaches to Software Engineering10.1007/978-3-540-24721-0_5(69-83)Online publication date: 2004
https://doi.org/10.1007/978-3-540-24721-0_5
Lano KMalik N(1999)Mapping Procedural Patterns to Object-Oriented Design PatternsAutomated Software Engineering10.1023/A:10087089272606:3(265-289)Online publication date: 1-Jul-1999
https://dl.acm.org/doi/10.1023/A%3A1008708927260
Alagar VPeriyasamy KAlagar VPeriyasamy K(1998)Vienna Development MethodSpecification of Software Systems10.1007/978-1-4757-2920-7_9(219-279)Online publication date: 1998
https://doi.org/10.1007/978-1-4757-2920-7_9

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

VDM++: a formal specification language for object-oriented designs

VDM and Z: A comparative case study

Using KIDS as a tool support for VDM

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations