Issue No. 04 - April (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.4673
<p>A number of mechanisms have been created for controlling entity visibility. As with most language concepts in computer science, visibility control mechanisms have been developed in an essentially ad hoc fashion, with no clear indication given by their designers as to how one proposed mechanism relates to another. This paper introduces a formal model for describing and evaluating visibility control mechanisms. The model reflects a general view of visibility in which the concepts of requisition of access and provision of access are distinguished.This model provides a means for characterizing and reasoning about the various properties of visibility control mechanisms. Specifically, a notion of preciseness is defined in this paper. The utility of the model is illustrated by using it to evaluate and compare the relative strengths and weaknesses, with respect to preciseness, of the visibility control mechanisms found in Algol60, Ada, Gypsy, and an approach we have developed, called PIG, that specifically addresses the concerns of visibility control in large software systems.</p>
Computer languages, module interface control, scope, visibility.
A. Wolf, J. Wileden and L. Clarke, "A Model of Visibility Control," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 512-520, 1988.