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.