Automatic data update & condition monitoring

このようにすると、 TriggeredBy 属性の値に列挙されたすべての名前の Triggers 属性に、 IfTriggered 属性を設定した名前が追加されて、 順方向の依存リストが生成される。

この状態で、 TriggeredBy 属性の値のうちのどれかの値が変化すると この名前に対してトリガがかかり、 演算式の値が計算されてその結果が名前の値とされる。 ここでもし新しい値が古い値と異なっているなら、 変更通知を要求するエージェントが探され変更通知が送られるので、 当初のエージェントは与えた条件が成立した時にその通知を受け取ることができる。