Функциональная функция OCL

Question

Мне нужна помощь с операцией OCL, чтобы передать один из предметов моего учителя. Я мало знаю о языке OCL.

Что я сделать это в следующем:

Реализовать операцию:

Server::validMovement(playerName:String, movement:Movement):bool 

Эта операция возвращает истину, если и только если существует игра, у которого один из своих игроков с именем Playername , у этого игрока будет атрибут hasTurn to true, и игровая панель вернет true при вызове одной операции validMovement (движение).

Предполагается, что операция Board:validMovement(g:Game):bool существует, и это НЕ требуется документально в OCL.

Answer 1

Это может быть что-то в этом роде? Я не знаю, если это нормально или нет ...

контекста Server :: validMovement (namePlayer: String, движение: Движение): булево

сообщений: результат = self.games-> один (г: Игра (p: Player | p.name = namePlayer и p.hasTurn = true) и p.board.validMovement (движение))