>>42
MDAとかxUMLか？
http://ja.wikipedia.org/wiki/仕様記述言語

しかし、>>43の言うように、ホントにそれから最終的に必要な実行可能なモノが生成されるのなら
それはずばりプログラム言語だと思うんだが、どうか。