ステレオタイプがプロパティ（タグ定義）を持つ場合、その値をモデル上で指定したものは何と呼ばれるか。

ステートマシン図において、遷移の優先順位を決める際、ソース状態が同じでガード条件も共に真となる遷移が複数ある場合、何によって解決されるか。