SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk

• Silvio Lemos Meira UFPE
• Cássio Souza dos Santos UFPE

DOI: https://doi.org/10.5753/sbes.1991.24269

Resumo

We present an environment for specification and prototyping of object-oriented systems in Smalltalk along with a style of specification, which allows the definition of some object-oriented characteristics in VDM. A set of auxiliary tools stimulates the development of specifications on-line and fast prototyping. The presentation is mostly informal and the mechanism is exemplified by giving an object-based specification of a simple process scheduler. We discuss the gains of using formal methods, coupled with a good programming environment, in the implementation of object-oriented software systems.

Referências

O. J. Dahl: "Object-Oriented Specifications". Research Directions in Object-Oriented Programming - MIT Press Series in Computer Systems, 1987.

D. Duke and R. Duke: "Towards a Semantics for Object-Z". Proc. VDM'90, Springer-Verlag, Kiel-FRG, April 1990.

A. Goldberg and D. Robson: "Smalltalk-80: The Language and its Implementation", Addison-Wesley, 1983.

C. A. R. Hoare: "Programming: Sorcery or Science", IEEE Software, April 1984.

C. B. Jones: "Systematic Software Development Using VDM". Prentice-Hall International, 1986.

T. Korson and J. D. McGregor: "Understanding Object-Oriented: A Unifying Paradigm". Communications of the ACM, September 1990.

S. R. L. Meira, R. Motz and J. F. Tepedino: "A Formal Semantics for SQL". Intern. J. Computer Math.,Vol 34, pp. 43-63, 1990.

S. R. L. Meira and A: L: O: Cavalcanti: "Modular Object-Oriented Z Specifications". Z Technology and Users Meeting, Springer Verlag Workshopes in Computing, May 1991.

B. Meyer: "Object-Oriented Software Construction". Prentice-Hall International, 1988.

C. A. Middelburg: "Syntax and Semantics of VVSL", Ph D Thesis - University of Amsterdam, September 1990.

R. Motz: "Formal Analysis of an Object-Oriented Data Model". Master's Thesis - Departamento de Informática - UFPE. (In Portuguese)

L. J. Pinson and R. S. Wiener: "An Introduction to Object-Oriented Programming and Smalltalk", Addison-Wesley, 1988.

A. S. Tannenbaum: "Operating Systems: Design and Implementation". Prentice: Hall International, 1987.

J. F. Tepedino, R. Motz and S. R. L. Meira: "From Model-Based Specifications to Object-Oriented Prototypes - A Method", X Congresso da SBC, Vitória, Brazil, July 1990.

R. J. Wirfs-Brock and R. E. Johnson: "Surveying Current Research in Object-Oriented Design". Communications of the ACM, September 1990.