uml - パラメータの OCL 検証値

Question

Class Game
Method: addPlayer(param Player)

メソッド addPlayer の不変条件を作成して、パラメーター Player が存在することを確認したいと思います。

例：

context Game::addPlayer(pl:Player)
    inv pl->exists( p : Player | p.playerID = pl.playerID )

構文が有効かどうかわからない