A UML based notation for specifying abstract board games | IEEE Conference Publication | IEEE Xplore