遷移が発生する条件を記述する、真偽値を持つ式を何と呼ぶか。

標準ポートにおいて、提供されるインターフェースを示す記号の形状はどれか。