Eidola

From its home page (see below):
Eidola is a representation-independent, object-oriented, visual programming language.

Vaporware, but the website introduces various ideas ranging from semantics to user interfaces in a friendly manner. There is a formal specification covering a few language features. It's rather simplistic and the current implementation (0.0.0) is not worth trying.