Browsing around I found the following paper: "Multidimensional Separation of Concerns and The Hyperspace Approach". And I have discovered the Hyper/J2 language and the Eclipse CME project.
They have formalized part of the ideas that I exposed in the previous entry.
Also in "A Generalization of the Hyperspace Approach using Meta-Models", one can find these ideas with a good mix of UML.
Nice reading.