Notice of RetractionDeveloping an abstract model of data structures via model refinement

Notice of Retraction

After careful and considered review of the content of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE´s Publication Principles.

We hereby retract the content of this paper. Reasonable effort should be made to remove all past references to this paper.

The presenting author of this paper has the option to appeal this decision by contacting TPII@ieee.org.

Data structure design typically involves creating an abstract model of data structures and defining an appropriate representation of the data structures on the basis of the abstract model. As standardized frameworks of data structures are widely used, the focus is increasingly placed on developing an abstract model that enables a seamless integration of framework classes into the intended application. In this paper, we describe an approach to developing an abstract model of data structures via model refinement. Our approach distinguishes design considerations that play different conceptual roles and use them incrementally to guide model development. We present a case study to demonstrate its effectiveness in data structure design.