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.
 
 
Highlights
In this article is presented a software development model based on transformations whose main objective is to obtain the concrete implementation of a type starting from the algebraic specification of the type by means of an abstract representation
A software development model based on transformations has as main objective to build a program P that is equivalent to a specification SP (Mod(P) ⊆ Mod(SP), where Mod(A) is the group of models that validates the sentences of A)
As it was indicated to the beginning of this article, the aim of this paper is to present a set of transformations that conform a software development model
Summary
In this article is presented a software development model based on transformations whose main objective is to obtain the concrete implementation of a type (class) starting from the algebraic specification of the type by means of an abstract representation.A software development model based on transformations has as main objective to build a program P that is equivalent to a specification SP (Mod(P) ⊆ Mod(SP), where Mod(A) is the group of models that validates the sentences of A). ¡ been proved; in other words, SPi-1 is refined as SPi (denoted SPi−1 SPi) if all model of SPi is a model of SPi-1 These steps can be described in a systematic way by means of transformation rules that are correct if the conditions of the rules are satisfied. The transformations associated to each step can be described in an algorithmic or formal way, indicating the inputs, their transformations and the output These ideas of successive transformations for the automatic production of code are the basis of the software development method that is presented in this article
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
