Object-Oriented Metamethods

One face of formality is metamodelling: seeking the model of the model that gives the rules by which the model itself is constructed. In OT terms, it means seeking the underpinning rules in a methodology in which, for instance, it is suggested we depict an aggregate structure using one particular notation.