A Software Development Model for the Automatic Generation of Classes

Authors

  • Eugenio Scalise Laboratorio Métodos Formales en Ingeniería de Software, MeFIS. Centro ISYS. Locales III. Escuela de Computación, Facultad de Ciencias. Universidad Central de Venezuela
  • Nancy Zambrano Laboratorio Métodos Formales en Ingeniería de Software, MeFIS. Centro ISYS. Locales III. Escuela de Computación, Facultad de Ciencias. Universidad Central de Venezuela

DOI:

https://doi.org/10.19153/cleiej.4.2.2

Keywords:

software development model based on transformations, automatic construction of programs, formal specifications, algebraic specifications, class specifications, data type, object oriented languages

Abstract

In this paper it is presented a software development model based on transformations that allows to derive, in an automatic way, classes in object-oriented programming languages (Ada 95, C++, Eiffel and Java) starting from formal specifications. The set of transformations that conforms the software development model are a systematic steps, which starts from the algebraic specification of a type. This algebraic specification describes the abstract behavior of a type (type of interest) by means of other type, previously specified and implemented (representation type). In a progressive way, the transformations steps allow get a program (class) nearby to the initial specification (type of interest). These transformations obtain -in the first step- an intermediate specification (class specification) that it describes the operations of the type of interest by means of pre and post-conditions. Then, the intermediate specification is used to obtain imperative code in language-independent notation (pseudo-class); and finally the pseudo-class is transformed to any object- oriented programming language for which it has been defined transformations.

Downloads

Published

2018-09-23

Issue

Vol. 4 No. 2 (2001): Special Issue of Best Papers presented at CLEI'2000. Ciudad de Mexico, Mexico

Section

Articles

License

CLEIej is supported by its home institution, CLEI, and by the contribution of the Latin American and international researchers community, and it does not apply any author charges whatsoever for submitting and publishing. Since its creation in 1998, all contents are made publicly accesibly. The current license being applied is a (CC)-BY license (effective October 2015; between 2011 and 2015 a (CC)-BY-NC license was used).