participant Player identified by playerId {
  o String playerId
  o String firstName
  o String lastName
  o Double balance
}

participant Casino identified by casinoId {
  o String casinoId
  o Double balance
}

transaction Bet {
  o Double amount
  o Integer number
  --> Casino casino
  --> Player player
}

event WinNotification {
  o Double amountWon
  o Double bet
  o Integer number
  --> Player player
}

event LoseNotification {
  o Double bet
  o Integer betNumber
  o Integer winningNumber
  --> Player player
}