JUDE/Professional3.0リリースに向けて、
UML2.0のモデルを追加したり、名前を一部変更したりしています。

シーケンス図に追加される「StateInvariant」は、「状態不変式」。

「活性区間(Activation)」は
「実行仕様(Execution Specification)」に変更。

アクティベーション → アクティベートするとイメージできるのですが、
エグゼキューションスペシィフィケーションといわれると???

うーん、日本語も英語も難しいですね。

いままで、訳語はUMTPからででいるUML用語集を参考にしていましたが、
UML2.0対応のものはまだでていないようです。
http://www.umtp-japan.org/data/index.html