UML modeling based on Extendsim and its application in warship maintenance support | IEEE Conference Publication | IEEE Xplore