＞UMLみたいなモデリングに関するものって
＞形式的仕様記述と呼べる物なのか？
＞おれは代数学を使わないとそうは呼べないものだと思っていたが。

ま、代数を使うかどうかは別として、UMLの場合
モデルが満たすべき性質を陽に記述できないんで
その意味では形式仕様の記述っていう感じではない。
（OCLとかいう言語で性質を記述するとかいう話もあるが
　よく知らないので割愛。）

代数っていうのは例えばCafeObjみたいな
代数的仕様記述のこといってるのかな？
実は漏れ、あれのどこが代数なのか
よく分からないんだけど（笑）