Starting from a modification of the model of malaria transmission developed for the Garki project, this paper develops a model containing variables relevant to the stimulation of malaria vaccination programs. Modifications include (1) integration of maintenance of immunity dependent on boosting and the possibility of loss of immunity; (2) introduction of a boosting factor distinct from susceptibility to infection; (3) reinterpretation of the epidemiological compartments of positive immunes and nonimmunes in terms of severity of disease rather than just infection; (4) interpretation of the different stage-specific levels of immunity; (5) discrimination between different susceptibilities for the immune and nonimmune classes; (6) reformulation of the expression for acquisition of immunity to be biologically more acceptable. Simulations using the Garki model, Nedelman's modification of it, and our Basic model compare the similarities and differences in the predictive behavior of the models. Simulations using the Basic model reproduce observed periodic fluctuations of malaria attributed to the interplay of transmission-blocking immunity and loss of immunity in the absence of boosting in areas of unstable malaria transmission.