6In Section 15.3.2, we shall see how this naming convention can be easily extended to the case of Full Maude’s parameterized views.