Hi,
This issue is about clarifying the invocation semantics of inherited mappings.
First of all I'm agree with proposed semantics of "when" and "where" and I think that it should be included to specification. Mentioned LSP is not applicable here. Looking on how the semantics of invocation of inherited mappings is defined it looks that semantics is defined incorrectly.
There are three places in the document where the behavior is declared:
a) Section "8.1.12 Reuse Facilities for Mapping Operations"
A mapping operation may inherit from another mapping operation. In terms of execution semantics the inherited mapping
is executed after the initialization section of the inheriting mapping. The example below illustrates the usage of mapping
inheritance.
b) Section "8.2.1.15 MappingOperation", paragraph "There are three reuse and composition facilities associated to mapping operations:"
1. A mapping operation may inherit from another mapping operation. This means invoking the initialization section of the inherited operation after executing its own initialization section.
c) Section "8.2.1.15 MappingOperation", paragraph "Execution Semantics, Executing mappings that inherit from other mappings"